前言 3.程序代码和对象模型的转换( Code and objet mocel transformaTions) 这包括对 virtual functions, virtual base class和 inheritance的般支捋、nw 和dete运算符、 class ob'ects所组成的数组、 local static class instances、带有非 常量表达式( nonconstant eXpress: on)之 global object的静态初始化操作,我对 Simplifier所规划的-个目是:提供一^对象嫫型体系,在其斗,对象的实现是 个虚拟接口,支持各种对象模型 最后构种类型的转换构戌∫本书的基础、这意味着本书是为编译器设计者而 写的吗?小是绝对不是!这本书走由一位编译器设计者针对中高级C+-程序 员所写的,隐城这本书背后的假改是,程序员如果∫解C++对象嫫型,就可 以写出比较没有错误候问重且比较有效率的代码 什么是C++对象模型 有两个概念可以解释C++对象模型 语言屮直接攴持面向对象程序设计的部分 2.对于冬种支持的底层实现机制 语言层的支持,渊盖于我的C++Pnmr一书以及其它许多C++书当 中,至于第二个喂念,则几乎不能够于目前任甸读物中发现,只有[ ELLIS(]和 STROUPO4勉强有一些蛛丝马透.本书主要专注于C+4对象模型的第二个概 念。本书语宮遵循C艹委员会于1995冬季会议牛通过的 Standard C++草案 除了某些细节,这分草案应该能够反映出该语言的最终版本) C+对象模型的第一个念是一种“不变量”,例如,C++cas的完整 virtual functions在编译时期就圖定下来了,程序没有办法在执行期动态增加或取代其 中某一个这使得虚拟谓用操作得以有快速的派送( dispatch)细果,付出的成本 则是执行期的強性