Может ли кто-нибудь объяснить мне, как различный интервал влияет на унарный оператор?
int i = 1;
int j = i+ + +i; // this will print j=2
int k = i++ +i; // this will print k=3
int l = i+++i; // this will print l=3
int m = i++++i; // compile time error
.
Сначала разделите это на три отдельных случая, которые не могут взаимодействовать:
int i = 1;
System.out.println(i+ + +i); // 2
int j = 1;
System.out.println(j++ +j); // 3
int k = 1;
System.out.println(k+++k); // 3
Теперь перепишем их с помощью скобок:
int i = 1;
System.out.println(i + (+(+i)));
int j = 1;
System.out.println((j++) + j);
int k = 1;
System.out.println((k++) + k);
Здесь мы не можем использовать операторы префикса или постфикса ++, поскольку у нас нет знака ++ в любом месте. Вместо этого у нас есть двоичный + оператор и два унарных + оператора.
Это просто: это в значительной степени, как он читает, оператор postfix ++, за которым следует двоичный + оператор (а не унарный оператор +, который в противном случае подразумевает +j).
Окончательная строка анализируется как (k++) + k, а не k + (++k). В этой ситуации оба варианта будут давать одинаковый ответ, но мы можем доказать, что именно с помощью двух разных переменных:
int k1 = 1;
int k2 = 1;
System.out.println(k1+++k2); // Prints 2
System.out.println(k1); // Prints 2
System.out.println(k2); // Prints 1
Как вы можете видеть, он k1 был увеличен, а не k2.
Причина, по которой k+++k анализируется как токены k, ++, +, k обусловлена частью 3.2 JLS, который включает в себя:
Самый длинный возможный перевод используется на каждом шаге, даже если результат в конечном итоге не делает правильную программу, в то время как другой лексический перевод будет.
То же самое правило "максимально длинного перевода" анализирует i++++i как i, ++, ++, i, которое не является допустимым выражением (поскольку результат операции ++ значение, а не переменная).
+ - оператор, а ++ - оператор, но + + не - + + интерпретируется как два + s, а не один ++. Таким образом, пространство заставляет ваш код интерпретироваться по-разному.
+ является двоичным оператором, который добавляет два числа и унарный оператор, который не меняет число (он существует только для согласованности с унарным оператором -).
Если вместо + вместо + > вместо + > вместо + > вместо increment вместо ++ вместо > использовать add, то это может быть более понятно.
int j=i+ + +i становится int j = i add no-change no-change i;. int k=i++ +i; становится int k=i increment add i;.
Я подозреваю, что int k = i+++i; также становится int k = i increment add i;, но я не проверял это со спецификацией языка.