Modern C++ Design: Generic Programming and Design Patterns Applied

Modern C++ Design"is an important book. Fundamentally, it demonstrates ` generic patterns¿ or ` pattern templates¿ as a powerful new way of creating extensible designs in C++-a new way to combine templates and patterns that you may never have dreamt was possible, but is. If your work involves C++ design and coding, you should read this book. Highly recommended." -Herb Sutter

"What¿ s left to say about C++ that hasn¿ t already been said? Plenty, it turns out." -From the Foreword by John Vlissides
In "Modern C++ Design," Andrei Alexandrescu opens new vistas for C++ programmers. Displaying extraordinary creativity and programming virtuosity, Alexandrescu offers a cutting-edge approach to design that unites design patterns, generic programming, and C++, enabling programmers to achieve expressive, flexible, and highly reusable code.
This book introduces the concept of generic components-reusable design templates that produce boilerplate code for compiler consumption-all within C++. Generic components enable an easier and more seamless transition from design to application code, generate code that better expresses the original design intention, and support the reuse of design structures with minimal recoding.
The author describes the specific C++ techniques and features that are used in building generic components and goes on to implement industrial strength generic components for real-world applications. Recurring issues that C++ developers face in their day-to-day activity are discussed in depth and implemented in a generic way.

These include:
Policy-based design for flexibility
Partial template specialization
Typelists-powerful type manipulation structures
Patterns such as Visitor, Singleton, Command, and Factories
Multi-method engines

Foreword by Scott Meyers.


Foreword by John Vlissides.


Preface.


Acknowledgments.
I. TECHNIQUES.
1. Policy-Based Class Design.

The Multiplicity of Software Design.
The Failure of the Do-It-All Interface.
Multiple Inheritance to the Rescue?
Templates Bring Hope.
Policies and Policy Classes.
Enriched Policies.
Destructors of Policy Classes.
Optional Functionality Through Incomplete Instantiation.
Combining Policy Classes.
Customizing Structure with Policy Classes.
Compatible and Noncompatible Policies.
Decomposing a Class in Policies.
Summary. 2. Techniques.

Compile-Time Assertions.
Partial Template Specialization.
Local Classes 28 2.4 Mapping Integral Constants to Types.
Type-to-Type Mapping.
Type Selection.
Detecting Convertibility and Inheritance at Compile Time.
A Wrapper Around type_info.
NullType and EmptyType.
Type Traits.
Summary. 3. Typelists.

The Need for Typelists.
Defining Typelists.
Linearizing Typelist Creation.
Calculating Length.
Intermezzo.
Indexed Access.
Searching Typelists.
Appending to Typelists.
Erasing a Type from a Typelist.
Erasing Duplicates.
Replacing an Element in a Typelist.
Partially Ordering Typelists.
Class Generation with Typelists.
Summary.
Typelist Quick Facts. 4. Small-Object Allocation.

The Default Free Store Allocator.
The Workings of a Memory Allocator.
A Small-Object Allocator.
Chunks.
The Fixed-Size Allocator.
The SmallObjAllocator Class.
A Hat Trick.
Simple, Complicated, Yet Simple in the End.
Administrivia.
Summary.
Small-Object Allocator Quick Facts. II. COMPONENTS.
5. Generalized Functors.

The Command Design Pattern.
Command in the Real World.
C11 Callable Entities.
The Functor Class Template Skeleton.
Implementing the Forwarding Functor::operator().
Handling Functors.
Build One, Get One Free.
Argument and Return Type Conversions.
Handling Pointers to Member Functions.
Binding.
Chaining Requests.
Real-World Issues I: The Cost of Forwarding Functions.
Real-World Issues II: Heap Allocation.
Implementing Undo and Redo with Functor.
Summary.
Functor Quick Facts. 6. Implementing Singletons.

Static Data + Static Functions != Singleton.
The Basic C11 Idioms Supporting Singleton.
Enforcing the Singleton's Uniqueness.
Destroying the Singleton.
The Dead Reference Problem.
Addressing the Dead Reference Problem (I):.
Addressing the Dead Reference Problem (II):.
Implementing Singletons with Longevity.
Living in a Multithreaded World.
Putting It All Together.
Working With SingletonHolder.
Summary.
SingletonHolder Class Template Quick Facts. 7. Smart Pointers.

Smart Pointers 101.
The Deal.
Smart Pointers' Storage.
Smart Pointer Member Functions.
Ownership-Handling Strategies.
The Address-of Operator.
Implicit Conversion to Raw Pointer Type.
Equality and Inequality.
Ordering Comparisons.
Checking and Error Reporting.
Smart Pointers to const and const Smart Pointers.
Arrays.
Smart Pointers and Multithreading.
Putting It All Together.
Summary.
SmartPtr Quick Facts. 8. Object Factories.

The Need for Object Factories.
Object Factories in C11: Classes and Objects.
Implementing an Object Factory.
Type Identifiers.
Generalization.
Minutiae.
Clone Factories.
Using Object Factories with Other Generic Components.
Summary.
Factory Class Template Quick Facts.
CloneFactory Class Template Quick Facts. 9. Abstract Factory.

The Architectural Role of Abstract Factory.
A Generic Abstract Factory Interface.
Implementing AbstractFactory.
A Prototype-Based Abstract Factory Implementation.
Summary.
AbstractFactory and ConcreteFactory Quick Facts. 10. Visitor.

Visitor Basics.
Overloading: The Catch-All Function.
An Implementation Refinement: The Acyclic Visitor.
A Generic Implementation of Visitor.
Back to the “Cyclic” Visitor.
Hooking Variations.
Summary.
Visitor Generic Component Quick Facts. 11. Multimethods.

What Are Multimethods?
When Are Multimethods Needed?
Double Switch-on-Type: Brute Force.
The Brute-Force Approach Automated.
Symmetry with the Brute-Force Dispatcher.
The Logarithmic Double Dispatcher.
FnDispatcher and Symmetry.
Double Dispatch to Functors.
Converting Arguments: static_cast or dynamic_cast?
Constant-Time Multimethods: Raw Speed.
BasicDispatcher and BasicFastDispatcher as Policies.
Looking Forward.
Summary.
Double Dispatcher Quick Facts. Appendix A. Minimalist Multithreading Library.

A Critique of Multithreading.
Loki's Approach.
Atomic Operations on Integral Types.
Mutexes.
Locking Semantics in Object-Oriented Programming.
Optional volatile Modifier.
Semaphores, Events, and Other Good Things.
Summary. Bibliography.
Index. 0201704315T04062001