用||折叠函数操作者

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

折叠表达式具有形式

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

你错过了那些外括号。将代码更改为

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

将它编译。

Answer 2

折叠表达式需要周围的括号。

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