Questions tagged «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 allowed!

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 ++不允许函数模板部分专业化（仅允许完全专业化）。但是我的代码是否意味着我已将函数模板部分专门化用于一个/相同类型参数？因为它适用于Microsoft Visual Studio 2010 Express！如果否，那么您能否解释部分专业化概念？ #include <iostream> using std::cin; using std::cout; using std::endl; template <typename T1, typename T2> inline T1 max …

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 { } 但是Clang（9.0.0）抱怨： error: variable has incomplete type 'Outer::Inner' auto Outer<T>::f(Inner) -> void ^ 我们还可以通过提供Inner以下所有其他专长的定义来规避编译器错误Outer： template<typename T> struct Outer<T>::Inner {}; 或通过f为每个专业分别定义： template<> auto …

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 = sfinae_t<T, typename std::enable_if<Bs>::type...>; template <typename T> struct Test; template <typename T> struct Test<sfinae_v_t<T, std::is_integral_v<T>>> {}; void f() { Test<int> t; } https://godbolt.org/z/ztuRSq 这是clang提供的错误： <source>:13:8: error: class template partial …

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