C++11:如何判断一个类是另一个模板类的子类?

我有一个模板类memory_cl<T>,我需要判断另一个类是否为它的子类,怎么实现呢?
开始我问了度娘,在知乎上找到了答案 —>《如何判断一个类是否为一个模板类的实例?》
上面这个链接中给出了完整的答案:

struct is_kind_of_
{
    template <template <class> class TM, class T> static std::true_type  check(TM<T>);
    template <template <class> class TM>          static std::false_type check(...);
    template <template <int>   class TM, int N>   static std::true_type  check(TM<N>);
    template <template <int>   class TM>          static std::false_type check(...);
};
#define is_kind_of(TM, ...) decltype(is_kind_of_::check<TM>(std::declval<__VA_ARGS__>()))

经过测试,确实是有效的,但是只是在gcc(我用的是5.2.0版本)编译器下有效,
但在VS2015下编译是不能通过的,VS2015虽然几乎支持了所有C++11的特性,但还有两三个特性没有支持,这其中就包括”表达式 SFINAE”,上面这个方法在VS2015下编译报错大概就是载在这个坑里了。

所以要想在VS2015下实现这个功能还得别想办法,于是参照上面的方法我把代码做了修改:

/* 模板函数,检查T是否为memory_cl的子类 */
template<typename T>
struct is_kind_of_memory_cl{
    template <typename CL_TYPE>
        static CL_TYPE  check(memory_cl<CL_TYPE>);
    static void check(...);
    using cl_type=decltype(check(std::declval<T>()));// T实例化memory_cl时的模板参数类型
    enum{value=!std::is_same<cl_type,void>::value};
};

问题解决。

关于VS2015对C++11的支持情况,参见微软的官方文档《支持 C++11/14/17 功能(现代 C++)》

你可能感兴趣的:(模板类,C++11,SFINAE,模板类继承)