C++ Templates: The Complete Guide

Explicitly specifying template arguments on every call to a function template (for example, concat<std::string, int>(s, 3)) can quickly lead to unwieldy code. Fortunately, a C++...

The deduction process compares the types of an argument of a function call with the corresponding parameterized type of a function template and attempts to...

Parameterized types that are considerably more complex than T can be matched to a given argument type. Here are a few examples that are still fairly...

There are two situations in which the pair (A, P) used for deduction is not obtained from the arguments to a function call and the...

Normally, template deduction attempts to find a substitution of the function template parameters that make the parameterized type P identical to type A. However, when...

Template argument deduction applies exclusively to function and member function templates. In particular, the arguments for a class template are not deduced from the arguments...

Default function call arguments can be specified in function templates just as they are in ordinary functions: template<typename T> void init (T* loc, T const& val...

In 1994, John J. Barton and Lee R. Nackman presented a template technique that they called restricted template expansion. The technique was motivated in part...

Template argument deduction for function templates was part of the original C++ design. In fact, the alternative provided by explicit template arguments did not become...