继承和成员函数模板重载

Question

我尝试用 clang（3.0 版）编译以下代码，但它给了我这个错误

error: no matching member function for call to 'a'

在电话__a.a<0>() 中。然后我尝试使用 g++（版本 4.2.1），它可以按预期编译和工作（打印出 1 2）。

#include <iostream>

struct A {
  template <int> int a() { return 1; }
};

struct B: A {
  using A::a;
  template <int,int> int a() { return 2; }
};

int main(int, char **) {
  B __a;
  std::cout << __a.a<0>() << " "  << __a.a<0,0>() << std::endl;
  return 0;
}

我尝试查看标准，但我没有找到任何解释编译器正确行为的东西。现在，我的问题是哪个是正确的行为，如果 clang 工作正常，我如何修改我的代码以按预期工作？

Answer 1

深入研究 C++03 和 C++11 标准，看起来代码有效且格式正确并不好。 C++03 似乎允许这样做，而 C++11 标准措辞的更改似乎不允许这样做。

§7.3.3 [namespace.udecl] (Both standards)

p12 (C++03) 当 using-declaration 将基类中的名称带入派生类作用域时，派生类中的成员函数会覆盖和/或隐藏具有相同名称的成员函数基类中的名称和参数类型（而不是冲突）。

请注意，此措辞并未提及任何成员函数模板。

p15 (C++11) 当 using-declaration 将基类中的名称带入派生类作用域时，派生类中的成员函数和成员函数模板会覆盖和/或隐藏成员基类中具有相同名称、参数类型列表 (8.3.5)、cv-qualification 和 ref-qualifier（如果有）的函数和成员函数模板（而不是冲突）。

注意新措辞中提到的成员函数模板。另请注意，确定派生类成员是否覆盖/隐藏基类成员的列表并未提及成员函数模板的 template-parameter-list 作为标识点，而是为此目的而忽略。

我的解释可能完全错误，但似乎 Clang 是这里的合规编译器，根据新的措辞，GCC 和 MSVC10 不合规。