手动实例化模板时出错

Question

最近在我的公司，我们遇到了一个错误，我无法理解为什么它实际上是一个错误。对我们来说，这似乎应该编译得很好，并允许我们显式实例化一个 bar::foo 类型的模板。

ma​​iny.cxx

int foo(int);
namespace bar {
  template <typename T> T foo(T a, T){return a;}
}

namespace bar {
  using ::foo;
}

template int bar::foo(int, int);

int main(){
  return 0;
}

g++ 错误

[csteifel@host:~/test]1047 $ g++ mainy.cxx
mainy.cxx:10: error: 'int bar::foo(int, int)' should have been declared inside 'bar'
mainy.cxx:10: error: 'int bar::foo(int, int)' is not declared in '::'

我们已确认这是 gcc 4.8、4.4 和 clang 3.7 中的错误，但它似乎适用于 Visual Studio 2015。

当我们尝试实例化 std::remove 但在 <cstdio> 和 <cstdio> 之前包含 <algorithm> 时遇到了这个问题

namespace std {
   using ::remove;
}

对这里发生的事情有什么想法吗？

Answer 1

看起来这与an ancient bug in gcc 有关，您不能使用ns::func 显式实例化模板，唯一的方法是使用namespace ns { ... func; } 来实现。这只是最近才通过newer gcc your code will compile 修复的。

顺便说一句，与您所说的相反，您的代码compiles with clang 3.7。