C++模板新特性详解 | 现代C++编程指南

C++11模板新特性完全指南 #

C++11为模板系统带来了一系列实用的改进,包括更简洁的语法和更强大的功能。本文将详细介绍这些新特性如何提升C++的模板编程体验。

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 << func1<double, double>(99.9) << endl; // 99.9   
    cout << func2<double>(99.9) << endl; // 99.9   
    cout << func2<int>(99.9) << endl; // 99   
    return 0;
}

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

参考资料

《深入应用C++11:代码优化与工程级应用》 https://blog.csdn.net/tennysonsky/article/details/77817027 https://blog.csdn.net/wf19930209/article/details/79309881?utm_medium=distribute.pc_relevant_t0.none-task-blog-BlogCommendFromBaidu-1&depth_1-utm_source=distribute.pc_relevant_t0.none-task-blog-BlogCommendFromBaidu-1