模板的优化

嵌套时（比如printVector<vector<int>>）中的">>"的优化

在使用vector<int>时，本意是向模板中传入一个vector<int>类型的参数，但是编译器错误的将">>"识别为右移运算符，而不是模板参数表的结束。之前的解决方案是在">>"中间添加空格"> >"。

C++11优化了这一问题，使得不添加空格也可以正确的编译。

#include <iostream>
#include <vector>
using namespace std;

template<typename T>
class Base {
public:
	void printVector(T& t) {
		auto it = t.begin();
		for (; it != t.end(); it++) {
			cout << *it << " ";
		}
		cout << endl;
	}
};

int main() {
	vector<int> v{ 1,2,3,4,5,6,7,8,9 };
	Base<vector<int>> b;
	b.printVector(v);
    
	system("pause");
	return 0;
}

在c++11之前会报error：

test.cpp:25:20: error: '>>' should be '> >' within a nested template argument list
     Base<vector<int>> b;

根据错误提示中描述模板的两个右尖括之间需要添加空格，这样写起来就非常的麻烦。

C++11改进了编译器的解析规则，尽可能地将多个右尖括号（>）解析成模板参数结束符，方便我们编写模板相关的代码。

上面的这段代码，在支持C++11的编译器中编译是没有任何问题的。

方法的默认模板参数

在c++11之前，类模板可以有默认的模板参数；但是方法模板不支持有默认的模板参数。

在C++11中添加了对函数模板默认参数的支持。

#include <iostream>
#include <typeinfo>

using namespace std;

template<typename T = int, T t = 520>  //c++11之前就 支持  类模板 默认的模板参数，还定义了非类型参数t的默认值为520
class Test {
public:
	void print() {
		cout << "current value:" << t << endl;
	}
};

template<typename T1 = int,typename T2 = int>
void func(T1 val1 = 'a', T2 val2 = 'b') {
	cout << "val1: " << val1 << ",val2: " << val2 << endl;
}



int main() {
	Test<> t;
	t.print();
	Test<int, 1024> t2;
	t2.print();
	cout << endl; 

	//-------------------------------------------------------------
	//自动推导，根据传递的实参
	func('a', 'b'); //自动推导为 func<char, char>
	func<int>('a', 'b'); //显示的填了第一个模板参数，第二个自动推导为char  func<int, char>
	func(1, 2); //推导为 func<int, int> 且默认就是int
	func(1.1, 2.2); //推导为 func<double, double>
	func<char>('a', 'b'); //第一个显示填了char，第二个自动推导为char func<char, char>
	func<int, char>('a', 'b'); //显示填了<int, char>   func<int, char>
	func<char, int>('a', 'b'); //显示填了<char, int>   func<char, int>
	func();  //默认为int    func<int, int>

	system("pause");
	return 0;
}

输出：

current value:520
current value:1024

val1: a,val2: b
val1: 97,val2: b
val1: 1,val2: 2
val1: 1.1,val2: 2.2
val1: a,val2: b
val1: 97,val2: b
val1: a,val2: 98
val1: 97,val2: 98

如上面代码，支持函数模板的默认参数，在使用时就可以根据传递的实参自动推导类型，写起来像普通函数一样；

但是类模板的默认参数，在使用时如不使用默认参数，仍然需要显示的定义类型。

当默认模板参数和模板参数自动推导同时使用时（优先级从高到低）：

• 如果显示的填了参数类型，使用显示的参数类型；
• 如果可以推导出参数类型则使用推导出的类型
  • 模板参数类型的自动推导是根据模板函数调用时指定的实参进行推断的，没有实参则无法推导
  • 模板参数类型的自动推导不会参考函数模板中指定的默认参数。
• 如果函数模板无法推导出参数类型，那么编译器会使用默认模板参数
• 如果无法推导出模板参数类型并且没有设置默认模板参数，编译器就会报错。