Imperfect C++中文版

目录回到顶部↑第一部分 基础知识 1第1章 强制设计：约束、契约和断言 31.1 绿蛋和火腿 41.2 编译期契约：约束. 41.2.1 musthavebase() 51.2.2 mustbesubscriptable() 61.2.3 mustbesubscriptableas_decayable_pointer() 61.2.4 mustbepod1.2.5 must_besame_size() 91.2.6 使用约束 101.2.7 约束和tmp 111.2.8 约束：尾声 111.3 运行期契约：前置条件、后置条件和不变式 121.3.1 前置条件 131.3.2 后置条件 l31.3.3 类不变式 151.3.4 检查?总是进行 161.3.5 dbc还是不dbc 171.3.6 运行期契约：尾声 171.4 断言18.1.4.1 获取消息191.4.2 不恰当的断言 201.4.3 语法以及64位指针211.4.4 避免使用verifv()211.4.5 为你的断言命名221.4.6 避免使用#ifdefdebug 231.4.7 debugbreak()和int3 241.4.8 静态／编译期断言 241.4.9 断言：尾声 26第2章 对象生命期272.1 对象生命周期 272.2 控制你的客户端 282.2.1 成员类型 282.2.2 缺省构造函数282.2.3 拷贝构造函数292.2.4 拷贝赋值292.2.5 new和delete302.2.6 虚析构302.2.7 explicit3l2.2.8 析构函数312.2.9 友元322.3 mil及其优点 332.3.1 取得一块更大的场地352.3.2 成员顺序依赖372.3.3 offsetoff)382.3.4 mll：尾声39第3章 资源封装403.1 资源封装分类 403.2 pod类型 413.2.1 直接操纵413.2.2 api函数和透明类型423.2.3 api函数和不透明类型 423.3 外覆代理类 433.4 rrid类型 453.4.1 缺省初始化：缓式初始化463.4.2 未初始化483.5 raii类型513.5.1 常性raii和易变性rail 513.5.2 内部初始化和外部初始化533.5.3 rail排列 533.6 raii：尾声543.6.1 不变式543.6.2 错误处理54第4章 数据封装和值类型 554.1 数据封装的分类学554.2 值类型和实体类型564.3 值类型的分类学564.4 开放式类型584.4.1 pod开放式类型 584.4.2 c++数据结构594.5 封装式类型604.6 值类型6l4.7 算术值类型624.8 值类型：尾声634.9 封装：尾声64第5章 对象访问模型685.1 确定性生命期685.2 返回拷贝705.3 直接交给调用者705.4 共享对象71第6章 域守卫类736.1 值 736.2 状态 786.3 api和服务836.3.1 api836.3.2 服务866.4 语言特性87第二部分生存在现实世界89第7章 abi9l7.1 共享代码917.2 cabi需求937.2.1 结构布局937.2.2 调用约定、符号名以及目标文件格式947.2.3 静态连接947.2.4 动态连接957.3 c++abi需求967.3.1 对象布局977.3.2 虚函数977.3.3 调用约定和名字重整977.3.4 静态连接997.3.5 动态连接997.4 现在知道怎么做了1007.4.1 extern“c”1007.4.2 名字空间1037.4.3 extern“c++” 1037.4.4 获得c++类的句柄1067.4.5 “由实现定义”的隐患108第8章 跨边界的对象 1108.1 近乎可移植的虚函数表 1108.1.1 虚函数表布局 1118.1.2 动态操纵虚函数表 1138.2 可移植的虚函数表1148.2.1 利用宏进行简化1168.2.2 兼容的编译器 1168.2.3 可移植的服务端对象1178.2.4 简化可移植接口的实现1198.2.5 c客户代码 1208.2.6 oab的约束1208.3 abi／oab尾声121第9章 动态库 1239.1 显式调用函数1239.1.1 显式调用c++函数1249.1.2 打破c++访问控制1259.2 同一性：连接单元和连接空间1259.2.1 连接单元1259.2.2连接空间 1269.2.3 多重身份1269.3 生命期1279.4 版本协调1289.4.1 丢失的函数 1289.4.2 变化的签名 1289.4.3 行为的改变 1299.4.4 常量 1299.5 资源所有权1309.5.1 共享池-1309.5.2 返还给被调用方 1309.6 动态库：尾声 131第10章 线程 13210.1 对整型值的同步访问13310.1.1 操作系统函数13410.1.2 原子类型13510.2 对(代码)块的同步访问：临界区13610.2.1 进程间互斥体和进程内互斥体 13710.2.2 自旋互斥体13810.3 原子整型的性能13910.3.1 基于互斥体的原子整型13910.3.2 运行期按架构派发14110.3.3 性能比较14210.3.4 原子整型操作：尾声14310.4 多线程扩展14410.4.1 synchronized 14410.4.2 匿名synchronized14710.4.3 atomic14710.5 线程相关的存储14810.5.1 重入14810.5.2 线程相关的数据／线程局部存储14810.5.3 declspec(thread)和tls15010.5.4 tss库15010.5.5 tss的性能155第11章 静态对象15611.1 非局部静态对象：全局对象15711.1.1 编译单元内的顺序性15811.1.2 编译单元间的顺序性15911.1.3 利用main(）避免全局变量16111.1.4 全局对象尾声：顺序性16211.2 单件16311.2.1 meyers单件16311.2.2 alexandrescu单件16411.2.3 p时schwarz计数器：一个极妙的主意16511.2.4 对api计数16611.2.5 被计数的api、外覆类、代理类：最终得到一个顺序化的单件168ll.3 函数范围内的静态对象16911.3.1 牺牲缓式求值能力17111.3.2 自旋互斥体是救星17111.4 静态成员17211.4.1 解决连接问题17211.4.2 自适应代码17411.5 静态对象：尾声175第12章 优化17612.1 内联函数17612.1.1 警惕过早优化17612.1.2 只含有头文件的库17712.2 返回值优化一17712.3 空基类优化 18012.4 空派生类优化18312.5 阻止优化 184第三部分 语言相关的议题 188第13章 基本类型18913.1 可以给我来一个字节吗18913.1.1 标明符号19013.1.2 一切都在名字之中19013.1.3 窥探void内部19113.1.4额外的安全性..19113.2 固定大小的整型19213.2.1 平台无关性19313.2.2 类型相关的行为 19513.2.3 固定大小的整型：尾声19713.3 大整型19813.4 危险的类型-20013.4.1 引用和临时对象20013.4.2 bool201第14章 数组和指针20414.1 不要重复你自己20414.2 数组退化为指针20614.2.1 下标索弓f操作符的交换性20614.2.2 阻止退化20814.3 dimensiono（)20914.4 无法将数组传递给函数21114.5 数组总是按地址进行传递21414.6 派生类的数组21514.6.1 通过指针保存多态类型 21614.6.2 提供非缺省的构造函数21714.6.3 隐藏向量式new和delete 21814.6.4 使用std：：vector 21814.6.5 确保类型的大小相同21914.7 不能拥有多维数组222第15章 值 22615.1 null的是非曲直22615.2 回到0 23215.3 屈服于事实23515.4 字面量 23615.4.1 整型23615.4.2 后缀23815.4.3 字符串24015.5 常量一24315.5.1 简单常量24315.5.2 类类型常量24415.5.3 成员常量24515.5.4 类类型的成员常量248第16章 关键字25116..2 51.1interface16.2 temporary 25316.3 owner---25616.4 explicit(一cast) 26116.4.1 使用显式访问函数26316.4.2 模拟显式转换26416.4.3 使用特性垫片26516.5 unique26616.6 final26716.7 不被支持的关键字267第17章 语法27017.1 类的代码布局27017.2 条件表达式 27317.2.1 “使它布尔”27317.2.2 一个危险的赋值27517.3 for27717.3.1 初始化作用域27717.3.2 异质初始化类型27817.4 变量命名28017.4.1 匈牙利命名法28017.4.2 成员变量281第18章 typedef-28418.1 指针typedef28618.2 定义里面有什么28818.2.1 概念性的类型定义28818.2.2 上下文相关的类型定义28918.3 别名-29218.3.1 错误的概念性类型互换29318.3.2 不能对概念性类型进行重载29418.4 true-typedef29418.5 好的、坏的、丑陋的30018.5.1 好的typedef30018.5.2 坏的typedef30318.5.3 可疑的typedef304第四部分 感知式转换308第19章 强制31019.1 隐式转换31019.2 c++中的强制31119.3 适合使用c强制的场合31219.4 模仿强制31419.5 explicitcast-31619.6 literai-cast32l19.7 union_cast32319.8 comstl：：interface cast32719.8 comstl::interface-cast_addref32819.8.2 interface--cast--noaddref32919.8.3 interface-casltest32919.8.4 接口强制操作符的实现33019.8.5 保护引用计数33319.8.6 interface-cast-base33419.8.7 iid-traits 33519.8.8 interfacecast尾声33619.9 boost：：polymorphic_cast 33719.10 强制：尾声 339第20章 垫片 34120.1 拥抱变化拥抱自由 34120.2 特性垫片34420.3 逻辑垫片34620.4 控制垫片34720.5 转换垫片34820.6 复合式垫片概念35020.6.1 访问垫片35120.6.2 返回值生命期35220.6.3 泛化的类型操纵35420.6.4 效率方面的考虑35620.7 名字空间和koenig查找 35720.8 为何不使用traits 35920.9 结构一致性 36020.10 打破巨石36220.11 垫片：尾声363第21章 饰面36521.1 轻量级raii36621.2 将数据和操作绑定在一起36721.2.1 pod_veneer 36821.2.2 创建日志消息37021.2.3 减少浪费 37121.2.4 类型安全的消息类37221.3 “擦亮”饰面概念37421.4 饰面：尾声 376第22章 螺栓37722.1 添加功能 37722.2 皮肤选择 37822.3 非虚重写 37922.4 巧用作用域 38022.5 拟编译期多态：逆反式螺栓 38322.6 参数化多态包装38422.7 螺栓：尾声 386第23章 模板构造函数38723.1 不易察觉的开销38923.2 悬挂引用 38923.3 模板构造函数特化39123.4 实参代理”39223.5 明确实参的范畴39423.6 模板构造函数：尾声395第五部分 操作符一396第24章 operatorbool()39824.1 operatorint()const39824.2 operatorvoid*()const 39924.3 operatorbool()const*40024.4 operator!()const40124.5 operatorbooleanconst()const40l24.6 operatorintboolean()const40224.7 在现实世界中操作40224.8 operator!407第25章快速、非侵入性的字符串拼接40825.1 fast_string_concatenator[]40925.1.1 与用户自定义的字符串类协同工作40925.1.2 将“拼接子”串起来 41025.1.3 fast_string_concatenator类41125.1.4 内部实现41325.2 性能41725.3 与其他字符串类协作42025.3.1 整合进标准库中42025.3.2 整合进可改动的现存类中42025.3.3 与不可更改的类互操作42025.4 拼接提示42125.5 病态括号42225.6 标准化423第26章 你的地址是什么 42426.1 无法得到真实的地址 42426.1.1 stl式元素存放 42426.1.2 atl外覆类和cadapt 42526.1.3 获取真实的地址42626.2 在转换过程中发生了什么42726.3 我们返回什么42926.4 你的地址是什么：尾声431第27章 下标索引操作符 43427.1 指针转换与下标索引操作符 43427.1.1 选择隐式转换操作符 43627.1.2 选择下标索弓j操作符 43727.2 错误处理 43727.3 返回值 439第28章 增量操作符44128.1 缺少后置式操作符44228.2 效率443第29章 算术类型44629.1 类定义44629.2 缺省构造 44729.3 初始化(值构造) 44729.4 拷贝构造函数 45029.5 赋值 45029.6 算术操作符 45129.7 比较操作符45229.8 访问值 45229.9 sinteger64 45329.10 截断、提升以及布尔测试45329.10.1 截断45329.10.2 提升 45529.10.3 布尔测试45529.11 算术类型：尾声456第30章 短路458第六部分 扩展c++460第31章 返回值生命期46131.1 返回值生命期问题分类46131.1.1 局部变量46231.1.2 局部静态对象46231.1.3 析构后指针(postdeslructionpointers)46231.2 为何按引用返回46231.3 解决方案l：integer_to_string[] 46231.4 解决方案2tss46531.4.1 declspec(thread)46631.4.2 win32tls 46631.4.3 平台无关的api46931.4.4 rvl47031.5 解决方案3--扩展rvl47031.5.1 解决线程内的rvl.ls问题47131.5.2 rvl47231.6 解决方案4--静态数组大小决议 47231.7 解决方案5--转换垫片47431.8 性能47631.9 rvl：垃圾收集的大胜利47731.10 可能的应用47831.1l 返回值生命期：尾声478第32章 内存一47932.1 内存分类47932.1.1 栈和静态内存47932.1.2 栈扩张48032.1.3 堆内存48132.2 两者之间的折衷48132.2.1 alloca()一48232.2.2 vla 48332.2.3 auto-buffer[]48332.2.4 使用autobuffer48632.2.5 ebo，在哪里48732.2.6 性能48832.2.7 堆、栈以及其他49032.2.8 pod_vector[] 49132.3 配置器 49332.3.1 函数指针49332.3.2 配置器接口49432.3.3 每库初始化(per-libraryinitialization)49532.3.4 每调用指定(per-callspecification)49632.4 内存：尾声一496第33章 多维数组49733.1 激活下标索引操作符49833.2 运行时确定大小49933.2.1 可变长数组49933.2.2 vector[...vector[t]50033.2.3 boost：：multi_array50133.2.4 fixed_array_1／2／3／4d 50133.3 编译期确定大小50533.3.i boost：：array 50633.3.2 static_array1／2／3／4d 0633.4 块访问一50833.4.1 使用std：：filln()50933.4.2 array垫片_size51033.5 性能一51233.5.1 运行期确定大小51333.5.2 编译期确定大小51433.6 多维数组：尾声515第34章 仿函数和区间51634.1 语法混乱51634.2 for_all()51734.2.1 数组51834.2.2 命名51834.3 局部仿函数52034.3.1 手写循环52034.3.2 自定义仿函数52134.3.3 内嵌的仿函数52134.3.4 温和一些52334.3.5 泛化的仿函数：类型隧道(typetunneling)52434.3.6 再进一步，走得太远了52634.3.7 局部仿函数和回调api-52734.4 区间 52934.4.1 区间概念52934.4.2 概念性区间53134.4.3 可迭代区间53334.4.4 区间算法和标签53334.4.5 过滤器53534.4.6 虚伪53634.5 仿函数和区间：尾声536第35章 属性53735.1 编译器扩展53935.2 可供选择的实现方案53935.2.1 将属性的实现分门别类54035.2.2 emo 54035.3 字段属性54135.3.1 field__property_get54135.3.2 field__property_set 54535.3.3 内置武字段属性：尾声 54635.3.4 field_property_gellexternal54635.3.5 field__propertyset--external 54735.3.6 hack掉 54735.4 方法属性 54835.4.1 method_property_get 54835.4.2 method_property_set 55535.4.3 method__property_getset 55535.4.4 谨防无限循环55735.4.5 method_property_get-external 55835.4.6 method_property_set-external56135.4.7 method_property_getset-external56235.5 静态属性一56435.5.1 静态字段属性56435.5.2 内置式静态方法属性56435.5.3 外置式静态方法属性56635.6 虚属性一56735.7 属性的使用56835.7.1 泛化性56835.7.2 错误诊断中的类型替换.56935.8 属性：尾声570附录a 编译器和库572a.1 编译器572a.2 库573a.2.1 boost574a.2.2 stlsoft574a.2.3 其他库574a.3 其他资源575a.3.1 期刊575a.3.2 其他语言575a.3.3 新闯组576附录b “谦虚点，别骄傲”-577b.1 操作符重载577b.2 后悔dry579b.3 偏执式编程579b.4 精神错乱580附录c arturius... 582附录 d随书光盘583尾声584参考书目585

