C++ оптимизация логическое выражение

Question

Это хорошо для меня, чтобы предположить в C или C++ или JavaScript или любой другой современный язык, что если я делаю ...

bool funt1(void) {…} 
bool funt2(void) {…} 
if (funt1() && funt2()) {Some code} 

... Могу ли я гарантировать, что обе функции вызываются или если funt1 возвращается false может ли компилятор поручиться на меня и никогда не звонить funt2?

Answer 1

В C, C++ и Java-логические операторы и &&|| короткого замыкания, то есть в A && B, A сначала вычисляется и B вычисляется, если и только если A возвращается true. Аналогично, в A || B, B оценивается тогда и только тогда, когда A возвращается false. Они гарантированы языковыми стандартами и применяются, даже если B имеет побочные эффекты (на самом деле это можно использовать для контроля этих побочных эффектов).

В C++ эти правила применяются только к логическим операторам, применяемым к встроенным типам, но не к определяемым пользователем логическим операциям с тем же именем. Однако в вашем фрагменте кода сравниваются два bool, поэтому это не может быть определено пользователем &&.

Answer 2

Вы спросили:

Am I гарантирует, что обе функции вызываются или если funt1 возвращает false может компилятор под залог на меня и не называют funt2?

Если funt1() возвращает false, это гарантирует, что funt2() никогда не будет вызван.

Если funt1() возвращает true, то гарантировано, что funt2() будет вызван.

Answer 3

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

#include <iostream> 

struct A {}; 
struct B {}; 

bool operator || (const A&, const B&) { return true; } 

A a() { std::cout << "A\n"; return A(); } 
B b() { std::cout << "B\n"; return B(); } 

bool f() { std::cout << "f\n"; return true; } 
bool g() { std::cout << "g\n"; return true; } 

int main(int argc, char* argv[]) 
{ 
    if(a() || b()); 
    if(f() || g()); 
}