language-design 相关问题

我知道语言规范禁止函数模板的部分专业化。我想知道为什么禁止这样做？它们没有用吗？模板我知道语言规范禁止函数模板的部分专业化。我想知道为什么禁止这样做？它们没有用吗？ 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! 据我所知，C++0x 中已更改。我想这只是一个疏忽（考虑到你总是可以通过更详细的代码获得部分专业化效果，通过将函数放置为类的 static 成员）。如果有的话，你可以查一下相关的DR（缺陷报告）。编辑：检查这一点，我发现其他人也相信这一点，但没有人能够在标准草案中找到任何此类支持。这个SO线程似乎表明C++0x不支持函数模板的部分特化。编辑2：只是我所说的“将函数作为类的static成员”的意思的一个例子： #include <iostream> using namespace std; // 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! void say( char const s[] ) { std::cout << s << std::endl; } namespace detail { template< class T, class U > struct F { static void impl() { say( "1. primary template" ); } }; template<> struct F<int, char> { static void impl() { say( "2. <int, char> explicit specialization" ); } }; template< class T > struct F< char, T > { static void impl() { say( "3. <char, T> partial specialization" ); } }; template< class T > struct F< T, int > { static void impl() { say( "4. <T, int> partial specialization" ); } }; } // namespace detail template< class T, class U > void f() { detail::F<T, U>::impl(); } int main() { f<char const*, double>(); // 1 f<int, char>(); // 2 f<char, double>(); // 3 f<double, int>(); // 4 } 好吧，你确实不能进行部分函数/方法特化，但是你可以进行重载。 template <typename T, typename U> T fun(U pObj){...} // acts like partial specialization <T, int> AFAIK // (based on Modern C++ Design by Alexandrescu) template <typename T> T fun(int pObj){...} 是这样，但不知道是否让你满意。一般来说，根本不建议专门化函数模板，因为重载会带来麻烦。这是来自 C/C++ 用户期刊的一篇好文章：http://www.gotw.ca/publications/mill17.htm 它包含对您问题的诚实回答：一方面，你不能部分专业化它们——几乎只是因为语言说你不能。由于您可以部分专业化类，因此可以使用函子： #include <iostream> template <typename dtype, int k> struct fun { int operator()() { return k; } }; template <typename dtype> struct fun <dtype, 0> { int operator()() { return 42; } }; int main ( int argc , char * argv[] ) { std::cout << fun<float, 5>()() << std::endl; std::cout << fun<float, 0>()() << std::endl; }

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

回答 4 投票 0

在LLVM中声明参数的字符串类型

如何在 LLVM C++ api 中声明字符串参数？例如，要声明双参数，我会这样做： argTypes.push_back(类型::getDoubleTy(*context)) 可以这样做吗...

c++ compiler-construction llvm language-design

回答 1 投票 0

为什么默认模板参数只允许在类模板上使用？

为什么默认模板参数只允许在类模板上使用？为什么我们不能在成员函数模板中定义默认类型？例如：结构我的类{ 模板...

c++ templates language-design c++98

回答 5 投票 0

为什么默认情况下没有调整特征大小？

我定义了一个特征ReadTag，它包含一个可以返回Self的函数：特征 ReadTag { // 错误[E0277]：编译时无法知道“Self”类型值的大小 fn read_out(bu...