应用约束的结合到一个参数包

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