根据C++ - should you size_t with a regular array?
§ 18.2 6 类型 size_t 是实现定义的无符号整数 足够大以包含任何对象的大小以字节为单位的类型。
我不明白为什么这可以保证类型size_t 足够大以用于数组索引或足够大以表示数组中的元素 的数量。
例如：
int array[1000];
for (size_t i = 0; i < 1000; ++i) {
}
这似乎与我无关，为什么“一个足够大的数字包含对象的字节大小”== 保证类型 size_t 足以容纳数组索引”。
【问题讨论】：
简单来说，平台支持的最大数组可以用size_t索引。
考虑：
int array[1000];
for (uint8_t i; i < 1000; ++i) {}
这显然是错误的，uint8 没有索引该数组的范围。 size_t 始终由标准保证。
至于为什么是字节，使用sizeof array 给出字节大小。需要有一种类型保证能够表示结果。
我想使用ptrdiff_t 来索引数组会更有技术意义，因为这就是数组索引的类型：*(array+index)。但这并不常见，我猜它看起来更丑，打字时间更长，可能更令人困惑。
请注意，C++ 标准不对任何其他类型做出任何类似的保证。但是在大多数实际情况下，这个范围问题在一定程度上是理论上的，因为您可以确定 64 位整数也可以索引任何适合内存的内容。这对于传达意图更为重要。
【讨论】：
size_t 不能表示整数值大于 大于对象的最大可能索引或大小（以字节为单位）。您在问题中的引用只是说它可以至少代表任何对象的大小（以字节为单位）。
size_t 不需要高于 100。我认为您在这里忽略了要点：元素的大小始终大于或等于一个字节。
sizeof char 定义为 1，无论 char 在某些平台上有多少位）。所以数组的索引不能超过它的字节大小（当我们用“字节”表示与char相同时）。
数组是一个对象。如果size_t 可以以字节为单位表示数组的大小，那么它肯定也可以表示其中的任何索引，因为单个元素至少有一个字节大小。
语言不允许使用比这更大的数组。
【讨论】：
size_t，那么所有可能的索引也是如此（因为它们是前者的子范围）。我不确定如何更详细地表达。也许您可以为您看到的问题添加更详细的解释？