C++11 关于模板有一些细节的改进

模板的右尖括号

C++11 之前是不允许两个右尖括号出现的，会被认为是右移操作符，所以需要中间加个空格进行分割，避免发生编译错误。

int main()
{
    std::vector<std::vector<int>> a; // error
    std::vector<std::vector<int>> b; // ok
}

这个我之前都不知道，我开始学编程的时候就已经是 C++11 的时代啦。

我的吐槽：以前的确是这种很诡异的写法

模板的别名

C++11 引入了 using，可以轻松的定义别名，而不是使用繁琐的typedef。

typedef std::vector<std::vector<int>> vvi; // before c++11
using vvi = std::vector<std::vector<int>>; // c++11

使用 using 明显简洁并且易读，大家可能之前也见过使用 typedef 定义函数指针之类的操作，那烂代码我就不列出来了，反正我是看不懂也不想看.. .以后都可以使用 using ，额还是列出来吧。

我的吐槽：以前这种写法考试还特别喜欢考。。。不过还是尽量看懂吧，说不定以后就要肩负维护这些 “古董” 代码的重任呢~

typedef void (*func)(int, int); // 啥玩意，看不懂
using func = void (*)(int, int); // 起码比 typedef 容易看的懂吧

上面的代码使用 using 起码比 typedef 容易看的懂一些吧，但是我还是看不懂，因为我从来不用这种来表示函数指针，用std::function()、std::bind()、std::placeholder()、 lambda 表达式它不香吗。

函数模板的默认模板参数

C++11 之前只有类模板支持默认模板参数，函数模板是不支持默认模板参数的，C++11 后都支持。

类模板

template <typename T, typename U = int>
class A
{
    T value;
};

template <typename T = int, typename U> // error：需要从右往左定义
class A
{
    T value;
};

类模板的默认模板参数必须从右往左定义，而函数模板则没有这个限制。

函数模板


template <typename R, typename U = int>
R func1(U val)
{
    return val;
}

template <typename R = int, typename U>
R func2(U val)
{
    return val;
}

int main()
{
    cout << func1<int, double>(99.9) << endl;    // 99
    cout << func1<double, double>(99.9) << endl; // 99.9
    cout << func1<double>(99.9) << endl;         // 99.9
    cout << func1<int>(99.9) << endl;            // 99
    
    cout << func2<int, double>(99.9) << endl;    // 99
    cout << func2<double, double>(99.9) << endl; // 99.9
    cout << func2<double>(99.9) << endl;         // 99.9
    cout << func2<int>(99.9) << endl;            // 99
    return 0;
}

对于函数模板，参数的填充顺序是从左到右的。

我的小结： R 定义了返回值类型，U 定义了函数入参类型

【转载】C++11 的模板改进

C++11 关于模板有一些细节的改进

模板的右尖括号

模板的别名

函数模板的默认模板参数