当前位置:主页   - 电脑 - 程序设计 - C/C++
《深度探索C++对象模型》读书笔记(7)
来源:网络   作者:   更新时间:2011-01-25
收藏此页】    【字号    】    【打印】    【关闭

  ***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、如对本站发布的信息有异议,请联系我们,经本站确认后,将在三个工作日内做出修改或删除处理。
请参阅权责声明