Modern C++ Design: Generic Programming and Design Patterns Applied (Paperback)

Andrei Alexandrescu




Achieve more with C++ than you ever imagined possible!

  • Introduces generic components, which offer breakthrough power for maximizing expressiveness, flexibility, and reuse of code.
  • Readers will learn exciting, powerful new C++ idioms that will help them master the most modern library writing techniques.
  • Forewords by Scott Meyers (Effective C++), one of the world's leading C++ experts, and by John Vlissides, of the IBM T.J. Watson Research center, one of the world's leading patterns experts.
In Modern C++ Design, Andrei Alexandrescu opens new vistas for C++ programmers. Displaying extraordinary creativity and virtuosity, Alexandrescu offers a cutting-edge approach to software design that unites design patterns, generic programming, and C++, enabling programmers to achieve expressive, flexible, and highly reusable code. The book introduces the concept of generic components, reusable design templates that 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 then shows how to apply this approach to recurring, real-world issues that C++ programmers face in their day-to-day activity. All code is available on the Web, along with Alexandrescu's downloadable Loki C++ library, which provides powerful out-of-the-box functionality for virtually any C++ project. For experienced C++ programmers who have at least some familiarity with the Standard Template Library (STL).

Andrei Alexandrescu is a development manager with RealNetworks, Inc. who specializes in large scale C++ development projects. He is a columnist for C/C++ User's Journal, and was formerly a columnist for C++ Report. Andrei's innovative work with C++ has earned him the respect of leaders throughout the worldwide C++ community.

Back to Top

Appropriate Courses

C++--Intermediate Programming.

Back to Top

Table Of Contents

Foreword by Scott Meyers.
Foreword by John Vlissides.


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.

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.

3. Typelists.
The Need for Typelists.
Defining Typelists.
Linearizing Typelist Creation.
Calculating Length.
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.
Typelist Quick Facts.

4. Small-Object Allocation.
The Default Free Store Allocator.
The Workings of a Memory Allocator.
A Small-Object Allocator.
The Fixed-Size Allocator.
The SmallObjAllocator Class.
A Hat Trick.
Simple, Complicated, Yet Simple in the End.
Small-Object Allocator Quick Facts.


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.
Chaining Requests.
Real-World Issues I: The Cost of Forwarding Functions.
Real-World Issues II: Heap Allocation.
Implementing Undo and Redo with Functor.
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.
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.
Smart Pointers and Multithreading.
Putting It All Together.
SmartPtr Quick Facts.

8. Object Factories.
The Need for Object Factories.
Object Factories in C11: Classes and Objects.
Implementing an Object Factory.
Type Identifiers.
Clone Factories.
Using Object Factories with Other Generic Components.
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.
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.
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.
Double Dispatcher Quick Facts.

Appendix A. Minimalist Multithreading Library.
A Critique of Multithreading.
Loki's Approach.
Atomic Operations on Integral Types.
Locking Semantics in Object-Oriented Programming.
Optional volatile Modifier.
Semaphores, Events, and Other Good Things.

Index. 0201704315T04062001

Back to Top