C++ Templates

Template Parameters. Default Template Arguments. Template Arguments. Function Template Arguments. Type Arguments. Nontype Arguments. Template Template Arguments. Equivalence. Friends. Friend Functions. Friend Templates. Afternotes. 9. Names in Templates. Name Taxonomy. Looking Up Names. Argument-Dependent Lookup. Friend Name Injection. Injected Class Names. Parsing Templates. Context Sensitivity in Nontemplates. Dependent Names of Types. Dependent Names of Templates. Dependent Names in Using-Declarations. ADL and Explicit Template Arguments. Derivation and Class Templates. Nondependent Base Classes. Dependent Base Classes. Afternotes. 10. Instantiation. On-Demand Instantiation. Lazy Instantiation. The C++ Instantiation Model. Two-Phase Lookup. Points of Instantiation. The Inclusion and Separation Models. Looking Across Translation Units. Examples. Implementation Schemes. Greedy Instantiation. Queried Instantiation. Iterated Instantiation. Explicit Instantiation. Afternotes. 11. Template Argument Deduction. The Deduction Process. Deduced Contexts. Special Deduction Situations. Allowable Argument Conversions. Class Template Parameters. Default Call Arguments. The Barton-Nackman Trick. Afternotes. 12. Specialization and Overloading. When "Generic Code" Doesn't Quite Cut It. Transparent Customization. Semantic Transparency. Overloading Function Templates. Signatures. Partial Ordering of Overloaded Function Templates. Formal Ordering Rules. Templates and Nontemplates. Explicit Specialization. Full Class Template Specialization. Full Function Template Specialization. Full Member Specialization. Partial Class Template Specialization. Afternotes. 13. Future Directions. The Angle Bracket Hack. Relaxed typename Rules. Default Function Template Arguments. String Literal and Floating-Point Template Arguments. Relaxed Matching of Template Template Parameters. Typedef Templates. Partial Specialization of Function Templates. The typeof Operator. Named Template Arguments. Static Properties. Custom Instantiation Diagnostics .. Overloaded Class Templates. List Parameters. Layout Control. Initializer Deduction. Function Expressions. Afternotes. III. TEMPLATES AND DESIGN. 14. The Polymorphic Power of Templates. Dynamic Polymorphism. Static Polymorphism. Dynamic versus Static Polymorphism. New Forms of Design Patterns. Generic Programming. Afternotes. 15. Traits and Policy Classes. An Example: Accumulating a Sequence. Fixed Traits. Value Traits. Parameterized Traits. Policies and Policy Classes. Traits and Policies: What's the Difference? Member Templates versus Template Template Parameters. Combining Multiple Policies and/or Traits. Accumulation with General Iterators. Type Functions. Determining Element Types. Determining Class Types. References and Qualifiers. Promotion Traits. Policy Traits. Read-only Parameter Types. Copying, Swapping, and Moving. Afternotes. 16. Templates and Inheritance. Named Template Arguments. The Empty Base Class Optimization (EBCO). Layout Principles. Members as Base Classes. The Curiously Recurring Template Pattern (CRTP). Parameterized Virtuality. Afternotes. 17. Metaprograms. A First Example of a Metaprogram. Enumeration Values versus Static Constants. A Second Example: Computing the Square Root. Using Induction Variables. Computational Completeness. Recursive Instantiation versus Recursive Template Arguments. Using Metaprograms to Unroll Loops. Afternotes. 18. Expression Templates. Temporaries and Split Loops. Encoding Expressions in Template Arguments. Operands of the Expression Templates. The Array Type. The Operators. Review. Expression Templates Assignments. Performance and Limitations of Expression Templates. Afternotes. IV. ADVANCED APPLICATIONS. 19. Type Classification. Determining Fundamental Types. Determining Compound Types. Identifying Function Types. Enumeration Classification with Overload Resolution. Determining Class Types. Putting It All Together. Afternotes. 20. Smart Pointers. Holders and Trules. Protecting Against Exceptions. Holders. Holders as Members. Resource Acquisition Is Initialization. Holder Limitations. Copying Holders. Copying Holders Across Function Calls. Trules. Reference Counting. Where Is the Counter? Concurrent Counter Access. Destruction and Deallocation. The CountingPtr Template. A Simple Noninvasive Counter. A Simple Invasive Counter Template. Constness. Implicit Conversions. Comparisons. Afternotes. 21. Tuples. Duos. Recursive Duos. Number of Fields. Type of Fields. Value of Fields. Tuple Construction. Afternotes. 22. Function Objects and Callbacks. Direct, Indirect, and Inline Calls. Pointers and References to Functions. Pointer-to-Member Functions. Class Type Functors. A First Example of Class Type Functors. Type of Class Type Functors. Specifying Functors. Functors as Template Type Arguments. Functors as Function Call Arguments. Combining Function Call Parameters and Template Type Parameters. Functors as Nontype Template Arguments. Function Pointer Encapsulation. Introspection. Analyzing a Functor Type. Accessing Parameter Types. Encapsulating Function Pointers. Function Object Composition. Simple Composition. Mixed Type Composition. Reducing the Number of Parameters. Value Binders. Selecting the Binding. Bound Signature. Argument Selection. Convenience Functions. Functor Operations: A Complete Implementation. Afternotes. APPENDIXES. A: The One-Definition Rule. Translation Units. Declarations and Definitions. The One-Definition Rule in Detail. One-per-Program Constraints. One-per-Translation Unit Constraints. Cross-Translation Unit Equivalence Constraints. B: Overload Resolution. When Does Overload Resolution Kick In? Simplified Overload Resolution. The Implied Argument for Member Functions. Refining the Perfect Match. Overloading Details. Prefer Nontemplates. Conversion Sequences. Pointer Conversions. Functors and Surrogate Functions. Other Overloading Contexts. Bibliography. Newsgroups. Books and Web Sites. Glossary. Index. 0201734842T10072002