Size_t或任何无符号类型可能被视为循环变量，因为循环变量通常大于或等于0。

当使用size_t对象时，必须确保在使用它的所有上下文中(包括算术)只需要非负值。例如，下面的程序肯定会给出意想不到的结果:

// C program to demonstrate that size_t or
// any unsigned int type should be used 
// carefully when used in a loop

#include<stdio.h>
int main()
{
const size_t N = 10;
int a[N];

// This is fine
for (size_t n = 0; n < N; ++n)
a[n] = n;

// But reverse cycles are tricky for unsigned 
// types as can lead to infinite loop
for (size_t n = N-1; n >= 0; --n)
printf("%d ", a[n]);
}

Output
Infinite loop and then segmentation fault

types.h的manpage说:

Size_t应该是无符号整数类型

根据我的理解，size_t是一个无符号整数，其位大小足以容纳本机体系结构的指针。

So:

sizeof(size_t) >= sizeof(void*)

这是一个平台特定的类型定义。例如，在特定的机器上，它可能是unsigned int或unsigned long。您应该使用这个定义来提高代码的可移植性。

要了解为什么size_t需要存在，以及我们是如何到达这里的:

在实用术语中，size_t和ptrdiff_t在64位实现中保证为64位宽，在32位实现中保证为32位宽，等等。他们不能在不破坏遗留代码的情况下，在每个编译器上强制任何现有类型意味着这一点。

A size_t or ptrdiff_t is not necessarily the same as an intptr_t or uintptr_t. They were different on certain architectures that were still in use when size_t and ptrdiff_t were added to the Standard in the late 1980s, and becoming obsolete when C99 added many new types but not gone yet (such as 16-bit Windows). The x86 in 16-bit protected mode had a segmented memory where the largest possible array or structure could be only 65,536 bytes in size, but a far pointer needed to be 32 bits wide, wider than the registers. On those, intptr_t would have been 32 bits wide but size_t and ptrdiff_t could be 16 bits wide and fit in a register. And who knew what kind of operating system might be written in the future? In theory, the i386 architecture offers a 32-bit segmentation model with 48-bit pointers that no operating system has ever actually used.

The type of a memory offset could not be long because far too much legacy code assumes that long is exactly 32 bits wide. This assumption was even built into the UNIX and Windows APIs. Unfortunately, a lot of other legacy code also assumed that a long is wide enough to hold a pointer, a file offset, the number of seconds that have elapsed since 1970, and so on. POSIX now provides a standardized way to force the latter assumption to be true instead of the former, but neither is a portable assumption to make.

它不可能是int型，因为在90年代只有极少数的编译器将int型设置为64位宽。然后，他们真的很奇怪，保持长32位宽。标准的下一个修订版本宣布int比long更宽是非法的，但在大多数64位系统上int仍然是32位宽。

它不能是long long int，这是后来添加的，因为即使在32位系统上，它也至少被创建为64位宽。

因此，需要一种新的类型。即使不是，所有这些其他类型也意味着数组或对象内的偏移量以外的东西。如果说从32位到64位迁移的惨败中有什么教训的话，那就是要明确类型需要具有哪些属性，而不是在不同的程序中使用意味着不同内容的属性。

一般来说，如果从0开始向上，总是使用无符号类型，以避免溢出将您带入负值的情况。这是非常重要的，因为如果你的数组边界刚好小于你的循环的最大值，但你的循环最大值刚好大于你的类型的最大值，你将绕负，你可能会遇到分割错误(SIGSEGV)。所以，一般来说，对于从0开始并向上的循环，永远不要使用int。使用unsigned符号。