从enable_if基础继承

inheriting from an enable_if'd base

本文关键字：继承 if enable      更新时间：2023-10-16

我试图部分特化非字符数组的特征:

template<typename T>
struct is_container : std::false_type {};
template<typename T, unsigned N>
struct is_container<T[N]>
: std::enable_if<!std::is_same<T, char>::value, std::true_type>::type {};

Visual Studio 2010给了我一个C2039 (type不是enable_if的元素…)然而，SFINAE不应该在这里触底而不是给出编译器错误?或者SFINAE在这种情况下不适用?

当然我可以把非char和char的专门化分开:

template<typename T>
struct is_container : std::false_type {};
template<typename T, unsigned N>
struct is_container<T[N]> : std::true_type {};
template<unsigned N>
struct is_container<char[N]> : std::false_type {};

但是我真的很想知道为什么SFINAE在这种特殊情况下不起作用

查看" 3.1启用模板类特化"主题http://www.boost.org/doc/libs/1_47_0/libs/utility/enable_if.html

编辑:万一boost.org链接死了…

3.1启用模板类特化类模板专门化可以使用enable_if启用或禁用。需要为启用器表达式添加一个额外的模板参数。该参数的默认值为void。例如:

template <class T, class Enable = void> 
class A { ... };
template <class T>
class A<T, typename enable_if<is_integral<T> >::type> { ... };
template <class T>
class A<T, typename enable_if<is_float<T> >::type> { ... };

用任何整数类型实例化A都匹配第一个特化，而任何浮点类型都匹配第二个特化。所有其他类型都匹配主模板。条件可以是依赖于类的模板参数的任何编译时布尔表达式。再次注意，不需要enable_if的第二个参数;默认值(void)是正确的值

相关文章：