Как реализовать оценку короткого замыкания в пользовательских функциях?

Question

Некоторые операторы, такие как && и || выполняют оценку короткого замыкания. Кроме того, когда функция вызывается с аргументами, все аргументы строятся до вызова функции.

Например, возьмем следующие три функции

bool f1(); 
bool f2(); 
bool f3(bool, bool); 

, если я позвоню

if(f3(f2(),f1()))//Do something 

Тогда возвращаемое значение как f2 и f1 вычисляются до f3 называется. Но, если бы я использовал (регулярное) operator|| вместо f3, чем приведенный выше код будет эквивалентен

if(f2()||f1())//Do something 

и f1 не будет оцениваться, если f2 оценивается как истина.

Мой вопрос: Возможно ли, что f3 (определенная пользователем функция с двумя булевыми) ведет себя одинаково? Если нет, что делает operator|| особенным?

Answer 1

Не, если f3() принимает значения результата функций.

Но если он принимает адрес функций (или более общий обрабатывает его ввод как функторы), а не результаты, то f3() может решить, нужно ли ему вызвать функцию.

template<typename F1, typename F2> 
bool f3(F1 const& f1, F2 const& f2) 
{ 
    return f1() || f2(); 
} 

bool f1(); 
bool f2(); 

int main() 
{ 
    f3(&f1, &f2); 
} 

Answer 2

Ваша посылка неправильная. Перегруженные operator|| и operator&& всегда оценивают как их аргументы; нет короткого замыкания.

См. Пункт 7 из More Effective C++ для обсуждения этого вопроса.

Answer 3

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

В случае функций любое значение, возвращающее возврат f1() или f2(), относится к f3(). Невозможно включить функцию «логический операнд» для параметров функции, даже если они принимают параметры bool.