2

我是模板元编程的初学者，试图实现生成多个版本的相似但略有不同的代码：

#include <iostream>

enum Type
{
   a1,
   a2
};
enum Style
{
   b1,
   b2
 };

 template<Type,Style> 
 void doSomething();
 {
   std::cout<<" some rubbish\n";
 };

完全专业化效果很好：

template<> 
void doSomething<a1,b2>()
{
   std::cout<<" this is my template parameters one :" <<a1<< " and  two:"<<b2<<std::endl;
 }

int main(int argc, char* argv[])
{
  doSomething<a1,b1>();
  doSomething<a1,b2>();

   return 0;
}

: 一些垃圾

：这是我的模板参数一：0 和二：1

但是像下面这样的部分专业化失败了：

 template<Style Some> 
  void doSomething<a1,Some>()
 {
  // here I want to use sub-template on some: e.g do_other<Some>
 }

错误：错误 C2768：“DoSomething”：非法使用显式模板参数

（在这种情况下，对通用模板的主体进行了注释，尽管它没有任何区别）

这种专业化在所有样本中都适用于部分专业化，但对我不起作用。这让我很困惑。

非常感谢任何建议

4

2 回答 2

2

在 C++ 中，您不能对函数进行部分特化。考虑将你的函数移动到一个类中。

于 2011-12-02T13:42:53.170 回答
0

C++ Priorities 函数对您的类型使用特化，其余由普通模板函数处理。

于 2011-12-02T13:46:20.647 回答