modern c++ design

《Modern C++ Design》是Andrei Alexandrescu撰写的一本关于C++泛型编程和设计模式应用的经典著作。这本书通过深入探讨C++模板技术，展示了如何利用这些技术实现高效且灵活的设计模式。书中介绍了多种创新技术，如template template parameters、策略（policies）为基础的设计、编译时编程（compile-time programming）、递归模板和typelists，这些都是当时C++社区中的新颖概念。 第一部分（第一页）主要讲解基础技术。其中，template template parameters是一种允许模板接受其他模板作为参数的技术，极大地增强了模板的灵活性和可扩展性。策略设计模式则是通过参数化类的行为，使得代码更具可配置性和可重用性。编译时编程涉及在编译阶段执行计算，提高了程序效率。递归模板允许模板自身进行递归实例化，创建出复杂的类型结构。Typelists则是一种用于表示类型列表的工具，常用于编译时元编程。 第二部分（第三页）以Loki库为例，展示了如何将这些技术应用于实际设计模式的实现。Loki库包含了Small-Object Allocation、泛化函数（Generalization Functors）、单例模式（Singleton）、智能指针（Smart Pointers）、对象工厂（Object Factories）、抽象工厂模式（Abstract Factory）、访问者模式（Visitor）和多方法（Multimethods）等。这些设计模式的实现，都是基于前面讨论的基础技术，如模板和策略，使得开发者能够更方便地在项目中应用和扩展这些模式。 设计范式的应用一直是软件工程中的一个重要话题。有人认为它们应该易于理解和使用，而有些人则认为它们过于复杂。Andrei Alexandrescu通过Loki库证明了C++模板可以作为实现设计模式的强大工具，提供了更加灵活和高效的解决方案。尽管对于某些人来说，这些技术可能显得过于理论或激进，但它们已经在实践中展现出了价值，并对C++编程产生了深远影响。 本书的贡献不仅在于推动了C++泛型编程的发展，还在于它将这些高级技术与传统设计模式相结合，为C++程序员提供了一种新的思考和设计问题的方式。通过学习《Modern C++ Design》，开发者能够提升自己的编程技巧，理解如何利用C++模板实现更为复杂和优化的设计，同时也能更好地适应不断发展的C++生态系统。虽然技术的价值并不完全取决于其当前的实用性，但Loki库和书中介绍的概念已经被广泛应用于各种软件项目，证明了它们在现代C++开发中的实用性。