verwirrt durch C++ logisches ODER (||) operator

Question

Angenommen, ich habe zwei Ausdrücke links/rechts von || Operator. Ich finde, wenn der linke Ausdruck wahr ist, wird der richtige Operator niemals aufgerufen werden. Zum Beispiel, in meinem unteren Code, wenn getRand Wahr zurückgibt, fand ich Foo wird nie aufgerufen werden. Ich habe XCode auf Mac OSX getestet und mich gefragt, ob es sich um ein zuverlässiges Feature von C++ handelt, auf das wir uns verlassen könnten - wenn der linke Teil von || ist wahr, wird der rechte Teil nie aufgerufen, oder ist es ein spezielles Feature nur für bestimmte Plattformen (z. B. OSX mit XCode)? Poste meinen Code unten, danke.

bool Foo() 
{ 
    std::cout << "I am called!\n"; 
    return false; 
} 

bool getRand() 
{ 
    int random_variable = std::rand(); 
    std::cout << random_variable << '\n'; 

    return random_variable % 2 == 1; 
} 

int main(int argc, const char * argv[]) { 

    if (getRand() || Foo()) 
    { 
     std::cout<<"Hello World \n"; 
    } 

    return 0; 
} 

Vielen Dank im Voraus, Lin

Answer 1

Ja, ist es eine zugesicherte Eigenschaft short circuit evaluation genannt.

Ebenso wird ein Ausdruck false && expression niemals den richtigen Ausdruck auswerten.

Answer 2

frage mich, ob es eine zuverlässige Funktion von C++ ist, auf die wir uns verlassen könnten - wenn der linke Teil von || ist wahr, der rechte Teil wird nie genannt werden?

Ja, für den eingebauten Bediener.

Vom Standard $ 5.15/1 Logisches OR-Operator [expr.log.or] (fett von mir)

Die || Operatorgruppen von links nach rechts. Die Operanden sind beide kontextabhängig in bool konvertiert (Abschnitt 4). Es gibt wahr zurück, wenn entweder seiner Operanden wahr ist, und andernfalls falsch. Im Gegensatz zu |, || garantiert Links-nach-rechts-Auswertung; Außerdem wird der zweite Operand nicht ausgewertet, wenn der erste Operand wahr auswertet.

Und beachten Sie, dass die Überlastung von operator|| diese spezielle Eigenschaft verlieren wird.

Logical operators (fett von mir)

Builtin Betreiber & & und || Kurzschlussauswertung durchführen (nicht den zweiten Operanden auswerten, wenn das Ergebnis nach Auswertung von der erste bekannt ist), aber überladene Operatoren verhalten sich wie normale Funktion Aufrufe und werten immer beide Operanden aus.

Answer 3

Da es die eine oder andere Wahl gibt, muss der zweite Teil nicht ausgewertet werden, ist nicht plattformabhängig eine Spracheigenschaft.