You're reading from Hands-On Design Patterns with C++ Solve common C++ problems with modern design patterns and build robust applications

Product type Paperback

Published in Jul 2023

Publisher Packt

ISBN-13 9781804611555

Length 626 pages

Edition 2nd Edition

Languages

C++

Concepts

Design Patterns

Author (1):

Fedor G. Pikus

Preface

1. Part 1: Getting Started with C++ Features and Concepts

2. Chapter 1: An Introduction to Inheritance and Polymorphism FREE CHAPTER

3. Chapter 2: Class and Function Templates

4. Chapter 3: Memory and Ownership

5. Part 2: Common C++ Idioms

6. Chapter 4: Swap – from Simple to Subtle

7. Chapter 5: A Comprehensive Look at RAII

8. Chapter 6: Understanding Type Erasure

9. Chapter 7: SFINAE, Concepts, and Overload Resolution Management

10. Part 3: C++ Design Patterns

11. Chapter 8: The Curiously Recurring Template Pattern

12. Chapter 9: Named Arguments, Method Chaining, and the Builder Pattern

13. Chapter 10: Local Buffer Optimization

14. Chapter 11: ScopeGuard

15. Chapter 12: Friend Factory

16. Chapter 13: Virtual Constructors and Factories

17. Chapter 14: The Template Method Pattern and the Non-Virtual Idiom

18. Part 4: Advanced C++ Design Patterns

19. Chapter 15: Policy-Based Design

20. Chapter 16: Adapters and Decorators

21. Chapter 17: The Visitor Pattern and Multiple Dispatch

22. Chapter 18: Patterns for Concurrency

23. Assessments

24. Index

25. Other Books You May Enjoy

Chapter 7, SFINAE, Concepts, and Overload Resolution Management

For each function call, it is the set of all functions with the specified name that are accessible from the call location (the accessibility may be affected by the namespaces, nested scopes, and so on).
It is the process of selecting which function in the overload set is going to be called, given the arguments and their types.
For template functions and member functions (and class constructors in C++17), type deduction determines the types of template parameters from the types of the function arguments. For each parameter, it may be possible to deduce the type from several arguments. In this case, the results of this deduction must be the same, otherwise, the type deduction fails. Once the template parameter types are deduced, the concrete types are substituted for the template parameters in all arguments, the return type, and the default arguments. This is a type substitution.
Type substitution, described...