應用約束的結合到一個參數包

Question

給出一個簡單的variadoc模板

template<typename... T> 
class A {}; 

以及兩個或多個概念C1和C2像

template<typename T> 
concept bool C1() { ... }; 

如何申請的C1和C2連詞在A參數包的所有元素上，如：

template<typename... T> 
requires C1<T>... || C2<T>...  // nok 
class A {}; 

以上不編譯。我正在尋找一種方法來指定這個，而不用寫一個像C1orC2這樣的新概念。

Answer 1

可以通過嵌套摺疊表達式是：

template<typename... T> 
requires ((C1<T> || C2<T>) || ...) 
class A {}; 

而且，實際的概念應該是這樣的形式：

template<typename T> 
concept C1 = requires(T arg) { 
    // something 
};