用||折叠功能算子

Question

我试图将一个函数应用于参数包中的每种类型，然后将结果折叠。

示例： https://godbolt.org/z/0YNon_

#include <cstdint>
#include <string>

template<typename T>
bool CheckCondition(std::uint64_t i){
    return i>sizeof(T);
}

template <typename... ToCheck>
bool AnyCheckCondition(std::uint64_t i){
    return CheckCondition<ToCheck>(i)||...;
}

int main() 
{
    return AnyCheckCondition<std::string,std::uint64_t, std::int64_t>(10);
}

不幸的是，fold表达式无法编译，我不确定为什么或如何修复它。

我遇到以下错误

<source>: In function 'bool AnyCheckCondition(uint64_t)':

<source>:11:35: error: parameter packs not expanded with '...':

     return CheckCondition<ToCheck>(i) || ...;

            ~~~~~~~~~~~~~~~~~~~~~~~^~~

<source>:11:35: note:         'ToCheck'

<source>:11:38: error: expected ';' before '||' token

     return CheckCondition<ToCheck>(i) || ...;

                                      ^~~

                                      ;

<source>:11:39: error: expected primary-expression before '||' token

     return CheckCondition<ToCheck>(i) || ...;

                                       ^~

Compiler returned: 1

Answer 1

折叠表达式需要用括号括起来。

return (CheckCondition<ToCheck>(i) || ...);

Answer 2

折叠表达式的格式为

( pack op ... )
( ... op pack )
( pack op ... op init )
( init op ... op pack ) 

您缺少那些外部括号。将代码更改为

return (CheckCondition<ToCheck>(i) || ...);

将使其编译。