C++11:如何判断一个类是另一个模板类的子类?
版权声明：本文为博主原创文章，转载请注明源地址。 https://cloud.tencent.com/developer/article/1433593
我有一个模板类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++）》
本文参与 腾讯云自媒体分享计划，分享自作者个人站点/博客。
原始发表：2016年03月10日，如有侵权请联系 cloudcommunity@tencent.com 删除
评论
登录后参与评论
推荐阅读