数组到指针的转换是否会取消对间接运算符的评估？

Question

在Find size of array without using sizeof 中，数组的大小是通过

int arr[100];
printf ("%td", (&arr)[1] - arr);

现在，出于指针算术的目的，arr 被认为是单元素数组的元素，所以

&arr + 1

是该（概念）单元素数组末尾的指针，因此当减去arr[0]的地址时，得到arr中的元素数。

在(&arr)[1]中，该指针是间接运算符的操作数，

(&arr)[1] ≡ *(&arr + 1)

然后根据 6.3.2.1 (3) 将生成的数组表达式转换为 int*。

到目前为止，一切都很好。但是6.5.6(8)最后一句（加法运算符），

如果结果指向数组对象的最后一个元素，它 不得用作被评估的一元 * 运算符的操作数。

禁止在此处评估间接运算符。

问题是间接运算符是否在中求值

*(&arr + 1) - arr

（在这种情况下，该表达式将调用未定义的行为）或数组到指针的转换会取消评估（在这种情况下一切都很好），例如获取地址 (&(*(&arr + 1))) 或对其应用 sizeof会..

Answer 1

我认为标准非常明确，* 运算符在此处进行评估。求值的结果是一个左值，它永远不会被转换成一个值，但仍然会使用求值的结果。

使用& 运算符立即获取地址时有一个特殊例外：在&*x 中，其中x 的类型为T *，x 被求值，但* 和@987654329 @ 运算符不是。在运行时没有T 类型的中间左值，其地址被取走。所以&*x 是有效的，即使x 是一个空指针或一个超过数组末尾的指针。

由于您没有使用& 运算符来获取地址，因此该例外不适用。数组到指针的转换没有类似的异常，所以即使x是数组类型，如果x实际上没有指向任何对象，*x也是无效的。

Answer 2

你想这样做：对于 any T x;，确实&x + 1 是刚刚超过x 末尾的地址，并且在数字上它是一个获得的指针通过将&x 增加sizeof(T)（所以sizeof 仍然存在！）。

现在如果T = U[N]，则x 是N 类型为U 的元素的数组。但是指向这样一个数组的指针也是指向这样一个数组的第一个元素的指针。所以我们可以将&x（这是一个(T*)[N]）重新解释为U*，我们可以对&x + 1做同样的事情。但是现在这些指针是U* 类型的，所以它们的区别在于元素的数量。

所以数组大小为：

(U*)(&x + 1) - (U*)(&x)

请注意，由于数组到指针的衰减，(U*)(&x) 实际上与 x 的衰减是同一个指针。