Почему следующий код является незаконным в C++

Question

Я хочу создать if, где переменная объявляется, назначается и проверяется. Если значение переменной приемлемо, я хочу использовать его внутри тела if. Вот пример того, как я думал, что я мог бы сделать это:

if ((int result = Foo()) != 0) { 
    // use result 
} 

Я предположил, что Foo() возвращает некоторое значение, которое присваивается result, и возвращает оператор присваивания =, и, наконец, сверяется 0 в != 0. К сожалению, это приводит к ошибке компиляции:

main.cpp:31:10: error: expected primary-expression before ‘int’ 
if ((int i = Foo()) != 0) 
    ^           
main.cpp:31:10: error: expected ‘)’ before ‘int’ 

Почему эта ошибка происходит? И какие могли бы исправить это?

Answer 1

Вашего рассуждения кажется, основано на предположении, что = в

if ((int result = Foo()) != 0) 

является оператором присваивания и int result = Foo() «просто выражение», которое вычисляется что нибудь.

Это неправда.

Часть int result = Foo() не является выражением в C++. Это объявление с инициализатором. = в синтаксисе инициализатора вообще не является оператором присваивания. Это просто синтаксический элемент, который по совпадению использует тот же символ, что и оператор присваивания. int result = Foo() не является выражением и не «оценивает» ни один результат.

Потому что, если выше, поддержка что-то вроде

if (int result = Foo()) 

требует специального лечения, что существенно ограничивает гибкость этого синтаксиса. То, что вы пробовали в своем коде, выходит за рамки того, что разрешено этим особым режимом.

Answer 2

Логика поддерживается, но объявление переменной в операторе if и использование этого способа - нет. Причина связана с тем, что инициализатор работает иначе, чем обычное задание, но работа вокруг этого проста и тривиальна.

Просто сделайте что-нибудь подобное.

int result; 

if ((result = Foo()) != 0) { 
    // use result 
} 

Answer 3

Он терпит неудачу, потому что это незаконно. Это тоже уродливо. @Jonathan Wood предложил объявить переменную за пределами if. Я предлагаю вызова Foo снаружи, тоже:

int result = Foo(); 
if(result!=0) ... 

(x=f())!=y конструкт, в то время как юридическое, как if состоянии, имеет смысл только в цикле, где

`в то время как ((с = GetChar()) = «\ п) ... сделать что-то с с ...

ли короче и лучше эквивалент

c = getchar(); 
while(c!='\n') 
{ 
    ... 
    c = getchar(c); 
} 

Это са ves записывает вызов getchar() дважды. Он ничего не сохраняет при использовании в if, поэтому нет смысла его использовать.

Answer 4

Bjarne использует эту конструкцию как ограничитель объема в 6.3.2.1 Язык программирования C++ в качестве рекомендации.

Использование:

if (int result = Foo()) { 
    // use non-zero result 
} 

Это особенно полезно с указателями

if (Foo* result = GetFoo()) { 
    // use valid Foo 
} 

!=0 часть увольняемых truthiness является !=0.

Расширенная конструкция с сопоставлением не допускается.

Дальнейшее обсуждение этой конструкции из here

Answer 5

Попробуйте это:

if (int i = (Foo() != 0) ? Foo() : 0){ 
     cout << "Hello. Number i = " << i; 
    }