C++学习笔记34 模版的原理

模版在C++中具有很重要的地位。STL就是大量运用模版写出来的。

模版的长处我就不一一列举了。这里我仅仅说一下模版的原理。

当编译器遇到模版方法定义的时候，编译器进行语法检查，可是并不会编译模版。编译器无法编译模版定义，由于编译器不知道要使用的类型是什么。编译器不知道x和y的类型的情况下无法为x=y这种语句生成代码。

当编译器遇到一个实例化的模版的时候，比如vector<int> vi（这里我仅仅是拿vector举例。实际上基本类型的vector代码好像会自己主动存在编译器中）,编译器会将模版类定义中的每个T替换为int,从而生成vector的int版本号。

当模版遇到这个模版的还有一个实例的时候，比如vector<string>,就会生成对应的string版本号代码。

1.选择性实例化。

编译器仅仅会为那些实际为某个类型调用的类方法生成代码。

#include <iostream>
using namespace std;
template<class T>
class test{
private:
	T data;
public:
	test(T d):data(d){
	}
	void show()const{
		cout<<"this data is "<<data<<endl;
	}

};
int main()
{
	test<int> ti(15);
	ti.show();
	test<string> ts("string");
	ts.show();

}

比如上面的样例编译器仅仅会生成test的int以及string版本号。其它的如double,char等版本号则不会生成。