Como fornecer guia de dedução para a classe de modelo aninhado?

De acordo com [temp.deduct.guide/3 [https://timsong-cpp.github.io/cppwp/n4659/temp.deduct.guide#3]]: (...) Um guia de dedução deve ser declarado no mesmo escopo que o modelo de classe correspondente e, para um modelo de classe membro, com o ...

Existe uma maneira de deduzir o valor de um parâmetro de modelo de ponteiro de função?

Por que a dedução automática e de tipo de modelo é diferente para inicializadores armados?

Eu entendo que, dado um inicializador apoiado,

Deduzir o argumento de modelo da assinatura de chamada std :: function

Considere esta função de modelo:

Deduzir parâmetro de modelo não-tipo

possível deduzir um parâmetro de modelo não-tipo de um parâmetro de função de model Considere este modelo simples: template <int N> constexpr int factorial() { return N * factorial<N - 1>(); } template <> constexpr int factorial<0>() { return ...

Não é possível deduzir o tipo de modelo

Estou tentando passar um iterador como um parâmetro de modelo para um método de modelo, mas o compilador reclama que: error C2783: 'void Test::Assert(std::vector<T>::const_iterator)': could not deduce template argument for 'T'O código que produz ...

O nome do modelo <TT> é um contexto deduzido?

[temp.deduct.type] parágrafo 8 [http://eel.is/c++draft/temp.deduct.type#8]lista todos os contextos deduzidos, mas parece não incluirtemplate-name<TT> Ondetemplate-name refere-se a um modelo de classe eTT refere-se a um argumento de modelo de ...

Template Falha na dedução de argumentos e parâmetros de função / incompatibilidade de argumentos

Considere o seguinte programa: 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 ...

Modelo de função abreviado vs. modelo de função com parâmetro de referência de encaminhamento

Quais são as diferenças entremodelos de função com parâmetros de referência de encaminhamento template<typename T> void Universal_func(T && a) { }emodelos de função abreviados? void auto_fun(auto && a) { }Posso substituirUniversal_func ...

nenhuma chamada de função correspondente para a função de classificação de seleção com modelos (C ++)