它是否始终有效 C++将成员函数指针与 0 进行比较？

Question

在以下代码中，Visual Studio 编译器不会引发断言，但使用 XCode 为 iPhone 进行编译时会引发断言：

class X
{
public:

 virtual void A() {}
};

X x;

void main()
{
 // Define a valid member function pointer to X::A.
 void (X::*p)() = &X::A;

 assert(p != 0);
}

这是编译器中的错误吗？在这种情况下，还能如何检查空指针呢？

Answer 1

代码是正确的，编译器不符合标准，该标准表示（部分 [expr.eq]，使用 C++0x 草案 n3225 中的措辞，但它应该与其他版本）：

任何指向成员的指针都可以与空指针常量进行比较

，并且

如果两个操作数都为空，则它们比较相等。否则，如果只有一个为空，则它们比较不相等。

空指针常量的相关定义（[conv.ptr]节，std::nullptr_t部分是C++0x中新增的）：

空指针常量是整数类型的整型常量表达式 (5.19) 纯右值，其计算结果为零或 std::nullptr_t 类型的纯右值。

和（[expr.const] 部分）：

如果常量表达式是整型或枚举类型，则该常量表达式是整型常量表达式。

注意：顺便说一句，指向虚拟成员函数的指针的实现定义表示通常是虚拟表的索引，在问题中为 0。但根据标准，断言内的表达式并不检查表示形式是否为零，而是检查零文字 - 这是空指针检查。

苹果编译器显然将两者混为一谈。如果您想测试表示形式是否为零，您可以编写 assert((intptr_t)p != 0) ——这将是完全不可移植的。

但是所编写的代码对于任何符合标准的编译器都是完全可移植的，并且永远不会断言。

编辑：还有一个来自标准的引用，它只是重复了我们已经学到的内容（[conv.mem] 部分）：

空指针常量（4.10）可以转换为指向成员类型的指针；结果是该类型的空成员指针值，并且可以与不是从空指针常量创建的任何指向成员的指针区分开来。

Answer 2

iPhone 编译器出错了。

请注意，指向虚拟函数的成员函数指针之间的相等比较会产生未指定的结果，即

assert(&X::A == &X::A);

从形式的角度来看，此断言的行为是不可预测的。

但是成员函数指针与空指针常量的比较是由语言严格定义的。在您的示例中，指针不能为空，因此它不应该与空指针常量进行比较。