c++ - 为什么我们需要 [basic.scope.class]/2？

Question

我理解 [basic.scope.class]/5 中示例中显示的所有错误引用[basic.scope.class]/2 .

[basic.scope.class]/2:

A name N used in a class S shall refer to the same declaration in its context and when re-evaluated in the completed scope of S. No diagnostic is required for a violation of this rule.

但我想知道的是，为什么我们首先需要语言中的这样一条规则？

例如，考虑 [basic.scope.class]/5 中的第一个示例:

如果语言允许这样做，会有什么问题，即 v[i] 下面一个元素的数组

enum { i = 1 };

class X {
  char  v[i];
  enum { i = 2 };
};

以及下面示例中的两个元素的数组？

enum { i = 1 };

class X {
  enum { i = 2 };
  char  v[i];
};

Answer 1

至少有两个原因。

首先，enum { i = 1 }; 可能不会出现在包含定义 X header 的每个 翻译单元中。结果将是 X 的定义冲突。

其次，假设在您的第一个示例中，该类还有一个在数组之后定义的成员函数:

void show() const {
    for (int idx = 0; idx < i; ++idx)
        std::cout << v[idx];
}

编译器应该如何确定这里的 i 应该与 first i 而不是 相同第二?