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

Question

Пользовательские перегруженные логические операторы в C++ (&&, ||) ведут себя как обычные функции. То есть оба аргумента в bool operator&&(const T &a, const T2 &b); оцениваются перед входом в функцию, так как ввод функции является точкой последовательности [1] в C++. Все хорошо здесь.

Теперь «встроенные операторы & & и || выполнить оценку короткого замыкания "[2] [3], где имеется точка последовательности между левой и правой сторонами. В приведенной ссылке не ясно, что такое «встроенный», только то, что они принимают операнды bool, или конвертируют их, используя «контекстное преобразование в bool». В нем также упоминается, что только «два класса стандартной библиотеки перегружают эти операторы [потому что] свойства короткого замыкания (...) не относятся к перегрузкам, а также потому, что типы с булевой семантикой являются необычными». [2]

Типы с булевой семантикой? Как работают «встроенные операторы»? Невозможно ли определить логические операторы с оценкой короткого замыкания?

[1] https://en.wikipedia.org/wiki/Sequence_point

[2] http://en.cppreference.com/w/cpp/language/operator_logical

[3] https://en.wikipedia.org/wiki/Short-circuit_evaluation

Answer 1

Это означает, что короткое замыкание не распространяется на определенных пользователем операторов.

Это потому, что, как вы сказали, они ведут себя как функции.

Answer 2

Вы можете себе представить, что при коротком замыкании && действует как это:

bool b = expr1 && expr2; 

первых, он принимает expr1 и expr2 и сохраняет их в лямбдах:

bool b = and_helper([&]{return expr1;}, [&]{return expr2;}); 

и направляет их в качестве помощника , где and_helper (упрощенно):

template<class Lhs, class Rhs> 
bool and_helper(Lhs&& lhs, Rhs&& rhs) { 
    if (lhs()) return rhs(); 
    return false; 
} 

имеет аналогичное поведение при коротком замыкании.

Для удобства пользователя &&, чтобы работать таким образом, нам нужно авто-лямбда аргументы и передать указанные lambdas в пользовательский operator&&.

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

Компилятор выполнил примерно эквивалентную операцию (даже до того, как существовал лямбда), когда он столкнулся с этой конструкцией.