Class template deduction(since C++17)
Class template deduction(since C++17)
In order to instantiate a class template, every template argument must be known, but not every template argument has to be specified. In the following contexts the compiler will deduce the missing template arguments from the type of the initializer:
- any declaration that specifies initialization of a variable and variable template
std::pair p(2, 4.5 // deduces to std::pair<int, double> p(2, 4.5
std::tuple t(4, 3, 2.5 // same as auto t = std::make_tuple(4, 3, 2.5
std::less l; // same as std::less<void> l;
- new-expressions
template<class T> struct A { A(T,T };
auto y = new A{1,2}; // allocated type is A<int>
- function-style cast expressions
auto lck = std::lock_guard(mtx // deduces to std::lock_guard<std::mutex>
std::copy_n(vi1, 3, std::back_insert_iterator(vi2) // or std::back_inserter(vi2)
std::for_each(vi.begin(), vi.end(), Foo([&](int i) {...}) // deduces Foo<T>, where T
// is the unique lambda type
Automatic deduction guides
When a function-style cast or declaration of a variable uses the name of a class template without an argument list as the type specifier, deduction will proceed as follows:
- for each constructor (or constructor template)
Cideclared in the named primary template (if it is defined), a fictional function templateFi, is constructed, such that
template<class T> struct UniquePtr { UniquePtr(T* t };
UniquePtr dp{new auto(2.0)};
// Set of constructors:
// C1: UniquePtr(T*)
// C2: UniquePtr(const UniquePtr&)
// C3: UniquePtr(UniquePtr&&)
// Set of automatic deduction guides:
// F1: template<class T> UniquePtr<T> F(T *p
// F2: template<class T> UniquePtr<T> F(UniquePtr<T> const&
// F3: template<class T> UniquePtr<T> F(UniquePtr<T> &&
// imaginary class to initialize:
// struct X {
// template<class T> X(T *p // from F1
// template<class T> X(UniquePtr<T> const& // from F2
// template<class T> X(UniquePtr<T> && // from F3
// };
// direct-init of an X object with "new double(2.0)" as the initializer
// selects the constructor that corresponds to the guide F1 with T = double
// For F1 with T=double, the return type is UniquePtr<double>
// result:
// UniquePtr<double> dp{new auto(2.0)}
Or, for a more complex example (note: "S::N" would not compile: scope resolution qualifiers are not something that can be deduced.
template<class T> struct S {
template<class U> struct N {
N(T
N(T, U
template<class V> N(V, U
};
};
S<int>::N x{2.0, 1};
// the automatic deduction guides are (note that T is already known to be int)
// F1: template<class U> S<int>::N<U> F(S<int>::N<U> const&
// F2: template<class U> S<int>::N<U> F(S<int>::N<U> &&
// F3: template<class U> S<int>::N<U> F(int
// F4: template<class U> S<int>::N<U> F(int, U
// F5: template<class U, class V> S<int>::N<U> F(V, U
// Overload resolution for direct-list-init with "{2.0, 1}" as the initializer
// chooses F5 with U=int and V=double.
// The return type is S<int>::N<int>
// result:
// S<int>::N<int> x{2.0, 1};
User-defined deduction guides
The syntax of a user-defined deduction guide is the syntax of a function declaration with a trailing return type, except that it uses the name of a class template as the function name:
| explicit(optional) template-name ( parameter-declaration-clause ) -> simple-template-id ; | | |
|---|
User-defined deduction guides must name a class template and must be introduced within the same semantic scope of the class template (which could be namespace or enclosing class) and, for a member class template, must have the same access, but deduction guides do not become members of that scope.
A deduction guide is not a function and does not have a body. Deduction guides are not found by name lookup and do not participate in overload resolution except for the overload resolution against other deduction guides when deducting class template arguments. Deduction guides cannot be redeclared in the same translation unit for the same class template.
// declaration of the template
template<class T> struct container {
container(T t) {}
template<class Iter> container(Iter beg, Iter end
};
// additional deduction guide
template<class Iter>
container(Iter b, Iter e) -> container<typename std::iterator_traits<Iter>::value_type>;
// uses
container c(7 // OK: deduces T=int using an automatic guide
std::vector<double> v = { /* ... */};
auto d = container(v.begin(), v.end() // OK: deduces T=double
container e{5, 6}; // Error: there is no std::iterator_traits<int>::value_type
The fictional constructors for the purpose of overload resolution (described above) are explicit if they correspond to an automatic deduction guide formed from an explicit constructor or to a user-defined deduction guide that uses the keyword explicit. As always, such constructors are ignored in copy-initialization context:
template<class T> struct A {
explicit A(const T&, ...) noexcept; // #1
A(T&&, ... // #2
};
int i;
A a1 = { i, i }; // error: cannot deduce from rvalue reference in #2,
// and #1 is explicit, and not considered in copy-initialization.
A a2{i, i}; // OK, #1 deduces to A<int> and also initializes
A a3{0, i}; // OK, #2 deduces to A<int> and also initializes
A a4 = {0, i}; // OK, #2 deduces to A<int> and also initializes
template<class T> A(const T&, const T&) -> A<T&>; // #3
template<class T> explicit A(T&&, T&&) -> A<T>; // #4
A a5 = {0, 1}; // error: #3 deduces to A<int&>
// and #1 & #2 result in same parameter constructors.
A a6{0,1}; // OK, #4 deduces to A<int> and #2 initializes
A a7 = {0, i}; // error: #3 deduces to A<int&>
A a8{0,i}; // error: #3 deduces to A<int&>
template<class T> struct B {
template<class U> using TA = T;
template<class U> B(U, TA<U>
};
B b{(int*)0, (char*)0}; // OK, deduces B<char*>
Notes
Class template deduction is only performed if no template arguments are provided. If at least one argument is specified, deduction does not take place.
std::tuple t(1, 2, 3 // OK: deduction
std::tuple<int,int,int> t(1, 2, 3 // OK: all arguments are provided
std::tuple<int> t(1, 2, 3 // Error: partial deduction
Class template deduction of aggregates typically requires deduction guides:
template<class A, class B> struct Agg {A a; B b; };
// automatic guides are formed from default, copy, and move constructors
template<class A, class B> Agg(A a, B b) -> Agg<A, B>;
Agg agg{1, 2.0}; // deduced to Agg<int, double> from the user-defined guide
template <class... T>
array(T&&... t) -> array<std::common_type_t<T...>, sizeof...(T)>;
auto a = array{1, 2, 3u}; // deduced from the user-defined guide
User-defined deduction guides do not have to be templates:
template<class T> struct S { S(T };
S(char const*) -> S<std::string>;
S s{"hello"}; // deduced to S<std::string>
Within the scope of a class template, the name of the template without a parameter list is an injected class name, and can be used as a type. In that case, class argument deduction does not happen and template parameters must be supplied explicitly:
template<class T>
struct X {
template<class Iter> X(Iter b, Iter e) { }
template<class Iter>
auto foo(Iter b, Iter e) {
return X(b, e // no deduction: X is the current X<T>
}
template<class Iter>
auto bar(Iter b, Iter e) {
return X<Iter::value_type>(b, e // must specify what we want
}
};
In overload resolution, guides have precedence over constructors if the conversions are as good, and even if the function template generated from the constructor is more specialized than the one generated from the deduction guide.
template<class T> struct A {
A(T, int* // #1
A(A<T>&, int* // #2
enum { value };
};
template<class T, int N = T::value> A(T&&, int*) -> A<T>; //#3
A a{1,0}; // uses #1 to deduce A<int> and initializes with #1
A b{a,0}; // uses #3 (not #2) to deduce A<A<int>&> and initializes with #1
Rvalue reference to a cv-unqualified template parameter is not a forwarding reference if that parameter is a class template parameter:
template<class T> struct A {
template<class U>
A(T&&, U&&, int* // #1: T&& is not a forwarding reference
// U&& is a forwarding reference
A(T&&, int* // #2: T&& is not a forwarding reference
};
template<class T> A(T&&, int*) -> A<T>; // #3: T&& is a forwarding reference
int i, *ip;
A a{i, 0, ip}; // error, cannot deduce from #1
A a0{0, 0, ip}; // uses #1 to deduce A<int> and #1 to initialize
A a2{i, ip}; // uses #3 to deduce A<int&> and #2 to initialize
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
