C++歧义场景下限定ID类成员访问的编译器正确性判定

问题场景 #

相关测试代码如下：

template<int N> struct A{ int v = N; using D = A; };
struct B : A<1>, A<2> {};
using D = A<1>;
int main() { return B{}.D::v; }

标准规则依据 #

根据C++标准 [basic.lookup.classref] 第4条规定：

如果类成员访问中的id-expression是形如class-name-or-namespace-name::...的限定ID（qualified-id），那么.或->运算符后的class-name-or-namespace-name首先在对象表达式所属类中执行查找（参考[class.member.lookup]），如果找到对应名称则直接使用，否则在整个后缀表达式的上下文中执行查找。

规则解读 #

这里的核心判定逻辑是：类内查找出现歧义 ≠ 未找到名称。
在上述示例中，对B类内的D执行成员查找时，会分别从A<1>和A<2>两个基类中找到两个不同的D类型别名，按照[class.member.lookup]的规则，此时查找结果为歧义，属于「已找到名称但结果不合法」的情况，查找流程直接终止，不会触发「未找到则回退到外部作用域查找」的逻辑，因此应当直接抛出编译错误。
GCC的错误在于将「查找结果歧义」判定为「未找到名称」，因此错误回退到了全局作用域查找D，不符合标准规定。

内容的提问来源于stack exchange，提问作者Fedor