具有继承的嵌套类的名称查找

Question

这是否保证可以工作：

struct A
{
  struct Gold {};
};

struct B : public A
{
  typedef Gold BaseGold;
  struct Gold {};
};

struct C : public B
{
  typedef Gold BaseGold;
  struct Gold {};
};

static_assert(is_same<B::BaseGold, A::Gold>::value, "Not the right treasure!");
static_assert(is_same<C::BaseGold, B::Gold>::value, "Not the right treasure!");

它似乎可以在 VS2010 上工作。显然它依赖于微妙的声明顺序/名称查找规则，所以我想知道标准在这件事上说了些什么......

Answer 1

未定义的行为。

3.3.7/1

以下规则描述了类中声明的名称范围：

2) 类 S 中使用的名称 N 应在其上下文中以及在 S 的完整范围内重新评估时引用相同的声明。违反此规则不需要进行诊断。

Answer 2

由于还没有引用，我一直在玩你的例子：

gcc 4.5.1 和 Clang 3.0 都接受代码，如下所示。

现在，我们只需要有人来挖掘出一个权威的答案。尽管 Clang、gcc 和 VC++ 都同意（不是那么频繁），但这似乎是有意为之。

在 ideone (4.5.1) 上：

#include <utility>

struct A
{
  struct Gold {};
};

struct B : public A
{
  typedef Gold BaseGold;
  struct Gold {};
};

struct C : public B
{
  typedef Gold BaseGold;
  struct Gold {};
};

static_assert(std::is_same<B::BaseGold, A::Gold>::value, "Not the right treasure!");
static_assert(std::is_same<C::BaseGold, B::Gold>::value, "Not the right treasure!");

在 Clang：

#include <stdio.h>

template <typename T, typename U>
struct is_same { enum { value = false }; };

template <typename T>
struct is_same<T,T> { enum { value = true }; };

struct A
{
  struct Gold {};
};

struct B : public A
{
  typedef Gold BaseGold;
  struct Gold {};
};

struct C : public B
{
  typedef Gold BaseGold;
  struct Gold {};
};

int main() {
  if (!is_same<B::BaseGold, A::Gold>::value) {
    printf("oups");
  }
  if (!is_same<C::BaseGold, B::Gold>::value) {
    printf("oups");
  }
}

Clang 输出（如预期）：

define i32 @main() nounwind readnone {
entry:
  ret i32 0
}