时间戳

首页 > 解决方案 > 必须 sizeof(void*) >= sizeof(size_t) 吗？

c - 必须 sizeof(void*) >= sizeof(size_t) 吗？

问题描述

这里有一个关于 和 的平等的问题sizeof(size_t)，sizeof(void*)公认的答案是不能保证它们是平等的。

但至少，必须是这样的：

sizeof(void*) >= sizeof(size_t)

我认同。因为，在给定的 C 实现中取最大的存储对象，大小为S。现在，存储区域可以被认为是 size 的字节数组S。因此，必须有一个指向每个字节的指针，并且所有这些指针都是可比的和不同的。因此，type 的不同元素个数void*必须至少是 type 的最大个数size_t，即无符号整数类型。因此sizeof(void*) >= sizeof(size_t)。

我的推理是否合理？

标签： clanguage-lawyer

解决方案

我的推理是否合理？

您重新推理的问题是您假设最大对象的大小可能等于 SIZE_MAX。但事实并非如此。如果你这样做

void* p = malloc(SIZE_MAX);

您将（很可能）返回一个 NULL 指针。

您可能还会收到以下警告：

main.cpp:48:15: warning: argument 1 value '18446744073709551615' exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=]
   48 |     void* p = malloc(SIZE_MAX);
      |               ^~~~~~~~~~~~~~~~

由于最大对象大小不是（总是）SIZE_MAX，因此您不能使用 SIZE_MAX 的值来争论指针的大小。

顺便说一句：某些在软件级别使用 64 位指针的 CPU 实现在硬件级别可能没有 64 位。相反，某些位仅被视为全一/全零。

推荐阅读