唉，我也要为我自已曾滥用 c++的强大功能而忏悔

Yogi Berra说：“从理论上说，理论与实践是没有任何区别的，但从实践的角度来说，它们之间区别就大了“

1、 所有标量类型(基本类型和指针类型)、POD结构类型、POD联合类型、以及这几种类型的数组、const/volatile修饰的版 本都是POD类型。2、 POD结构/联合类型：一个聚合体（包括class），它的非static成员都不是pointer to class member、 pointer to class member function、非POD结构、非POD联合，以及这些类型的数组、引用、const/ volatile修饰的版本； 并且，此聚合体不能有用户自定义的构造函数、析构函数、拷贝构造函数.3、 POD类型可以具有static成员、成员typedef、嵌套struct/class定义和 成员函数/方法。(C++标准)给出的定义：将对象的各字节拷贝到一个字节数组中，然后再将它重新拷贝到原先的对象所占的存储区中，此时该对象应该具有它原来的值。POD类型的特点：所有POD类型都可以作为union的成员，反之，所有非POD类型都不能作为union的成员。POD特性利用：我们可以利用POD类型特性来判断一个类型是否为POD类型：template<class T> struct must_be_pod{ union { T noname; };};这个模板的意思是，只要类型T是非POD类型，那么编译器将报错，因为T被作为了union的一个成员。VS2008里的测试代码如下：class A{public: A(){} void f() { cout << "A::F" << endl; }protected:private: int i; int j;};template<class T> struct must_be_pod{ union { T noname; };}; must_be_pod<A> a; 编译器会报错：1>member 'must_be_pod<T>::noname' of union 'must_be_pod<T>::<unnamed-tag>' has user-defined constructor or non-trivial default constructor其实POD本质就是与c兼容的数据类型。