符合条件的 declarator-id 后的名称查找

Question

秒。 3.4.3/3 说：

在声明符 id 是限定 id 的声明中，名称 在声明的qualified-id之前使用，在 定义命名空间范围；查找限定 ID 后面的名称 在成员的类或命名空间的范围内。

有一个来自 3.4.3/3 N3797 的代码示例：

class X { };
class C {
    class X { };
    static const int number = 50;
    static X arr[number];
};
X C::arr[number];// ill-formed:
                 // equivalent to: ::X C::arr[__C::number__];
                 // not to: C::X C::arr[__C::number__];

但我认为这不是真的，因为X C::arr[number] 中使用的非限定名称可以在封闭范围内找到，但X C::arr[C::number] 并未在封闭范围内搜索number。是不是笔误？

Answer 1

据我所知，示例是正确的，并且直接来自示例之前的段落：

在 declarator-id 是限定 ID 的声明中，names 在声明的qualified-id之前使用的在 定义命名空间范围；

所以找到的X 将是::X 而不是C::X，因为它在qualified-id 之前

和：

名称跟在限定ID之后被查看 在成员的类或命名空间范围内

所以number 将是C::number，因为它在qualified-id 之后。