关于函数名查找的困惑

Question

我对标准中的一些规则感到困惑。我会在这里引用它们：

[basic.lookup.argdep]:

令 X 为 非限定查找 生成的查找集，让 Y 为参数相关查找（定义如下）生成的查找集。

所以上面这句话的意思是集合X是由unqualified lookup创建的。然后我们看看非限定查找的规则：

[basic.lookup.unqual]:

在 [basic.lookup.unqual] 中列出的所有情况下，将按照每个相应类别中列出的顺序搜索范围以查找声明； 一旦找到名称的声明，名称查找就会结束。

强调的部分“一旦找到名称的声明，名称查找就结束”表示一旦找到名称，查找就停止。

所以我的问题是：

void func(int){}
void func(double){}
int main(){
  func(0);
}

考虑上面的代码。 fun 的名称以非限定方式使用。因此执行不合格的查找规则。因此，一旦找到func(double) 或func(int)，就会停止查找。那么，为什么func 可以重载，即候选函数集同时包含func(int) 和func(double)？它不与不合格的查找规则相矛盾吗？如果我遗漏了什么，请纠正我。

Answer 1

合理的问题。相关部分是“按列出的顺序搜索范围以查找声明”。

在伪代码中

for (auto scope: scopes)
{
   if (scope.contains(name))
      return scope;
}
throw ill_formed(name);

一旦找到包含name 的范围，就会选择该范围。不会搜索列表中的其他范围。即使name 出现在该范围内，它也不会参与重载决议。

但是，在您的示例中，所选范围包含的不是一个而是两个 func 声明，因此仍然会发生重载决议。