函数对象如何影响重载决策？

Question

在重载解析期间，函数对象是否与常规函数区别对待？ 如果是这样，怎么样？

我遇到了以下情况：用等效可调用函数对象替换函数改变了代码的含义：

#include <iostream>

namespace N
{
    enum E { A, B };

    void bar(E mode) { std::cout << "N::bar\n"; }
}

template <typename... Args>
void bar(Args&&... args) { std::cout << "global bar\n"; }

int main()
{
    bar(N::A);
}

这里的输出是“N :: bar”。 到目前为止，非常好：ADL找到N :: bar，N :: bar和全局条都是精确匹配，N :: bar是首选，因为它不是模板。

但是如果我将全局条改变为函数对象，就像这样：

#include <iostream>

namespace N
{
    enum E { A, B };

    void bar(E mode) { std::cout << "N::bar\n"; }
}

struct S
{
    template <typename... Args>
    void operator()(Args&&... args) { std::cout << "global bar\n"; }
};
S bar;

int main()
{
    bar(N::A);
}

输出现在是“全球酒吧”。 为什么不同？

Answer 1

这里重要的一点是，如果查找确定名称是函数调用中的函数，则ADL仅启动。 在第二种情况下， bar被发现是一个对象而不是一个函数，因此表达式bar(N::A)不是函数调用，而是operator()应用于对象bar 。 因为它不是函数调用，所以ADL不会启动并且不考虑N::bar 。

3.4.1 / 3

查找用作函数调用的后缀表达式的非限定名称在3.4.2中描述。 [注意：为了确定（在解析期间）表达式是否是函数调用的后缀表达式，通常的名称查找规则适用。 3.4.2 [ADL]中的规则对表达式的句法解释没有影响。

查看它的另一种方法是注意ADL将向重载函数集添加新函数，但在第二个示例中没有这样的集合：lookup查找对象并调用对象的成员。

Answer 2

见3.4.2p3，其中说

设X是由非限定查找（3.4.1）产生的查找集，并且让Y是由参数相关查找产生的查找集（定义如下）。 如果X包含

• ...
• 既不是函数也不是函数模板的声明

那么Y是空的。

如果没有这样的规则，你是对的：ADL会将你的其他函数添加到重载集中。 事实上，13.3.1.1p1依赖于此：它有两个分支; 一个用于函数调用表达式，其中操作数表示一个类对象，另一个用于操作数表示一个或多个函数或函数模板。