В тройном операторе можно выполнить два операнда в истинном значении?

Question

Это тройной оператор: (statement)?(if true):(if false) справа?

но почему этот код не работает должным образом?

int a=10, b=20; 
(a<b)? a++, b++ : a--, b--; 

Answer 1

Оператор запятой имеет более низкую точность, чем тернарный оператор. Поскольку двоеточие не может стать сиротой, вы уходите с первой запятой, но не второй. Компилятор понимает код как:

((a<b)? a++, b++ : a--), b--; 

Вы должны использовать скобки для группы, по крайней мере второе выражение запятой, и для удобства чтения я сделал бы так:

(a<b)? (a++, b++) : (a--, b--); 

Answer 2

условный оператор является определены в C++ как

conditional-expression: 
    logical-or-expression 
    logical-or-expression ? expression : assignment-expression 

Так это выражение утверждение

(a<b)? a++, b++ : a--, b--; 

эквивалентно

((a<b)? a++, b++ : a--), b--; 

, потому что выражение присваивания имеет более высокий приоритет, чем выражение запятой.

Вы должны написать по крайней мере, как

(a<b)? a++, b++ : (a--, b--); 

или для ясности, как

(a < b)? (a++, b++) : (a--, b--); 

принять во внимание, что есть разница между условным оператором в C++ и условного оператора в С. В C условный оператор определен как

conditional-expression: 
    logical-OR-expression 
    logical-OR-expression ? expression : conditional-expression 

Это означает для примера е, что эта запись в C+++

(a < b)? a = b : b = a; 

эквивалентно

((a < b)? a = b : b = a); 

в то время как в C эта запись эквивалентна

((a < b)? a = b : b) = a; 

и C компилятор выдаст сообщение об ошибке.

С другой стороны, эта запись в C++

((a < b)? a = b : b) = a; 

действует. :)