c - 为什么 size_t when int 足以满足数组的大小？

Question

C 标准保证 int 能够存储所有可能的数组大小。至少，这是我从阅读 §6.5.2.1 的第 1 小节(数组下标约束)中了解到的:

One of the expressions shall have type ‘‘pointer to object type’’, the other expression shall have integer type, and the result has type ‘‘type’’.

既然我们要使用int作为数组下标，为什么要用size_t来决定数组的大小呢？

为什么 strlen() 返回 size_t 而 int 就足够了？

Answer 1

术语“整数类型”并不意味着 int - 例如，char 和 short 是整数类型。

仅仅因为您可以使用 int 来下标数组并不一定意味着它可以到达所有可能的数组元素。

更具体地说，关于 size_t 与 int，一个例子是 int 可能是 16 位类型并且 size_t 可能是 32 位类型(或更常见的 32 位 int 与 64 位 size_t 在当今 64 位平台上的区别)。