函数指针的比较是否合法

Is comparison of function-pointers legal

本文关键字：是否 比较 指针 函数      更新时间：2023-10-16

我想知道如果两个函数具有相同的类型或被强制转换为void*，则比较(不仅是==和!=(函数指针是否合法。

这里有一些示例代码：

#include <iostream>
struct A { static void f(){} };
struct B { static void f(){} };
int main()
{
std::cout << reinterpret_cast<void*>(&A::f) << 'n';
std::cout << reinterpret_cast<void*>(&B::f) << 'n';
std::cout << (&A::f < &B::f) << 'n';
}

GCC(http://coliru.stacked-crooked.com/a/c03b2d2dc528c197(和Clang(http://coliru.stacked-crooked.com/a/3330f8e0b88cc523(似乎对此很好。

有人可以指出标准中的正确段落吗？

谢谢！

您的示例可能无法编译。如果它确实编译，则不能保证按预期工作。但在实践中，它很可能会。

从 C++11 开始，有条件地支持将函数指针转换为对象指针，并具有实现定义的结果。有条件支持意味着实现可以选择是否要支持它。如果他们不这样做，他们可能只会发出错误消息。

对于确实支持它的实现，很少保证转换的结果：所说的只是，如果它受支持，你可以把它转换回来并获取原始值。这并不意味着平等或关系比较的结果。

[expr.reinterpret.cast]p8：

8 有条件地支持将函数指针转换为对象指针类型，反之亦然。这种转换的含义是实现定义的，除了如果实现支持双向转换，则将一种类型的 prvalue 转换为另一种类型并返回(可能具有不同的 cv 限定(应生成原始指针值。

对于有意义的==和!=比较，只需直接比较即可。

[expr.eq]p3：

[...]

(3.2(否则，如果指针都是空的，都指向同一个函数，或者都表示相同的地址，则它们比较相等.
(3.3(否则，指针比较不相等。

至于<，通常的<规则会使你的比较和int i, j; &i < &j;一样毫无意义：

[expr.rel]p4：

4 比较对象86的不相等指针的结果是根据符合以下规则的偏序定义的：

[...]

(4.3( 否则，两个指针都不需要大于另一个指针。

相关文章：