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

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

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

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

нет вызова соответствующей функции для функции сортировки с шаблонами (C ++)

Я играю с шаблонами, и мне было интересно, почему я получаю ошибку несоответствующей функции при использовании шаблонов. /*selection sort*/ template <typename InputIterator, typename T> void selection_sort(InputIterator first, InputIterator ...

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

C ++ позволяет указывать нетипизированные параметры шаблона, включая указатель функции, тип. Я недавно ...

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

отрим следующий код: 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'}; ...

Частичная спецификация шаблонной функции в C ++ работает, но почему?

Я пытаюсь выяснить, является ли частичная спецификация шаблонных функций частью стандарта C ++ или это что-то специфичное для компилятора. Под частичной спецификацией я подразумеваю указание только тех типов, которые компилятор не может ...

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

 а также

отрим следующую программу: 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

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

Можно ли определить, является ли тип неполным без сбоя компиляции?

Я хочу добиться такого поведения, как sizeof (complete_type) вернет реальный sizeof, а sizeof (incomplete_type) - будет просто 0 Это необходимо для предоставления расширенной информации о типе времени выполнения для связи IPC (между процессами) ...