C++高级技巧之模板参数的类型约束

自C++11 开始 引入了 type_traits头文件，包含C++的编译时常量的模板和提供有关其类型参数的属性的信息或生成转换类型。其中包括了非常多与类型信息有关的类。

介绍std::enable_if 对类模板参数的约束，效果如下:

 

 关于std::enable_if的定义，可以参见C++标准库中的定义。

std::enable_if 有两个模板参数，参数1是一个bool值，若结果为true，则可以使用模板参数2的类型，否则模板参数2未定义。

参数1通过使用std::is_XXX来进行约束，std::is_XXX返回一个bool，如果类型匹配，则返回true，否则返回false。通过std::is_XXX<Type>::value来获取bool值

这里列举几个：

std::is_void	如果类型为void，则返回true，否则为false
std::is_integral	如果类型为整数(除doule和float类型之外的所有整数类型），则返回true，否则为false
std::is_point	如果类型为指针类型，则返回true，否则为false
std::is_enum	如果类型为枚举类型，则返回true，否则为false

这里要提以下std::is_same，它和上面表格中的不同，它有两个模板参数，当模板参数1的类型与模板参数2的类型一致时，返回true，它可以帮助我们约束模板为任意的类型，可以是自定义的class。

并且我们可以通过 逻辑运算符来更灵活的约束类型为指定的多个类型

通过 || （或者） 来为模板约束为满足 其中某一个类型便可通过编译

template <typename  Type,
    typename = typename std::enable_if<
    std::is_same<Type,int>::value || //将模板参数类型约束为 int 或 float类型之一
    std::is_same<Type, float>::value >::type 
>
class  MyClass {
    Type* T;
public:
};

int main()
{
    MyClass<int> a1;
    MyClass<float> a2;
    MyClass<long> a3;//报错
}

class A1 {

};
class A2 {

};
class A3 {

};
template <typename  Type,
    typename = typename std::enable_if<
    std::is_same<Type, A1>::value || //将模板参数类型约束为 class A1 或 class A2之一
    std::is_same<Type, A2>::value >::type
>
class  MyClass {
    Type* T;
public:
};

int main()
{
    MyClass<A1> a;
    MyClass<A2> b;
    MyClass<A3> c;//报错
    
}

有趣的是，约束类型时可以使用 && （并且）运算符，一个类型怎么可能既是A类型又是B类型呢？使用这个运算符毫无意义，莫非有什么不为人知的操作？有兴趣的可以尝试探索一下，如果你发现了什么有趣的事情，记得留言告诉我哦~