c++ - 折叠表达式中的短路

Question

这是一个基于我给出的 self 回答的 self 触发问题 here .

This对于为什么可以在fold expressions中使用逻辑运算符的短路似乎是一个非常令人信服的解释。 ，以及使用可变参数将折叠表达式包装在函数中的事实似乎不是短路的(事实上，答案解释了，这是触发所有参数求值的函数调用，在函数体内发生短路之前)。

但是，在我看来，以下代码证明(至少当折叠表达式中的参数为 2 时)不会发生短路:

#include <assert.h>
#include <optional>

constexpr auto all_r = [](auto const& ... ps){
    return [&ps...](auto const& x){
        return (ps(x) && ...);
    };
};

constexpr auto all_l = [](auto const& ... ps){
    return [&ps...](auto const& x){
        return (... && ps(x));
    };
};

constexpr auto has_value = [](std::optional<int> o){
    return o.has_value();
};
constexpr auto has_positive = [](std::optional<int> o){
    assert(o.has_value());
    return o.value() > 0;
};

int main() {
    assert(!(has_value(std::optional<int>{}) && has_positive(std::optional<int>{})));
    //assert(!(has_positive(std::optional<int>{}) && has_value(std::optional<int>{}))); // expectedly fails at run-time


    assert(!all_r(has_value, has_positive)(std::optional<int>{}));
    assert(!all_l(has_value, has_positive)(std::optional<int>{})); // I expected this to fail at run-time
    //assert(!all_r(has_positive, has_value)(std::optional<int>{}));
    //assert(!all_l(has_positive, has_value)(std::optional<int>{})); // I expected this to succeed at run-time
}

Answer 1

... && ps(x) 具有四个谓词 a, b, c, d 扩展为

( ( a(x) && b(x) ) && c(x) ) && d(x)

这导致了这样的评估顺序:a b c d

ps(x) && ... 扩展为

a(x) && ( b(x) && ( c(x) && d(x) ) )

这会导致相同的求值顺序:a b c d

这不会改变有关短路的任何内容；一旦有错误，评估就停止。