使用具有相同参数的不同模板模板参数重载函数时出错

我有一个类，它获取两个模板模板参数，并使用一个参数重载一个函数，该参数是一个或另一个模板模板参数，但两次都使用相同的模板参数：

template<template<typename> class TemplArgA, template<typename> class TemplArgB>
class CompileError {
public:
  void func(TemplArgA<int> x) {}
  void func(TemplArgB<int> x) {}
};

我正在使用 VC2010 并得到

error C2535: 'void CompileError<TemplArgA,TemplArgB>::func(TemplArgA<int>)': member function already defined or declared

编译上述代码示例时（甚至不在模板实例化时，只是在代码中包含上述行就已经导致编译错误）。

相比之下，这些编译得很好：

template<class TemplArgA, class TemplArgB>
class Compiles {
public:
  void func(TemplArgA x) {}
  void func(TemplArgB x) {}
};

template<template<typename> class TemplArgA, template<typename> class TemplArgB>
class AlsoCompiles {
public:
  void func(TemplArgA<int>    x) {}
  void func(TemplArgB<double> x) {}
};

知道我做错了什么吗？

似乎用 clang++ 编译得很好，所以我想知道这是否可能是 VC2010 中的一个错误...如果是这样：知道如何解决它吗？

没得选，必须用VC2010:(

如果是这样：知道如何解决这个问题吗？

所以，你可以尝试

template<template<typename> class TemplArgA, template<typename> class TemplArgB>
class CompileError {
public:
void func(TemplArgA<int> x) {}
void func(TemplArgB<int> x,void* workaround = 0) {}

当然，这并不严格等同于您的原始代码（因为在 TemplArgA==TemplArgB 情况下的函数实例化之前您不会收到错误；我不知道这是否与您相关）

但在真实的代码中，我不仅有 TemplArgA 和 TemplArgB，还有 4 个模板模板参数（比如 TemplArgA 到 TemplArgD）——我不认为我可以应用解决方法？

你只需要说服编译器这些重载是不等价的：

template<int> struct workaround_t{};

void func(TemplArgA<int> x, workaround_t<0>* workaround = 0) {}
void func(TemplArgB<int> x, workaround_t<1>* workaround = 0) {}
void func(TemplArgC<int> x, workaround_t<2>* workaround = 0) {}
//...