C++ Templates：完全指南

引言

《C++ Templates: The Complete Guide》（中文译名《C++ Templates：完全指南》）是由三位公认的 C++ 领域专家——David Vandevoorde、Nicolai Josuttis 和 Douglas Gregor 合著的一部基础性著作。2017 年出版的第二版已根据 C++11、C++14 和 C++17 标准进行了全面修订。这不仅是一本教科书，更是一本全面的参考手册，涵盖了模板工作的所有方面——从基本概念到最复杂的元编程技术。

本书内容

本书专注于 C++ 中的模板机制——这是该语言最强大但也最复杂的功能之一。作者循序渐进地阐述了：

• 基础：参数化类型、函数模板、特化。
• 高级主题：可变参数模板、折叠表达式、别名模板。
• 元编程：编译期计算、constexpr、if constexpr。
• Type traits 和 SFINAE：条件性地包含/排除重载。
• 实用技巧：智能指针、策略、traits、工厂。
• 标准库：std::tuple、std::variant、std::optional 及其内部实现。

目标读者

本书面向有经验的 C++ 开发者，他们已能熟练编写代码，但希望更深入地理解模板，并学会使用它们来创建灵活、高效且安全的库。初学者可能会感到困难：本书假设读者已掌握 C++ 语法、内存管理、面向对象编程和基本模板知识。然而，只要有足够的毅力，这本书可以成为迈向高级水平的绝佳跳板。

读者将学到什么

• 如何正确设计模板类和函数。
• 如何使用可变参数模板处理任意数量的参数。
• 如何应用 SFINAE 和 std::enable_if 进行条件编译。
• 如何编写在编译期执行的高效元程序。
• 如何使用 type traits 并创建自定义 traits。
• 标准库容器和智能指针的内部工作原理。
• 如何避免使用模板时的常见错误（实例化问题、两阶段名称查找）。

优势

1. 深度与时效性。 本书涵盖了 C++11/14/17 的所有新特性，包括 auto、decltype、constexpr、if constexpr、fold expressions。这使其成为现代 C++ 不可或缺的读物。

2. 结构与清晰度。 内容分为逻辑部分：基础、实现细节、元编程、实际应用。每一章都包含大量代码示例、解释和注意事项。

3. 作者权威性。 Vandevoorde 是 C++ 标准委员会成员之一，Josuttis 是经典著作《C++ Standard Library》的作者，Gregor 是模板和 Boost 方面的专家。解释质量和表述准确性均处于最高水平。

4. 实用价值。 本书不仅解释理论，还展示了如何在真实项目中应用模板：从创建泛型算法到构建库。

推荐人群

本书是所有以下人士的必读之作：

• 专业编写 C++ 并希望将水平提升至专家级别的人。
• 开发需要灵活性和高性能的库或框架的人。
• 准备应聘高级 C++ 开发职位面试的人。
• 对元编程感兴趣并希望了解现代 C++ 库（Boost、Eigen、Range-v3）工作原理的人。

如果您刚开始学习 C++，请先阅读《C++ Primer》或《Programming: Principles