c – 如何检查类型是否是给定类模板的实例化？

我有一个类模板,其中一个模板参数必须是特定模板的实例化或其他类型.例如,考虑一个类型列表的简单定义：

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模板参数提供的类型始终是类型列表的实例化或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;
};

标准库或Boost中是否有这样的特质(is_instantiation_of)？是可以写一个吗？