Hypothetical - поддержка символов, отличных от ASCII, в тексте без строки

Question

Скажем, например, что в Java версии 9 кто-то хотел добавить поддержку символов ≤ и ≥ в качестве операндов, которые будут работать точно так же, как и < = и > = операнды соответственно. Было бы возможно, так как ≤ и ≥ не являются символами ASCII/не являются частью стандартной кодировки, не разрушая переносимость? Было бы возможно? Поддерживают ли какие-либо основные языки программирования что-то вроде этого?

Answer 1

Java не позволяет перегрузке оператора, и поскольку это довольно фундаментальный принцип языка, я не думаю, что вы когда-либо сможете использовать ≤ или ≥ для < = или> =.

Однако Scala (другой язык JVM) поддерживает как перегрузку оператора , так и с использованием символов Юникода в качестве идентификаторов. Вот РЕПЛ сессия примера, где я определяю ≤ и ≥ операторов для числовых типов:

scala> implicit class ExtendedNumeric[T](n: T)(implicit numeric: Numeric[T]) { 
    | import numeric._ 
    | def `≥`(other: T) = n >= other 
    | def `≤`(other: T) = n <= other 
    | } 
defined class ExtendedNumeric 

scala> 1 ≤ 2 
res0: Boolean = true 

scala> 5 ≤ -5 
res1: Boolean = false 

scala> 8.0 ≥ 0.0001 
res2: Boolean = true 

Answer 2

Java уже поддерживает не-ASCII символы. Например, следующая программа компилируется нормально:

public class Test { 

    public static final float π = 3.1415927f; 

    public static void main(String[] args) { 
     System.out.println(π); 
    } 

} 

(Конечно, вы должны будете использовать кодировку исходного файла, содержащего n)

Однако, поскольку ≤ и ≥ не может быть использована в идентификаторах, представляя их как операторы, не будет нарушать совместимость в обратном направлении.

Поддержка многочисленных языков, определяющих ваши собственные операторы. В конце концов, единственное, что отличает оператор от вызова функции, - это нотация infix, то есть имя оператора появляется между, а не перед его операндами. Для (неполного) списка таких языков см. Статью wikipedia по адресу operator overloading.