3.4.1 非限定名称查找和函数重载

Question

我读过关于非限定名称查找的内容，但我对函数重载有一个误解。在N3797中说：

在 3.4.1 中列出的所有情况下，都会在范围内搜索 按各个类别中列出的顺序声明； 一旦找到名称的声明，名称查找就会结束。

考虑以下代码sn-p：

#include <stdio.h>

void foo(int)
{
    printf("foo(int)\n");
}

void foo()
{
    printf("foo(void)\n");
}

int main()
{
    foo();
}

这个程序显然打印了foo(void)。在这种情况下，名称foo 将在范围内搜索声明。并且让 foo 的第一个成立的定义是

void foo(int)
{
    printf("foo(int)\n");
}

为什么程序找到名字后还要继续寻找被调用函数的最佳重载。

Answer 1

来自标准：

Name lookup may associate more than one declaration with a name if  
it finds the name to be a function name.  Overload resolution (13.3) takes
place after name lookup has succeeded. 

所以首先将可能的候选者整理出来，然后使用最合适的重载。

一旦找到名称的声明，名称查找就结束并不意味着它在找到第一个声明时返回。它累积范围内所有匹配的名称，然后使用最合适的一个。在方法的情况下，如果它们都不能使用，那么它会出错，而不是在任何封闭范围内搜索。考虑以下代码：

namespace  A
{
    void f(double x){cout<<"A::f(double)\n";}

    void f(string s){cout<<"A::f(string)\n";}

    namespace B
    {
        void f(int x){cout<<"B::f\n";}

        void call()
        {
            f(10); // calls B::f
            f(10.5); // calls B::f even if better matching method is present in A
            f("Hi"); // error, does not search in A
        }
    }
}