这些是空指针，还是指向地址 0 的指针？

Question

如果我写

int zero = 0;

void *p1 = (void *)0;
void *p2 = (void *)(int)0;
void *p3 = (void *)(0 /*no-op, but does it affect the next zero?*/, 0);

void *p4 = (void *)zero;    // For reference, this is a pointer to address zero
void *p5 = 0;               // For reference, this is a null pointer
void *p6 = NULL;            // For reference, this is a null pointer
void *p7 = nullptr;         // For reference, this is a null pointer (C++11)

static const int static_zero_1 = 0;       // Is this a literal zero when used?
static const int static_zero_2 = 1 - 1;   // No "literals 0" per se... is it?
void *p8 = (void *)static_zero_1;   // I have seen weird substitution rules...
void *p9 = (void *)static_zero_2;   // do they apply for NULL too?

p1、p2 和 p3（编辑：我添加了 p8 和 p9）中的哪一个将是 空指针（即== NULL，可能是地址零，也可能不是），其中哪些是地址为零的指针（可能是== NULL，也可能不是== NULL）？

如果 C 和 C++ 的答案不同，它们各自的答案是什么？

Answer 1

并且用 C 来完成安迪的答案：

From the C99 Standard:

6.3.2.3 指针

1 指向 void 的指针可以转换为指向任何不完整或对象的指针或从指针转换为指向任何不完整或对象的指针 类型。指向任何不完整或对象类型的指针可以转换为指向 void 的指针 又回来了；结果应与原始指针比较。

3 值为0 的整数常量表达式，或转换为类型的此类表达式 void *，称为空指针常量。 55) 如果一个空指针常量被转换为一个 指针类型，得到的指针，称为空指针，保证比较不相等 指向任何对象或函数的指针。

因此，任何计算结果为0 的整数常量表达式 都是空指针常量，可以转换为NULL 指针。实际上，在您的示例中，除了p4、p8 和p9 之外的所有指针都是空指针。 p4、p8 和 p9 不必是空指针，因为它们的初始化不是常量表达式，因为它包含变量（即使 const 合格）。

Here's another answer about NULL in C++，记录在案。

Answer 2

p1 和 p2 是空指针； p3 是实现定义的， 并且可能是别的东西。 （逗号运算符不能是 一个常量表达式。和一个非常数的映射 指针的整数值 0 是实现定义的。）C 是 与此处的 C++ 相同。

p8 和 p9 在 C++ 中都是空指针，但在 C 中不是。

关于你对static_zero_2的评论，没有 在任何一种语言中都要求存在文字零， 任何地方。 g++ 将NULL定义为编译器内置__null， 例如，您可以使用(1 - 1)，或'\0'，或任何其他 常量表达式求值为 0。

Answer 3

p1、p2 和 p3 中的哪一个是空指针？

在 C++11 中，所有这些。根据 C++11 标准的第 4.10/1 段：

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

因此，根据标准的术语，所有是 constant（整数）表达式并计算结果为 0 的都是 空指针常量（不是空指针，但）。在您的示例中，唯一不是计算结果为0 或nullptr_t 类型的纯右值的常量表达式是zero，因为它不是常量表达式。

段落继续：

空指针常量可以转换为指针类型；这 结果是该类型的 空指针值，并且可以与对象指针的所有其他值或 函数指针类型。这种转换称为空指针转换。的两个空指针值 相同的类型应该比较相等。

因此，在您的示例中，除 p4 之外的所有指针都是 空指针值，并且它们之间比较相等。