Приоритет && и ||

[220Volt]

Доброго дня.

#include <iostream>
using namespace std;

bool f1() {cout << "f1\n"; return true;}
bool f2() {cout << "f2\n"; return false;}
bool f3() {cout << "f3\n"; return false;}
    
struct S
{
    bool operator ||(bool) {cout << "operator ||\n"; return false;}
    bool operator &&(const S&) {cout << "operator &&\n"; return false;}
};
    
int main()
{
    //S s;
    //if(s  ||  s  &&  s) {}
    // cout : operator &&
    // cout : operator ||
    

    if( f1()  ||  f2()  &&  f3() ) {}
    // cout : f1
    
    return 0;
}

Из эксперимента выше, можно сделать вывод о том, что приоритеты упомянутых операторов в разных ситуациях отличаются. Если опираться на справочник http://en.cppreference.com/w/cpp/lan...tor_precedence, то поведение всегда должно быть как в первом случаи.

Ладно, как работает так работает, вопрос только один: закреплено ли стандартом поведение во втором случаи (со стандартными операторами)? Clang, например, ругается.

[220Volt]

Кажется понял в чем дело.

#include <iostream>
using namespace std;

struct T
{
    const char *str;
    operator int() {cout << this->str << "\n"; return 2;}
};
    
int main()
{
    T t1{"t1"}, t2{"t2"}, t3{"t3"};
    int res = t1 + t2 * t3;
    cout << res;
    // cout : t1
    // cout : t2
    // cout : t3
    // cout : 6

    return 0;
}

Т.е сначала происходят преобразования в подходящий тип (слева направо), а потом все остальное. Преобразование слева направо, закреплено в стандарте?

[Son Of Pain]

Преобразование является частью вычисления аргумента в выражении. Порядок вычисления аргументов неопределен. Следовательно, ответ отрицательный )
Вообще, все написано здесь

[Somebody]

В случае со стандартными && и || - да, так по стандарту (C++11 5.14, 5.15). Там левая часть sequenced before правая часть, причём правая не вычисляется, если левая false/true соответственно.

[220Volt]

Спасибо, пойду переваривать ссылку.

[waleri]

Вообще, когда есть сомнения, ставьте скобки...
int a = 2 + (2 * 2);

[Somebody]

Сообщение от waleri

Вообще, когда есть сомнения, ставьте скобки...
int a = 2 + (2 * 2);

Только лишние скобки не меняют порядка вычислений...

[220Volt]

Сообщение от waleri

Вообще, когда есть сомнения, ставьте скобки...
int a = 2 + (2 * 2);

Я немного о другом, например:

#include <iostream>
using namespace std;

struct T
{
    const char *str;
    operator int() {cout << this->str << "\n"; return 2;}
};
    
int main()
{
    T t1{"t1"}, t2{"t2"}, t3{"t3"};
    int res = t1 + (t2 * t3);             // Добавили скобки, умножение приоритетней
    cout << res;
    // cout : t1                     // ВНИМАНИЕ !!
    // cout : t2                     // ВНИМАНИЕ !!
    // cout : t3                     // ВНИМАНИЕ !!
    // cout : 6

    return 0;
}

[220Volt]

Вырезка из справочника по ссылке выше, раскрывает суть вопроса:

Order of evaluation of the operands of any C++ operator, including the order of
evaluation of function arguments in a function-call expression, and the order of
evaluation of the subexpressions within any expression is unspecified (except where
noted below). The compiler will evaluate them in any order, and may choose another
order when the same expression is evaluated again.

There is no concept of left-to-right or right-to-left evaluation in C++, which is not to be
confused with left-to-right and right-to-left associativity of operators: the expression
f1() + f2() + f3() is parsed as (f1() + f2()) + f3() due to left-to-right associativity of
operator+, but the function call to f3 may be evaluated first, last, or between f1() or f2()
at run time.

[220Volt]

Выходит следующий код содержит ошибку?

if( ptr  &&  ptr->f() )   {}

Надо переписывать:

if(ptr)
    if( ptr->f() )   {}