追加到在可變參數ç每ARG宏觀

Question

我試圖創建工作像「其中」限制在高級語言的宏：

#define where(T, ...) typename std::enable_if< /* tricky part */ >::type 
// should expand like so: trait1<T>::value && trait2<T>::value ... traitN<T>::value 

這樣VA_ARGS爲特徵的列表，像這樣使用：

template<class T, 
    where(T, std::is_default_constructible, std::is_class)> 
class A { }; 

這可能嗎？

Answer 1

也許是這樣的：

#define WHERE(P, ...) join_predicate<P, __VA_ARGS__>::value 

template <template <typename> typename Pred, typename ...Args> 
struct join_predicate : std::conjunction<Pred<Args>...> {}; 

用法：

​​

我可能不會甚至與宏麻煩，只需使用一個真正的C++構建，也許：

template <template <typename> typename P, typename ...Args> 
constexpr bool where_v = join_predicate<P, Args...>::value;