C++11：模板的改进

右尖括号>改进

在C++98/03的泛型编程中，模板实例化有一个很繁琐的地方，就是连续两个右尖括号(>>)会被编译解释成右移操作符，而不是模板参数表的形式，需要一个空格进行分割，以避免发生编译时的错误。

template <int i> class X{};template <class T> class Y{};int main(){    Y<X<1> > x1;    // ok, 编译成功    Y<X<2>> x2;     // err, 编译失败    return 0;};

在实例化模板时会出现连续两个右尖括号，同样static_cast、dynamic_cast、reinterpret_cast、const_cast表达式转换时也会遇到相同的情况。C++98标准是让程序员在>>之间填上一个空格，在C++11中，这种限制被取消了。在C++11标准中，要求编译器对模板的右尖括号做单独处理，使编译器能够正确判断出”>>”是一个右移操作符还是模板参数表的结束标记。

模板的别名

#include <iostream>#include <type_traits> //std::is_sameusing namespace std;using uint = unsigned int;typedef unsigned int UINT;using sint = int;int main(){    //std::is_same 判断类型是否一致    //这个结构体作用很简单，就是两个一样的类型会返回true    cout << is_same<uint, UINT>::value << endl; // 1    return 0;}

函数模板的默认模板参数

C++11之前，类模板是支持默认的模板参数，却不支持函数模板的默认模板参数：

//1、普通函数带默认参数，c++98 编译通过，c++11 编译通过void DefParm(int m = 3) {}//2、类模板是支持默认的模板参数，c++98 编译通过，c++11 编译通过template <typename T = int>class DefClass {};//3、函数模板的默认模板参数， c++98 - 编译失败，c++11 - 编译通过template <typename T = int> void DefTempParm() {}

类模板的默认模板参数必须从右往左定义，数模板的默认模板参数则没这个限定：

template<class T1, class T2 = int> class DefClass1;template<class T1 = int, class T2> class DefClass2;   // 无法通过编译template<class T, int i = 0> class DefClass3;template<int i = 0, class T> class DefClass4;         // 无法通过编译template<class T1 = int, class T2> void DefFunc1(T1 a, T2 b);template<int i = 0, class T> void DefFunc2(T a);