计算长数组SIZE_MAX元素的大小-解网

问：

请考虑以下代码：

#include <stdio.h>
#include <limits.h>
#include <inttypes.h>
#include <stddef.h>

int main(){
    size_t cnt = SIZE_MAX;
    size_t sz = sizeof(long[cnt]);
    printf("%zu\n", sz);
}

6.5.3.4/p2:

如果操作数的类型是可变长度数组类型，则对操作数进行评估;否则，不会计算操作数，并且 result 是一个整数常量。

问题是，这种太大的评估是否定义得当？由于是，该标准保证整数溢出具有明确定义的行为（与可能引发实现定义信号的情况不同）。sizeofsize_tunsignedunsignedsigned

我感到困惑的主要问题是

size_t sz = sizeof(long[SIZE_MAX]); //error: size of unnamed array is too large

甚至不编译 Godbolt 实时示例

c sizeof

相关约束未列在“约束”标题下，因此编译器不需要为此发出诊断。在这种情况下，GCC 和 Clang 都选择失败并发出错误消息，但更常见的是具有未定义的行为，因为它违反了显式约束子句之外的“shall”。但我认为，当尝试声明一个不支持的数组时，合理的实现将无法编译并出现这样的错误。sizeof (long[SIZE_MAX])

这种语言似乎没有出现在以前的标准中，但标准委员会确定“......所有这些都解释了当前的标准，即巨大的物体使行为隐含地未定义。委员会认为，这一变化不是引入一种未定义的行为，而是明确这一点的澄清。

SIZE_MAX是一个常量表达式，可以在翻译过程中进行计算;它是可以用表示的最大值，因此编译器知道除以外的任何类型的元素数组将超过字节并拒绝代码。它可以对值大于的任何常量表达式执行此操作。size_tSIZE_MAXcharSIZE_MAXSIZE_MAX / sizeof (long)

cnt不是常量表达式，因此在运行时之前不会进行评估，并且编译器无法将其标记为问题。sizeof( long[cnt] )

那么会发生什么呢？

6.2.5 类型

...

9 有符号整数类型的非负值范围是相应无符号的子范围整数类型，并且每种类型中相同值的表示形式相同。^41） 计算涉及无符号操作数永远不会溢出，因为无法用生成的无符号整数类型是缩小模数，该数比最大数大 1 可以由结果类型表示的值。

所以，基本上，会给你一些由修改的价值。它不会是数组的大小（以字节为单位）;它将是一些可以放入 .定义明确，但不是非常有用。size_t sz = sizeof( long[cnt] )SIZE_MAXsize_t

上一个：Arduino （ESP32） - Struct-Size 和输出混淆

下一个：将size_t分配给off_t会产生符号转换错误

计算长数组SIZE_MAX元素的大小

Evaluating sizeof long array of SIZE_MAX elements

评论

评论

评论

评论