C++ 折叠表达式中的短路
这是一个自我触发的问题，基于我给出的自我回答 这似乎是一个非常令人信服的解释，解释了为什么在中可以使用逻辑运算符的短路，以及在函数中使用可变参数包装折叠表达式似乎是非短路的事实（事实上，答案解释说，是函数调用触发了对所有参数的求值，然后函数体内部才会发生短路） 然而，在我看来，以下代码证明（至少当折叠表达式中的参数为2时）不会发生短路：C++ 折叠表达式中的短路,c++,c++17,lazy-evaluation,short-circuiting,fold-expression,C++,C++17,Lazy Evaluation,Short Circuiting,Fold Expression,这是一个自我触发的问题，基于我给出的自我回答 这似乎是一个非常令人信服的解释，解释了为什么在中可以使用逻辑运算符的短路，以及在函数中使用可变参数包装折叠表达式似乎是非短路的事实（事实上，答案解释说，是函数调用触发了对所有参数的求值，然后函数体内部才会发生短路） 然而，在我看来，以下代码证明（至少当折叠表达式中的参数为2时）不会发生短路： #包括 #包括 constexpr auto all_r=[]（auto const&…ps）{ 返回[&ps..]（自动常量和x）{ 回报率（ps（x）&…）
#包括
#包括
constexpr auto all_r=[]（auto const&…ps）{
返回[&ps..]（自动常量和x）{
回报率（ps（x）&…）；
};
};
constexpr auto all_l=[]（auto const&…ps）{
返回[&ps..]（自动常量和x）{
回报率（…&&ps（x））；
};
};
constexpr auto具有_值=[]（标准：：可选o）{
返回o.具有_值（）；
};
constexpr auto具有_正=[]（标准：：可选o）{
断言（o.has_value（））；
返回o.value（）>0；
};
int main（）{
断言（！（has_值（std:：optional{}）和&has_正值（std:：optional{}））；
//assert（！（has_positive（std:：optional{}）和&has_value（std:：optional{}））；//在运行时预期失败
assert（！all_r（has_value，has_positive）（std:：optional{}））；
assert（！all_l（has_value，has_positive）（std:：optional{}）；//我希望它在运行时失败
//assert（！all_r（has_正值，has_值）（std:：optional{}））；
//assert（！all_l（has_-positive，has_-value）（std:：optional{}）；//我希望这在运行时能够成功
}
Pack&&…Pack&…Pack1&&（Pack2&&（Pack3&&Pack4））…&&包装（（包装1和包装2）和包装3）和包装4&&Pack&&…&&Pack1（Pack2&&（Pack3&&Pack4））..&&Pack&（（Pack1&&Pack2）和&Pack3）Pack4Pack1 +
/ \
A +
/ \
B C
&..&&ps（x）a、b、c、d( ( a(x) && b(x) ) && c(x) ) && d(x)
a(x) && ( b(x) && ( c(x) && d(x) ) )
a b c dps（x）&&&……( ( a(x) && b(x) ) && c(x) ) && d(x)
a(x) && ( b(x) && ( c(x) && d(x) ) )
a b c d这不会改变任何关于短路的情况；一旦一个为假，评估就会停止。我不认为
ps（x）&&&………&&&ps（x）&&&