Perguntas com a marcação «partial-specialization»

Eu sei que a especificação da linguagem proíbe a especialização parcial do template de função. Eu gostaria de saber o motivo pelo qual isso proíbe? Eles não são úteis? template<typename T, typename U> void f() {} //allowed! template<> void f<int, char>() {} //allowed! template<typename T> void f<char, T>() {} //not …

87 c++  language-design  template-specialization  partial-specialization  function-templates 

Eu sei que o código abaixo é uma especialização parcial de uma classe: template <typename T1, typename T2> class MyClass { … }; // partial specialization: both template parameters have same type template <typename T> class MyClass<T,T> { … }; Também sei que o C ++ não permite a especialização …

87 c++  templates  template-specialization  partial-specialization 

Me deparei com esse problema ao tentar me especializar tuple_size/ tuple_elementpara uma classe personalizada em C ++ 17 para ligação estruturada. O código abaixo é compilado no GCC, mas não no clang (ambas as versões de tronco, veja o link abaixo). #include <type_traits> template<typename T, typename... Ts> using sfinae_t = …

9 c++  templates  language-lawyer  template-specialization  partial-specialization