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等版本则不会生成。
郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。