创建函子时友元函数的可见性

Question

请参阅下面的代码。 drive()在范围内，我可以driveporsche。但是，除非我取消注释 drive() 的声明，否则 g++ 会在尝试创建仿函数时给出一个非常奇怪的“驱动器”未在此范围错误中声明。为什么？

#include <functional>

class car {
    friend void drive(const car c);
};

//void drive(const car c);

int main() {

    car porsche;
    drive(porsche);
    std::pointer_to_unary_function<car, void> functor(drive);

    return 0;
}

更新 1：我对 ADL 的答案几乎满意，但是我确实告诉了驱动参数的类型，它是第一个模板参数，它是汽车：

std::pointer_to_unary_function<car, void> functor(drive);

更新 2： 好的，这是一个更简单的代码，我们不需要仿函数和函数头：

class car {
    friend void drive(const car c);
};

//void drive(const car c) { }

int main() {
    car porsche;
    drive(porsche);
    void (*f)(const car);
    f = drive;
    return 0;
}

现在，我明白了为什么编译器无法使用 ADL 找到 drive。原因同上，只是这段代码没有被模板遮挡。

Answer 1

当您在类中声明具有非限定 id 的 friend 函数并且该函数不是另一个类的成员时，它会在最近的封闭非类、非函数原型范围内命名一个函数。

如果该函数之前未声明过，那么 friend 声明不会使该函数在该范围内可见。

但是，对于参数相关查找，该函数是可见的。

在表达式drive(porsche); 中，porsche 的类型为car，因此使用了 ADL 并且可以找到友元函数。

在表达式drive 中没有参数，因此不执行 ADL。没有可见的drive 声明，因此查找失败。

Answer 2

因为朋友没有声明一个函数，而你试图调用一个不存在的全局函数。