Какое логическое выражение вычисляется первым в операторе IF, содержащем операцию OR?

Question

В следующем выражении, в VC ++, какое булево выражение вычисляется первым?Кроме того, они оба оценены?

if( (X==Y) || (Z==T))
{
 //code here
}

Answer 1

Они оцениваются слева направо, и если первое из них истинно, выражение замыкается, а второе не оценивается.

Answer 2

Если используется встроенный оператор ||, то X == Y будет оцениваться до оценки Z == T.Встроенный оператор || оценивается слева направо и он закорачивается, поэтому, если X == Y истинно, то по определению X == Y || Z == T верно, поэтому Z == T не оценивается.

Тем не менее, оператор || также может быть перегружен, и если он перегружен, он не замыкается накоротко.Если для использования || здесь выбрана определяемая пользователем перегрузка ||, то оцениваются как X == Y, так и Z == T, даже если X == Y имеет значение true.Редко перегружается оператор ||, так как это может привести к неинтуитивному коду.Просто важно помнить, что он не ведет себя так же, как встроенный оператор.

Answer 3

Первое выражение слева направо всегда будет оцениваться (в данном случае (X==Y)), второе выражение (снова слева направо и в этом случае (Z==T)) будет оцениваться только в том случае, если первое ложно.Это известно как Оценка короткого замыкания .

Answer 4

X == Y будет оцениваться первым.Если true и условие является ИЛИ, ничего в строке не будет оценено.