c++ - 当我尝试部分特化函数模板时，为什么我的程序不工作？

Question

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

#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”:非法使用显式模板参数

(在这种情况下，对通用模板的主体进行了注释，但没有任何区别)

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

非常感谢任何建议

Answer 1

在 C++ 中你不能做 partial specialization for functions .考虑将您的函数移动到一个类中。