模板实例化的范围解析

Question

我有以下一组课程（我真实情况的最小复制）：

namespace Parent
{
  class A {};

  namespace Nested
  {
    class A {};
  }

  template <typename T>
  class B
  {
    A myA;
  };
}

我希望成员Parent::B::myA 应该被明确地解析为Parent::A 类型。但是，在我的项目的其他地方，我有这个：

namespace Parent
{
  using namespace Nested;

  void foo()
  {
    B<int> myB;
  }
}

在 MSVC 2003 下编译失败：

error C2872: 'A' : ambiguous symbol
        could be 'Test.cpp(5) : Parent::A'
        or       'Test.cpp(9) : Parent::Nested::A'
        Test.cpp(26) : see reference to class template instantiation 'Parent::B<T>' being compiled
        with [ T=int ]

如果我在B::myA 的声明中明确说明，代码将编译，即Parent::A myA;。但是，代码在gcc-4.3.4 下编译。这仅仅是 MSVC 2003 的一个错误，还是我真的应该担心我的模板可能被实例化的范围？

Answer 1

这是所有 MSVC 版本中长期存在的错误。

此问题与 MSVC 模板中名称查找的错误实现有关。

基本上，MSVC 将等到实例化点执行名称查找，而标准明确指出正确的行为是：

• 立即（在声明时）对非依赖符号执行名称查找
• 在依赖符号的实例化时执行名称查找

这种行为使 MSVC 在使用 typename 或 template 时变得松懈，因为它可以完全推断符号性质（将常规变量与函数或类型区分开来），但是当一个目标是与其他编译器的兼容性。

如果可以，请放弃 MSVC。如果你不能......祝你好运。