泛型 lambda 与泛型函数给出不同的行为

Question

以下代码为例

#include <algorithm>

namespace baz {
    template<class T>
    void sort(T&&){}
}

namespace boot {
    const auto sort = [](auto &&){};
}

void foo (){
    using namespace std;
    using namespace baz;
    sort(1);
}

void bar(){
    using namespace std;
    using namespace boot;
    sort(1);
}

我预计既然foo 已编译，那么bar 也应编译。令我惊讶的是，foo 编译正确，bar 对sort 函数的模糊调用存在问题。我在这里做一些非法的事情还是编译器应该采取的正确方式？如果是这样，为什么会如此不同。我虽然可以将泛型 lambda 视为泛型函数的语法糖。

live example

Answer 1

这里的问题不是对sort 的调用不明确，而是名称sort 不明确。名称查找发生在重载解析之前。

我相信相关部分是[basic.lookup]/1，具体

[…] 通过名称查找找到的声明要么都表示同一个实体，要么都表示函数或函数模板；在后一种情况下，声明被称为形成一组重载函数（[over.load]）。 […]

在您的情况下，名称sort 表示对象boot::sort 以及重载函数集std::sort。因此，名称查找失败。

例如，您的代码与您编写的代码确实没有什么不同

namespace baz {
    int a;
}

namespace boot {
    int a;
}

void foo() {
    using namespace baz;
    using namespace boot;
    a = 42;  // error: reference to 'a' is ambiguous
}

Try it out here;将此与a case that actually has an ambiguous function call 进行比较；请注意错误消息与您的情况相同，特别是指名称本身不明确，而不是函数调用。