Условные различия операторов между C и C++

Question

Я где-то читал, что оператор ?: в C немного отличается от C++, что есть некоторый исходный код, который работает по-разному на обоих языках. К сожалению, я не могу найти текст нигде. Кто-нибудь знает, в чем состоит эта разница?

Answer 1

Условный оператор на C++ может возвращать значение lvalue, тогда как C не позволяет использовать аналогичные функции.Таким образом, следующее является легальным в C++:

(true ? a : b) = 1; 

Чтобы повторить это в C, вам придется прибегнуть к, если/иначе, или иметь дело со ссылками непосредственно:

*(true ? &a : &b) = 1; 

Кроме того, в C++, ?: и = операторы equal precedence and group right-to-left, такие, что:

(true ? a = 1 : b = 2); 

действует C++ код, но будет выдавать ошибку в C без скобок вокруг последнего ехр ression:

(true ? a = 1 : (b = 2)); 

Answer 2

Основное практическое отличие состоит в том, что в C оценка?: Никогда не может привести к l-значению, где, как и в C++, оно может.

Существуют и другие отличия в его определении, которые имеют мало практических последствий. В C++ первый операнд преобразуется в bool, в C он сравнивается с 0. Это аналогично различию в определении ==,! = И т. Д. Между C и C++.

В C++ существуют более сложные правила для вывода типа выражения?: На основе типов 2-го и 3-го операндов. Это отражает возможность пользовательских неявных преобразований в C++.

Пример кода. Действительный C++; недействителен С.

extern int h(int p, int q); 

int g(int x) 
{ 
     int a = 3, b = 5; 

     (x ? a : b) = 7; 

     return h(a, b); 
} 

gcc генерирует сообщение об ошибке: «Ошибка: недопустимые именующей в назначении» при компиляции в C, но код компилируется без ошибок при компиляции в C++.

Редактировать: Хотя: не может возвращать L-значение в C, может быть удивительно грамматику для: это:

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

Это означает, что a ? b : c = d разбирает, как (a ? b : c) = d, даже если (из-за к правилу 'не l-value') это не может привести к действительному выражению.

C++ изменяет грамматику следующим образом:

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

В то время как расширение, чтобы условное выражение, чтобы быть л-значением в некоторых ситуациях сделали бы a ? b : c = d действительные без изменения грамматики, новые средства изменений грамматики что выражение теперь действует, но с другим значением a ? b : (c = d).

Хотя у меня нет никаких доказательств этого, мое предположение о том, что, поскольку изменение грамматики не могло нарушить совместимость с существующим C-кодом, более вероятно, что новая грамматика создаст меньше сюрпризов с такими выражениями, как:

make_zero ? z = 0 : z = 1;