&foo：：function 和 foo：：function 有什么区别？

What is the difference between &foo::function and foo::function?

本文关键字：foo function 区别 什么      更新时间：2023-10-16

我正在使用linux上的gtkmm库为我的GUI绘制一个简单的菜单。

在下面的代码中，编译器抱怨无法解析地址

        sigc::mem_fun(*this, AppWindow::hide)));
                                         ^
appwindow.cpp:15:41: note:   could not resolve address from overloaded function

但是当我插入&时，它编译得很好

m_menu_app.items().push_back(MenuElem("Quit",
    sigc::mem_fun(*this, &AppWindow::hide)));

这里有什么区别？hide功能首先不就是一个地址吗？

这是函数到指针转换的确切定义，[conv.func]：

函数类型 T 的左值可以转换为 prvalue 的类型 "指向T的指针。"结果是指向函数的指针。55

55） 此转换从不适用于非静态成员函数，因为引用非静态成员函数的左值 无法获得。

因此，我们在正常的非成员函数1 中看到的衰减不适用，您需要显式获取地址。

即

void f();
struct A {
    void f();
    static void g();
};

auto a = f; // Ok: auto deduced as void(*)()
auto b = A::f; // Error: A::f not an lvalue, auto cannot be deduced
auto c = A::g; // Ok: auto deduced as void(*)()

1 或静态成员函数。

对于全局（非成员）函数，函数名称的计算结果为该函数的地址，除非传递给 & 运算符，因此您可以（例如）等效地分配给带有或不带有&的函数的指针：

int f() {}
int (*pf1)() = f;
int (*pf2)() = &f;

所以，在这种情况下，两者之间真的没有区别。

但是，对于成员函数1，规则略有不同。在这种情况下，需要&;如果你试图省略&，代码根本无法编译（假设编译器运行正常，无论如何）。

没有特别的理由一定要这样 - 这只是Bjarne决定事情应该如何。如果他决定希望成员函数的名称计算为指向成员的指针（相当于非成员函数的工作方式），他本可以这样做。

1. 静态成员函数除外，静态成员函数大多像非成员函数。

当函数是类的非静态成员函数时，当表达式中需要指向成员函数的指针时，必须使用形式&ClassName::functionName。

当函数

是类的静态成员函数时，当表达式中需要指向函数的指针时，可以使用ClassName::functionName和&ClassName;:functionName。

当函数

是全局函数（即非成员）函数时，当表达式中需要指向函数的指针时，可以使用functionName和&functionName。

相关文章：