32 位与各种 64 位数据模型上的 sizeof(size_t) 是多少？

Question

在64位系统上，sizeof(unsigned long)取决于系统实现的数据模型，例如LLP64（Windows）上为4字节，LP64（Linux等）上为8字节.)。 sizeof(size_t) 应该是什么？ 它是否会像 sizeof(long) 那样随数据模型而变化？ 如果是这样，怎么办？

---

参考文献：

维基百科上的 64 位数据模型

Answer 1

size_t 由 C 标准定义为 sizeof 运算符的无符号整数返回类型（C99 6.3.5.4.4），以及 malloc 和朋友的参数（C99 7.20.3.3 等）。 实际范围设置为最大值 (SIZE_MAX) 至少为 65535 (C99 7.18.3.2)。

然而，这并不能让我们确定 sizeof(size_t)。 该实现可以自由地使用它喜欢的任何 size_t 表示形式 - 因此大小没有上限 - 并且该实现也可以自由地将字节定义为 16 位，在这种情况下 size_t 可以相当于 unsigned char。

不过，抛开这一点不说，一般来说，无论数据模型如何，您在 32 位程序上都会有 32 位 size_t，在 64 位程序上会有 64 位 size_t。 一般来说，数据模型只影响静态数据； 例如，在 GCC 中：

`-mcmodel=small'
     Generate code for the small code model: the program and its
     symbols must be linked in the lower 2 GB of the address space.
     Pointers are 64 bits.  Programs can be statically or dynamically
     linked.  This is the default code model.

`-mcmodel=kernel'
     Generate code for the kernel code model.  The kernel runs in the
     negative 2 GB of the address space.  This model has to be used for
     Linux kernel code.

`-mcmodel=medium'
     Generate code for the medium model: The program is linked in the
     lower 2 GB of the address space but symbols can be located
     anywhere in the address space.  Programs can be statically or
     dynamically linked, but building of shared libraries are not
     supported with the medium model.

`-mcmodel=large'
     Generate code for the large model: This model makes no assumptions
     about addresses and sizes of sections.

您会注意到指针在所有情况下都是 64 位的； 毕竟，拥有 64 位指针但没有 64 位大小没有什么意义。

Answer 2

它应该随架构而变化，因为它代表任何对象的大小。 因此，在 32 位系统上，size_t 可能至少为 32 位宽。 在 64 位系统上，它可能至少为 64 位宽。

Answer 3

size_t 在 64 位机器上通常是 64 位

Answer 4

编辑：感谢您的评论 - 我在 C99 标准，第 6.5.3.4 节中说：

结果值为
实现定义的及其类型
（无符号整数类型）是 size_t，
在 中定义（以及其他
标题）

因此，没有指定 size_t 的大小，只是它必须是无符号整数类型。 然而，在该标准的第 7.18.3 章中可以找到一个有趣的规范：

size_t的限制

SIZE_MAX 65535

这基本上意味着，无论size_t的大小，允许的值范围是从0-65535，其余的取决于实现。