Запитання з тегом «template-specialization»

Я знаю, що специфікація мови забороняє часткову спеціалізацію шаблону функції. Я хотів би знати обгрунтування, чому це забороняє? Вони не корисні? template<typename T, typename U> void f() {} //allowed! template<> void f<int, char>() {} //allowed! template<typename T> void f<char, T>() {} //not allowed! template<typename T> void f<T, int>() {} //not …

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

Я знаю, що наведений нижче код - це часткова спеціалізація класу: template <typename T1, typename T2> class MyClass { … }; // partial specialization: both template parameters have same type template <typename T> class MyClass<T,T> { … }; Також я знаю, що C ++ не дозволяє часткову спеціалізацію шаблону функцій …

87 c++  templates  template-specialization  partial-specialization 

Припустимо, я заявив: template <typename T> void foo(T& t); Тепер, в чому різниця між template <> void foo<int>(int& t); і template void foo<int>(int& t); семантично? І чи мають шаблон-без-дужок та шаблон-з-порожніми дужками іншу семантику в інших контекстах? Пов’язане з: Як змусити конкретний екземпляр шаблону C ++ створити екземпляр?

77 c++  templates  template-specialization 

Дано такий шаблон класу: template<typename T> struct Outer { struct Inner; auto f(Inner) -> void; }; ми визначаємо Innerокремо для кожної спеціалізації Outer: template<> struct Outer<int>::Inner {}; template<> struct Outer<double>::Inner {}; а потім fодин раз визначити функцію члена для всіх спеціалізацій Outer: auto Outer<T>::f(Inner) -> void { } але Кланг …

17 c++  templates  language-lawyer  template-specialization  incomplete-type 

Я зіткнувся з цим питанням, намагаючись спеціалізуватися tuple_size/ tuple_elementдля спеціального класу на C ++ 17 для структурованого прив’язки. Нижче код компілюється в GCC, але не в clang (обидві версії магістралі, див. Посилання нижче). #include <type_traits> template<typename T, typename... Ts> using sfinae_t = T; template<typename T, bool... Bs> using sfinae_v_t = …

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