c - ((void*)0) 是空指针常量吗？

Question

我正在阅读 this blog post在 Null pointer constants and parenthesized expressions 部分下，作者引用了 ISO C 标准的 § 6.3.2.3 和 § 6.5.1 并说:

It doesn't say that a parenthesized null pointer constant is a null pointer constant.

Which implies, strictly speaking, that (void*)0 is a null pointer constant, but ((void*)0) is not.

然后:

I'm sure that most C implementations do treat a parenthesized null pointer constant as a null pointer constant, and define NULL either as 0, ((void*)0), or in some other manner.

两个引用部分说:

§ 6.3.2.3

An integer constant expression with the value 0, or such an expression cast to type void *, is called a null pointer constant.

§ 6.5.1

A parenthesized expression is a primary expression. Its type and value are identical to those of the unparenthesized expression. It is an lvalue, a function designator, or a void expression if the unparenthesized expression is, respectively, an lvalue, a function designator, or a void expression.

加粗的句子是否与作者声称 ((void*)0) 不是空指针常量的说法相矛盾？

Answer 1

Doesn't the bolded sentence contradict the author's claim that ((void*)0) is not a null pointer constant?

不，它没有。 (我承认有点偏见，因为引用的博客是我的。)

加粗的句子表示它的类型 和值 与未加括号的表达式相同。这不足以暗示它是一个空指针常量。

考虑:

void *var = 0;

(void*)0是空指针常量。 ((void*)0)与 (void*)0 具有相同的类型和值. var 也 与(void*)0 具有相同的类型和值，但是var显然不是空指针常量。

话虽如此，我 99+% 确定意图是 ((void*)0)是空指针常量，更一般地说，任何带括号的空指针常量都是空指针常量。该标准的作者只是忽略了这样说。并且由于6.5.1p5中对括号表达式的描述特别列举了括号表达式继承的其他几个特性:

A parenthesized expression is a primary expression. Its type and valueare identical to those of the unparenthesized expression. It is anlvalue, a function designator, or a void expression if theunparenthesized expression is, respectively, an lvalue, a functiondesignator, or a void expression.

遗漏令人不安(但只是轻微的)。

但为了论证，我们假设 ((void*)0)不是空指针常量。这有什么区别？

(void*)0是一个空指针常量，其值为void*类型的空指针, 所以根据括号表达式的语义 ((void*)0)还有一个值是 void* 类型的空指针.两者 (void*)0和 ((void*)0)是地址常量。 (好吧，我认为它们是。)那么什么上下文需要空指针常量并且不接受地址常量？只有少数。

6.5.9 相等运算符

函数指针类型的表达式可以与空指针常量比较是否相等。 (对象指针可以与类型 void* 的表达式进行比较，但函数指针可能不会，除非它是空指针常量。)因此:

void func(void);
if (func == ((void*)0)) { /* ... */ }

将违反约束。

6.5.16.1 简单赋值

在赋值中，一个空指针常量可以赋给一个指向函数指针类型的对象，并且会被隐式转换。 void* 类型的表达式那不是空指针常量，不能分配给函数指针。相同的约束适用于参数传递和初始化。所以这个:

void (*fp)(void) = ((void*)0);

如果 ((void*)0) 将违反约束不是空指针常量。感谢评论者 hvd 找到这个。

7.19 常用定义<stddef.h>

宏NULL扩展为“一个实现定义的空指针常量”。如果((void*)0)不是空指针常量，那么:

#define NULL ((void*)0)

将无效。这将是对实现的限制，而不是对程序员的限制。请注意:

#define NULL (void*)0

绝对无效，因为标准 header 中的宏定义必须在必要时用括号完全保护 (7.1.2p5)。没有括号，有效表达式 sizeof NULL将是语法错误，扩展为 sizeof (void*)后跟一个无关的常量 0 .

更新:即将发布的 2023 ISO C 标准 (C23) 纠正了这个问题并明确 ((void*)0)是空指针常量。

N3054 draft , 6.5.1 第 5 段说:

A parenthesized expression is a primary expression. Its type, value, and semantics are identical to those of the unparenthesized expression.