Answers:
该size_t类型是无符号整数类型，它是sizeof运算符（和offsetof运算符）的结果，因此可以保证它足够大，可以容纳系统可以处理的最大对象的大小（例如8Gb的静态数组）。
该size_t类型可能比比大，等于，或小于unsigned int，你的编译器可能会做出假设它进行优化。
您可以在C99标准的第7.17节中找到更精确的信息，该草案的草案以pdf格式在Internet上提供，或者在C11标准的第7.19节中也以pdf草案的形式提供。
size_t可以表示的值的确切范围！如果没有，谁做？
没有提供Classic C（Brian Kernighan和Dennis Ritchie在1978年Prentice-Hall的C编程语言中描述的C的早期方言）没有提供size_t。引入C标准委员会size_t以消除可移植性问题
简而言之，size_t它永远不会是负数，并且会最大化性能，因为它的类型定义为无符号整数类型，该类型足够大（但又不太大）以表示目标平台上最大可能对象的大小。
大小永远不能为负数，并且确实size_t是无符号类型。另外，因为size_t是无符号的，所以您可以存储的数字大约是相应有符号类型的两倍，因为我们可以像无符号整数中的所有其他位一样使用符号位来表示幅度。当再获得一位时，我们将可以表示的数字范围乘以大约两倍。
因此，您问，为什么不只使用an unsigned int？它可能无法容纳足够大的数字。在unsigned int32位的实现中，它可以表示的最大数字为4294967295。某些处理器（例如IP16L32）可以复制大于4294967295字节的对象。
因此，您问，为什么不使用unsigned long int？它会在某些平台上造成性能损失。标准C要求long占用至少32位。IP16L32平台将每个32位长实现为一对16位字。这些平台上的几乎所有32位运算符都需要两条指令（如果不是更多的话），因为它们在两个16位块中使用32位。例如，移动32位长通常需要两条机器指令-一个移动每个16位块。
使用size_t可以避免这种性能损失。根据这篇精彩的文章，“ Type size_t是typedef，它是某些无符号整数类型（通常是unsigned int或unsigned long，但甚至可能是）的别名unsigned long long。每个Standard C实现都应选择足够大但不超过所需整数的无符号整数-代表目标平台上最大可能物体的大小。”
unsigned int并且确实因一个系统而异。它必须至少为 65536，但是在某些系统上通常4294967295是18446744073709551615（2 ** 64-1）。
unsigned char）。该标准似乎在任何地方都不包含字符串'65535'或'65536'，并且'+32767'仅出现在注释中（1.9：9），可能是最大的整数，可以用表示int；即使INT_MAX不能小于此值，也无法保证！
size_t类型是sizeof运算符返回的类型。它是一个无符号整数，能够表示主机上支持的任何内存范围的大小（以字节为单位）。它（通常）与ptrdiff_t有关，因为ptrdiff_t是一个有符号整数值，因此sizeof（ptrdiff_t）和sizeof（size_t）相等。
编写C代码时，无论何时处理内存范围，都应始终使用size_t。
另一方面，int类型基本上定义为主机可以用来最有效地执行整数算术的（有符号）整数值的大小。例如，在许多较旧的PC型计算机上，sizeof（size_t）的值为4（字节），而sizeof（int）的值为2（字节）。尽管CPU可以处理多达4 GiB的（逻辑）存储空间，但16位算术比32位算术快。
仅在关心效率时才使用int类型，因为其实际精度在很大程度上取决于编译器选项和计算机体系结构。特别是C标准指定了以下不变量：sizeof（char）<= sizeof（short）<= sizeof（int）<= sizeof（long）对每个程序的实际精度表示没有其他限制。这些原始类型。
注意：这与Java中的不同（Java实际上为Java的“ char”，“ byte”，“ short”，“ int”和“ long”类型指定了位精度）。
size_t能够表示任何单个对象的大小（例如：数字，数组，结构）。整个存储范围可能会超出size_t
size_t-我希望你不是那个意思。大多数时候，我们不处理地址空间和可移植性的基数甚至很重要的数组。在这些情况下，你会采取的size_t。在所有其他情况下，您都将从（带符号的）整数中取出索引。因为未签名的未预料到的下溢行为引起的混乱（不加警告）比其他情况下可能出现的可移植性问题更常见且更糟。
类型size_t必须足够大以存储任何可能的对象的大小。Unsigned int不必满足该条件。
例如，在64位系统中，int和unsigned int可能为32位宽，但是size_t必须足够大以存储大于4G的数字
size_t，如果编译器可以接受X类型，从而使sizeof（X）产生的值大于4G，那么它就必须大得多。大多数编译器都会拒绝例如typedef unsigned char foo[1000000000000LL][1000000000000LL]，foo[65536][65536];如果超出了记录的实现定义的限制，甚至可能会被合法拒绝。
在研究以下主题时，glibc手册0.02的摘录也可能是相关的：
2.4版之前的size_t类型和GCC版本存在潜在问题。ANSI C要求size_t始终为无符号类型。为了与现有系统的头文件兼容，GCC在stddef.h' to be whatever type the system'ssys / types.h' 中将size_t 定义为。在sys / types.h中定义size_t的大多数Unix系统都将其定义为带符号类型。库中的某些代码取决于size_t是无符号类型，如果已签名则将无法正常工作。
期望size_t是无符号的GNU C库代码是正确的。将size_t定义为带符号的类型是不正确的。我们计划在2.4版中，GCC始终将size_t定义为无符号类型，并且将fixincludes' script will massage the system'ssys / types.h'定义为与此不冲突。
同时，我们通过告诉GCC在编译GNU C库时显式告诉size_t使用无符号类型来解决此问题。`configure'将自动检测GCC用于size_t的类型，并在必要时覆盖它。
如果将我的编译器设置为32位，size_t则仅是typedef unsigned int。如果我的编译器设置为64位，size_t则仅是typedef unsigned long long。
unsigned long在某些操作系统上针对两种情况进行定义。
size_t是指针的大小。
因此，在32位或通用ILP32（整数，长整数，指针）模型中，size_t为32位。并以64位或通用LP64（长指针）模型size_t为64位（整数仍为32位）。
还有其他模型，但是这些是g ++使用的模型（至少默认情况下）
size_t尽管通常与指针大小不一定相同。指针必须能够指向内存中的任何位置。size_t只需足够大即可代表最大单个对象的大小。