的行为

Question

我有一个关于地址操作符后面跟一个解引用操作符的行为的问题。

让我们看看表达式

C11标准（第6.5.3.2节）规定：

一元的

带有脚注:

因此

很明显

如果我们现在考虑一个类型 int[10]，那么什么类型是

一方面，如果我们评估

在另一边if

一个简短的例子表明，gcc对待表达式的方式不同：

#include <stdio.h>

int main(void)
{
    int a[10];

    printf("%zu\n%zu\n", sizeof a, sizeof &*a);

    return 0;
}

输出：

40
8

这是否符合C11标准？

也许是因为“对操作符的约束仍然适用”，而解引用操作符的操作数必须是指针？




Answer 1

考虑到从数组到指向第一个元素的指针的转换分别发生在*应用之前。尽管直到C实现确定它是sizeof还是的操作数，才决定是否将数组转换为指针

此外，对< code>*运算符的操作数的一个约束是，它应该具有指针类型(C 2018 6.5.3.2 2)。因此，操作数必须是指针，而不是数组。

“结果就像两个都被忽略了一样”这句话促使我们考虑如果两个都忽略了，结果会是什么，但正文接着说“除了运算符上的约束仍然适用，结果不是左值”。由于约束仍然存在，操作数必须是指针；可以应用约束，但操作数可能是尚未转换为指针的数组，这在逻辑上是不一致的。