Question

我在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函数首先不是一个地址吗？

Answer 1

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

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


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

因此，我们在正常的非成员函数¹中看到的衰变不适用，您需要明确地获取地址。

即

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(*)()

<小时/> ¹或静态成员函数。

Answer 2

对于全局（非成员）函数，函数的名称求值为该函数的地址，除非传递给&运算符，因此您可以（例如）分配给函数的指针无论是否有&等同于：

int f() {}

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

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

对于成员函数¹，但规则略有不同。在这种情况下，&是必需的;如果你试图省略&，那么代码就不会编译（假设编译器运行正常），无论如何。

没有特别的理由这是必须的 - 这就是Bjarne决定应该如何做的事情。如果他决定将成员函数的名称评估为指向成员的指针（相当于非成员函数的工作方式），他就可以做到。

^{1.静态成员函数以外的函数，其作用大多类似于非成员函数。
功能}

Answer 3

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

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

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

＆amp; foo :: function和foo :: function有什么区别？

3 个答案: