深度探索C++对象模型.pdf

内容简介 《深度探索C++对象模型》重点：探索"对象导向程序所支持的C++对象模型"下的程序行为。对于"对象导向性质之基础实现技术"以及"各种性质背后的隐含利益交换"提供一个清楚的认识。检验由程序变形所带来的效率冲击。提供丰富的程序范例、图片，以及对象导向观念和底层对象模型之间的效率测量。Inside The C++ Object Model专注于C++对象导向程序设计的底层机制，包括结构式语意、暂时性对象的生成、封装、继承，以及虚拟——虚拟函数和虚拟继承。这《深度探索C++对象模型》让你知道：一旦你能够了解底层实现模型，你的程序代码将获得多么大的效率。Lippman澄清了那些关于C++额外负荷与复杂度的各种错误信息和迷思，但也指出其中某些成本和利益交换确实存在。他阐述了各式各样的实现模型，指出它们的进化之道及其本质因素。 编辑推荐 《深度探索C++对象模型》涵盖了C++对象模型的语意暗示，并指出这个模型是如何影响你的程序的。C++成山似海的书籍堆中，这一本不是婴幼儿奶粉，也不是较大婴儿奶粉，它是成人专用的低脂高钙特殊奶粉。 对于C++底层机制感兴趣的读者，这《深度探索C++对象模型》会给你"漫卷诗书喜欲狂"的感觉。 了解C++ Object Model，是学习Component Object Model的最短路线。 如果你是一位C++程序员，渴望对于底层知识获得一个完整的了解，那么Inside The C++ Object Model正适合你。 媒体推荐 前言 差不多有10年之久，我在贝尔实验室(Bell Laboratories)埋首于C++的实现任务。最初的工作是在cfront上面(Bjarne Stroustrup的第一个C++编译器)，从1986年的1．1版到1991年9月的3．0版，然后移转到Simplifier(这是我们内部的命名)，也就是Found~ion项目中的C++对象模型部分。在Simplifier设计期间，我开始酝酿这本书。 Foundation项目是什么?在Bjarne的领导下，贝尔实验室中的一个小组探索着以C++完成大规模程序设计时的种种问题的解决之道。Foundation项目是我们为了构造大系统而努力定义的一个新的开发模型；我们只使用C++，并不提供多重语言的解决方案。这是个令人兴奋的工作，一方面是因为工作本身，一方面是因为工作伙伴：Bjarne、Andy Koenig、Rob Murray、Martin Carroll、Judy Ward、Steve Buroff、Peter Juhl，以及我自己。Barbara Moo管理我们这一群人(Bjarne和Andy除外)。Barbara Moo常说管理一个软件团队，就像放牧一群骄傲的猫。 我们把Foundation想象成一个核心，在那上面，其它人可以为使用者铺设一层真正的开发环境，把它整修为他们所期望的UNIX或Smalltalk模型。私底下我们把它称为Grail(传说中耶稣最后的晚餐所用的圣杯)，人人都想要，但是从来没人找到过! Grail使用一个由Rob Murray发展出来并命名为ALF的面向对象层次结构，提供一个永久的、以语意为基础的表现法。在Grail中，传统编译器被分解为数个各自分离的可执行文件。parser负责建立程序的ALF表现法。其它每一个组件(比如type checking、simplification，code generation)以及工具(比如browser)都在程序的一个ALF表现体上操作(并可能加以扩展)。Simplifier是编译器的一部分，处于typechecking和codegeneration之间。Simplifier这个名称是由Bjarne所倡议的，它原本是cfront的一个阶段(phase)。 在type checking和code generation之间，Simplifier做什么事呢?它用来转换内部的程序表现。有三种转换风味是任何对象模型都需要的： 1.与编译器息息相关的转换(Implementation，dependent transformations) 这是与特定编译器有关的转换。在ALF之下，这意味着我们所谓的“tentative”nodes。例如，当parser看到这个表达式： fct()； 它并不知道是否(a)这是一个函数调用操作，或者(b)这是overloaded call operator在class object fct上的一种应用。默认情况下，这个式子所代表的是一个函数调用，但是当(b)的情况出现时，Simplifier就要重写并调换call subtree。 2.语言语意转换(Language semantics transformations) 这包括constructor/de