从3.4.3.1/1中有这样一句话:
如果限定符标识符的嵌套名称指定了一个类,则在嵌套名称指定符之后指定的名称将在该类的范围内查找。
但是在3.4.3.1/1中进一步说明:
名称应该代表该类或其基类之一的一个或多个成员。
而在3.3.8/1中又说:
在类中声明的名称的潜在作用域不仅包括名称的声明位置后面的声明区域,还包括该类中所有函数体、默认参数、异常规范以及非静态数据成员的初始化列表(包括嵌套类中的这些内容)。
这意味着基类不包含在派生类的作用域中。因此,需要重新修订3.4.3.1/1:
如果限定符标识符的嵌套名称指定了一个类,则在嵌套名称指定符之后指定的名称将在该类的范围和其基类的范围内查找。
我理解的对吗?
如果限定符标识符的嵌套名称指定了一个类,则在嵌套名称指定符之后指定的名称将在该类的范围内查找。
但是在3.4.3.1/1中进一步说明:
名称应该代表该类或其基类之一的一个或多个成员。
而在3.3.8/1中又说:
在类中声明的名称的潜在作用域不仅包括名称的声明位置后面的声明区域,还包括该类中所有函数体、默认参数、异常规范以及非静态数据成员的初始化列表(包括嵌套类中的这些内容)。
这意味着基类不包含在派生类的作用域中。因此,需要重新修订3.4.3.1/1:
如果限定符标识符的嵌套名称指定了一个类,则在嵌套名称指定符之后指定的名称将在该类的范围和其基类的范围内查找。
我理解的对吗?