а также

отрим следующую программу: template <class T> struct A { using X = typename T::X; }; template <class T, typename A<T>::X* = nullptr> void f(T, int); void f(...); template <class T> void g(T, int, typename A<T>::X* = nullptr); // # void g(...); ...

Частичное упорядочение с использованием шаблона функции с неконтролируемым контекстом

Читая другой вопрос, я столкнулся с проблемой частичного упорядочения, которую я сократил до следующего контрольного примера.

Вывести аргумент шаблона из сигнатуры вызова std :: function

Рассмотрим эту функцию шаблона:

 сама специализация, а не шаблон.

.deduct.type] пункт 8 [http://eel.is/c++draft/temp.deduct.type#8]перечисляет все выведенные контексты, но, похоже, не включаетtemplate-name<TT> гдеtemplate-name относится к шаблону класса иTT ссылается на аргумент шаблона шаблона. Это выведенный ...

Сложности, возникающие здесь, в основном такие же, как и в случае унаследованного конструктора. Фейсал Вали (один из других разработчиков метода вывода аргументов шаблонов классов) имеет конкретный план, как заставить такие случаи работать, но комитет C ++ еще не обсуждал это расширение.

#include <utility> template<class T1, class T2> struct mypair : std::pair<T1, T2> { using std::pair<T1, T2>::pair; }; int main() { (void)std::pair(2, 3); // It works (void)mypair(2, 3); // It doesn't work }орошо сформировано? Можно ли вывести ...

 действительно будет пустым в этой ситуации.

отрим следующий код: template <typename... Types> struct list { template <typename... Args> list(Args...) { static_assert(sizeof...(Types) > 0); } }; template <typename... Args> list(Args...) -> list<Args...>; int main() { list l{0, 0.1, 'a'}; ...

PR35107

сно с [temp.deduct.guide/3 [https://timsong-cpp.github.io/cppwp/n4659/temp.deduct.guide#3]]: (...) Руководство по дедукции должно быть объявлено в той же области видимости, что и соответствующий шаблон класса, и, для шаблона класса члена, с ...

@ T.C. Переписал все.

Что такое шаблоны вывода и когда мы должны их использовать?

Стандарт C ++ 17 вводит «руководство по выводу шаблона». Я полагаю, что они имеют какое-то отношение к новому выводу аргументов шаблона для конструкторов, пр...

Сокращенный шаблон функции и шаблон функции с параметром пересылки

Каковы различия междушаблоны функций с опорными параметрами