如何检查类型是否是给定类模板的实例化？ [重复]

Question

这个问题已经在这里有了答案：

• 做一个模板类型是另一个模板的static_assert 3答案

是否可以检查类型是特定模板的实例？

我有一个类模板，其中template参数之一必须是特定模板的实例化或其他某种类型。 例如，考虑一下类型列表的简单定义：

struct null_type;

template <typename Head, typename Tail>
struct typelist
{
    // Tail must be a typelist or null_type

    typedef Head head;
    typedef Tail tail;
};

现在，我想确保为Tail模板参数提供的类型始终是typelist或null_type的实例化。 我可以使用部分专业化来仅针对这些情况定义模板，如下所示：

template <typename Head, typename Tail>
struct typelist; // default, not defined

template <typename Head, typename H, typename T>
struct typelist< Head, typelist<H,T> > // Tail = typelist, ok
{
    typedef Head head;
    typedef typelist<H,T> tail;
};

template <typename Head>
struct typelist< Head, null_type > // Tail = null_type, ok
{
    typedef Head head;
    typedef null_type tail;
};

但是，我最终要复制代码，这是我想避免的事情。 理想情况下，我需要一个特征来测试类型是否是模板的实例化，与enable_if或在静态断言中一起使用：

#include <boost/mpl/or.hpp>
#include <type_traits>

struct null_type;

template <typename Head, typename Tail>
struct typelist
{
    static_assert(
        boost::mpl::or_<
            is_instantiation_of< typelist, Tail >,
            std::is_same< Tail, null_type >
        >::value,
        "Tail must be a typelist or null_type" );

    typedef Head head;
    typedef Tail tail;
};

这样的特征（ is_instantiation_of ）在标准库或Boost中是否已经可用？ 可以写一个吗？

Answer 1

我使用C ++ 11可变参数模板和简单的局部专业化提出了以下解决方案：

#include <type_traits>

template < template <typename...> class Template, typename T >
struct is_instantiation_of : std::false_type {};

template < template <typename...> class Template, typename... Args >
struct is_instantiation_of< Template, Template<Args...> > : std::true_type {};

通过使用预处理器为不同数量的模板参数生成版本，可以使其适应C ++ 03，但是也许有一种更简单的方法。