模版在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等版本则不会生成。
——————————————————————————————————————————————————
//写的错误或者不好的地方请多多指导,可以在下面留言或者给我发邮件,指出我的错误以及不足,以便我修改,更好的分享给大家,谢谢。
转载请注明出处:https://www.royalchen.com/
author:royalchen
Email:royalchen@royalchen.com
———————————————————————————————————————————————————