c++ - 如何检测类型是否为通用类型列表之一

Question

如果我有

template <typename T> struct A;
template <typename T> struct B;
template <typename T> struct C;
template <typename T> struct D;

测试某些候选类型X是否为其中之一的最紧凑方法是什么？我正在寻找类似的东西

boost::enable_if< is_instantiation_of_any<X,A,B,C,D> >

但是A，B，C和D是模板，因此我不确定如何构造以上内容。

Answer 1

不确定是否存在std::is_instantiation_of，尽管如果所有模板都具有相同数量的参数，则可以很容易地实现它(如果没有，则更加复杂)。要检查类型是否是任何给定模板的实例化，您只需要将其折叠(需要C++ 17):

#include<iostream>
#include<type_traits>


template <typename T> struct A;
template <typename T> struct B;
template <typename T> struct C;
template <typename T> struct D;


template <typename T,template<typename> typename X>
struct is_instantiation_of : std::false_type {};

template <typename A,template<typename> typename X>
struct is_instantiation_of<X<A>,X> : std::true_type {};

template <typename T,template<typename> typename...X>
struct is_instantiation_of_any {
    static const bool value = ( ... || is_instantiation_of<T,X>::value);
};

int main(){
    std::cout << is_instantiation_of< A<int>, A>::value;
    std::cout << is_instantiation_of< A<double>, B>::value;
    std::cout << is_instantiation_of_any< A<int>,A,B>::value;
}

Output:

101

要获得符合C++ 11的解决方案，我们可以使用Jarod42s answers中的一个巧妙技巧:

template <bool ... Bs>
using meta_bool_and = std::is_same<std::integer_sequence<bool, true, Bs...>,
                                   std::integer_sequence<bool, Bs..., true>>;

仅当true,a,b,c，a,b,c,true和a均为b时，其相当聪明的c和true才相同。 std::integer_sequence是C++ 14，但是我们在这里需要的只是一个将bool作为其定义一部分的类型:

namespace my {
    template <typename T,T ...t>
    struct integer_sequence {};
}

使用它，我们可以将以上内容重写为:

template <bool ... Bs>
using my_all = std::is_same<my::integer_sequence<bool, true, Bs...>,
                            my::integer_sequence<bool, Bs..., true>>;

由于"ANY(a,b,c,d,...)"只是"! ALL( !a, !b, !c, !d,...)"，我们可以使用:

template <bool ... Bs>
struct my_any { static constexpr bool value = ! my_all< ! Bs...>::value; };

以C++ 11友好的方式编写is_instantiation_of_any:

template <typename T,template<typename> typename...X>
struct is_instantiation_of_any {
    static const bool value = my_any< is_instantiation_of<T,X>::value ...>::value;
};

Complete C++11 example