In the C++ 17 and C++ 20 Working Drafts of the C++ Standard the deduction guide for the class template std::array is defined the following way template<class T, class... U> array(T, U...) -&g...

For some reasons, I've always thought that deduction guides must have the same noexcept-ness of the constructor to which they refer. For example: template<typename T> struct clazz { clazz(co...

All the std::make_ are made redundant by C++17 with the introduction of Class template argument deduction (except make_unique and make_shared). So what is the point of std::make_optional? As far as...

With C++20, it is possible to have deduction guidelines generated for an alias template (See section "Deduction for alias templates" at https://en.cppreference.com/w/cpp/language/class_te...

I want to make an NDArray template which has a fixed dimension, but can be resized across each dimension. My question is how to make it be able to deduce the dimensions in the constructor according...

Suppose I want to make a new deduction guide making the following possible ? std::string str; std::basic_string_view sv = str; Would that be an Ok customization ?