空指针等价于 int

Question

在“The C++ Programming Language”中，Bjarne 写道，空指针与整数零不同，而是可以将 0 用作空指针的指针初始值设定项。这是否意味着：

void * voidPointer = 0;
int zero = 0;
int castPointer = reinterpret_cast<int>(voidPointer);
assert(zero == castPointer) // this isn't necessarily  true

Answer 1

是的，这意味着castPointer 不一定为零，并且断言可能会失败。因为虽然 空指针常量 为零，但某种类型的 空指针 不一定是所有位为零的地址。

reinterpret_cast 在将空指针转换为 int 时没有产生零的特殊规定。您可以通过使用布尔运算符来实现这一点，它将使用0 或1 初始化变量：

int castPointer = (voidPointer != 0);