Modern C++ Design - 现代C++设计
作者: Andrei Alexandrescu
页数: 346页
文件大小: 12.47 MB
处理状态: done_toc_only（扫描版PDF，已提取目录）
书籍简介
《Modern C++ Design》是C++泛型编程领域的里程碑式著作，由Andrei Alexandrescu撰写。本书开创了将设计模式与泛型编程相结合的新范式，提出了”基于策略的设计”（Policy-Based Design）这一核心方法论，并配套开源库Loki实现书中提出的模式。
核心贡献
1. Policy-Based Design（基于策略的设计）
这是本书最重要的理论贡献。传统设计模式往往产生大量类层次结构，而Policy-Based Design通过将不同维度的行为抽象为独立的”策略”（Policy），让客户端通过模板参数组合所需的行为，从而实现高度灵活、可复用的设计。
关键思想：
- 策略类（Policy Class）：封装特定维度的行为
- 组合优于继承：通过模板参数组合策略，而非建立类继承树
- 零开销抽象：编译期多态，无运行时开销
2. Typelist（类型列表）
引入TypeList这一泛型数据结构，允许在编译期操作类型序列，是实现泛型算法的基础设施。TypeList支持：
- 类型过滤（Filter）
- 类型替换（Replace）
- 类型查找（Find）
- 类型拼接（Concat）
3. 泛型设计模式实现
书中展示了如何将经典设计模式重构为泛型版本：
| 模式 | 传统实现 | Policy-Based实现 |
|---|---|---|
| 策略模式 | 虚函数接口 | 模板参数Policy |
| 单例模式 | 静态实例管理 | SingletonHolder模板 |
| 工厂模式 | 虚构造函数 | 工厂Policy |
| 访问者模式 | 双重分派 | 类型分发模板 |
| 原型模式 | clone()虚函数 | TypeErased原型 |
4. Loki库
配套开源库Loki实现了书中提出的所有模式：
- SmartPtr：智能指针家族
- SingletonHolder：线程安全的单例实现
- Factory：泛型工厂框架
- SmallObject：小对象优化分配器
- TypeLists：编译期类型操作
- Bind：函数对象绑定
- Function：函数对象包装
关键章节
- 第一章 泛型设计的介绍：介绍Policy-Based Design的核心思想，对比传统OOP与泛型设计的优劣
- 第二章 策略模式的泛型版本：展示如何用模板替代虚函数实现策略模式
- 第三章 小对象分配：Small Object Allocators的设计与实现
- 第四章 单例模式的泛型实现：SingletonHolder模板的设计
- 第五章 类型列表：TypeList的数据结构与算法
- 第六章 工厂模式：Factory Pattern的泛型实现
- 第七章 访问者模式：Visitor Pattern的编译期替代方案
- 第八章 原型模式：Prototype Pattern的泛型重构
- 第九章 依赖注入：Dependency Injection的Policy-Based实现
- 第十章 Loki库概述：完整介绍Loki库的所有组件
核心概念总结
Policy（策略）
- 封装独立行为的类模板参数
- 通过组合而非继承实现多态
- 编译期替换，零运行时开销
TypeList（类型列表）
- 编译期类型序列的数据结构
- 支持类型过滤、查找、替换等操作
- 泛型算法的基础设施
Small Object Optimization（小对象优化）
- 针对小对象的内存池分配
- 减少内存碎片，提高缓存命中率
- 通过Policy参数化分配策略
Singleton Pattern（单例模式）
- SingletonHolder模板实现
- 支持模板参数定制生命周期管理
- 线程安全版本
与其他知识的关联
- Effective C++：补充了Effective C++中涉及的泛型编程内容
- Modern C++ Design：本书即为此书，Policy-Based Design是其核心
- C++ Concurrency in Action：现代C++并发编程的配套知识
- A Tour of C++：C++语言特性的综合概述
实践建议
- 学习路径：建议先掌握C++模板元编程基础，再阅读本书
- 实践方式：下载Loki库，对照书中代码实践Policy-Based Design
- 应用场景：适用于需要高度灵活性和性能的系统架构设计
- 注意事项：模板代码编译时间较长，调试难度较高
笔记说明
本文档基于扫描版PDF提取的目录信息整理。原书为扫描版本，无内嵌文本层，需OCR处理后才能提取完整内容。因页数较多（346页），全书OCR处理预计耗时约60分钟，超出单次运行时间限制，故标记为done_toc_only状态。
参考资料
- 原著：Modern C++ Design: Generic Programming and Design Patterns Applied (Addison-Wesley, 2001)
- 配套库：Loki (http://loki-lib.sourceforge.net/)