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

Question

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

#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的答案几乎满意，但是我确实告诉了drive参数的类型，它是第一个模板参数，它是car：

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

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

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

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