***Template的“具现”行为***
template class中的任何member都只能通过template class的某个实体来存取或操作。
Point<float>::Status s; // ok
Point::Status s; // error
如果我们定义一个指针,指向特定的实体,像这样:
Point<float> *ptr = 0;
由于这是一个指向class object的指针,本身并不是一个class object,编译器不需要知道与该class有关的任何members数据。所以将“Point的一个float实体”具现也就没有必要。
如果不是一个pointer而是reference,假设:
Point<float> &ref = 0;
这个定义的真正语意会被扩展为:
// 内部扩展
Point<float> temp(float(0));
Point<float> &ref = temp;
以上转化是因为reference并不是无物(no object)的代名词,0被视作整数,必须被转换为类型Point<float>的一个对象。
然而,member functions只有在member functions被使用的时候,C++ Standard才要求它们被“具现”出来。这个规则的由来主要有两个原因:
(1)空间和效率的考虑。对于未使用的函数进行“具现”将会花费大量的时间和空间;
(2)尚未实现的功能。并不是一个template具现出来的所有类型一定能够完整支持一组member functions,因而只需具现真正需要的member functions.
举个例子:
Point<float> *p = new Point<float>;
只有(a)Point template的float实例、(b)new 运算符、(c)default constructor需要被“具现”。
版权与免责声明
1、本站所发布的文章仅供技术交流参考,本站不主张将其做为决策的依据,浏览者可自愿选择采信与否,本站不对因采信这些信息所产生的任何问题负责。
2、本站部分文章来源于网络,其版权为原权利人所有。由于来源之故,有的文章未能获得作者姓名,署“未知”或“佚名”。对于这些文章,有知悉作者姓名的请告知本站,以便及时署名。如果作者要求删除,我们将予以删除。除此之外本站不再承担其它责任。
3、本站部分文章来源于本站原创,本站拥有所有权利。
4、如对本站发布的信息有异议,请联系我们,经本站确认后,将在三个工作日内做出修改或删除处理。
请参阅权责声明!