C99 VLA 大小确定和 sizeof 算子

Question

作为对question 关于sizeof 及其在C99 VLA 方面的行为的回答的一部分，我写了以下内容：

故意创建一个案例，其中count_of 的语义对于 VLA 来说实际上会有所不同，但可能很难创建一个可读、易于理解/可维护且有用的案例案例（我没试过）。

想了想，我不确定这句话是否属实。要首先创建 VLA，编译器必须首先确定 VLA 需要的空间量。

对于sizeof，我们知道

如果操作数的类型是变长数组类型，则计算操作数；否则，不计算操作数，结果是一个整数常量。 (6.5.3.4/2)

虽然 VLA 大小显然是运行时确定的，但在对 VLA 声明符的大小表达式进行评估（如果有的话，包括任何副作用）之后：

可变长度数组类型的每个实例的大小在其生命周期内不会改变。如果 size 表达式是 sizeof 运算符的操作数的一部分，并且更改 size 表达式的值不会影响运算符的结果，则未指定是否计算 size 表达式。 (6.7.5.2/2)

所以，给定

#define count_of(arr)  (sizeof(arr)/sizeof(arr[0]))

是否存在任何这样的宏的实际有效行为对于 VLA 与数组声明是一个常量表达式（即普通的旧的 C99 之前的固定大小数组）？

Answer 1

显而易见的答案是arr 是一个包含副作用的表达式。如果评估sizeof 的参数，则会产生副作用。如果不进行评估，则没有副作用。

#include <stdio.h>
#define LENGTHOF(arr) (sizeof(arr) / sizeof(*(arr)))
void f() {
  puts("f");
}
int main() {
  const int n = 4;
  int array[n];
  return LENGTHOF(*(f(), &array)) - 4;
}

这在 C99 中有效，其中 array 是 VLA，在 C++ 中有效，其中 n 是常量表达式，array 不是 VLA。在 C99 中，这将打印 f。在 C++ 中，这不会打印任何内容。