Template Deduction Guide

Template Deduction Guide is used to tell the compiler that the type of the passed parameter(s) should meet the requirement stated by the guide. It usually used alongside with #202204181611. Its replacement will be 202203281200# in C++20.

An example of such usage is shown below:

template<typename Iter>
Vector(Iter, Iter) -> Vector<typename std::iterator_traits<Iterator>::value_type>;

Note: The left-hand side of the statement does not mean to match to the class constructor. It merely serves as a matching guide to the parameters.

Links to this page

C++ Traits

C++ standard libraries contains type_traits and iterator_traits defined in the libraries <type_traits> and <iterator> respectively. They are used heavily in 202204181536# and 202204182011# but soon deem unnecessary due to the introduction of #202203281200 in C++20.
C++ Container

Most of them are iteratable and can be deduced from their built-in 202204182011. The iterator then can iterate through first to last.
C++ Concepts

C++(20) Concepts has superseded the functionalities from #202204181611, #202204181536 and #202204182011. It could be defined as follows using concept keyword:

#metaprogramming #cpp