c++ 中 &func 或 class::func 有用途吗？

Question

这似乎不一致。 为什么我们使用 &Example::func 而不是 Example::func？ Example::func 或 &exampleFunction 有用途吗？ 我们似乎无法引用函数，因此排除了Example::func。 我想不出一种使用 &exampleFunction 的方法，因为 exampleFunction 已经返回了一个指针。

#include <iostream>
class Example {
public:
    void func() { std::cout <<"print me\n"; }
};
void exampleFunction() { std::cout << "print me too\n"; }
typedef void (Example::*ExampleFunc_t)(); 
typedef void (*ExampleFunction_t)();
int main()
{
    Example e;
    ExampleFunc_t     f  = &Example::func;
    ExampleFunction_t f2 = exampleFunction;
    (e.*f)();
    f2();
    return 0;
} 

Answer 1

因为这就是标准定义函数指针的方式。

实际上，您始终必须使用地址运算符 & 来获取指向函数的指针，但对于常规函数和静态成员函数，在标准。

这不是为（非静态）成员函数定义的，因为您无法获取非静态成员函数的左值。

来自 C++ 标准：

4.3 函数到指针的转换

1. 函数类型 T 的左值可以转换为类型的右值
   “指向 T 的指针。” 结果是指向该函数的指针。

附注52：

此转换永远不会应用于非静态成员函数，因为
无法获取引用非静态成员函数的左值。

我认为出于一致性原因，他们宁愿只允许 &function，但隐式转换只是 C 遗产的产物......

Answer 2

重点是使用函数指针。 举一个非常粗略的示例，假设您有一个具有多个成员变量的类，您可能需要通过这些成员变量对该类类型的数组的元素进行排序，如下所示：

struct CL {
    int x, y, z;
};

bool sort_by_x(const CL& obj1, const CL& obj2);
bool sort_by_y(const CL& obj1, const CL& obj2);
bool sort_by_z(const CL& obj1, const CL& obj2);

...

CL obj[100];
...
sort(obj, obj+100, sort_by_x);
...
sort(obj, obj+100, sort_by_y);
...
sort(obj, obj+100, sort_by_z);

这里 std::sort 用于对 CL 对象的数组进行排序。 看第三个参数，它是一个函数的名称。 std::sort 函数可以在第三个参数中采用函数指针，并使用该函数作为比较器对数组进行排序。 如何定义 sort_by_* 函数以便 std::sort 按预期工作取决于我们。