用 || 折疊函數操作員

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);
}

不幸的是，折疊表達式無法編譯，我不確定為什么或如何修復它。

我收到以下錯誤

<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) || ...);

將得到它編譯。