是否必须使用 typedef 将 size_t 定义为五种标准无符号整数类型之一？

C11标准写道：

6.2.5 类型，¶4：

有五个标准有符号整数类型，指定为signed char, short int, int, long int, and long long int.

因此，五种标准无符号整数类型将是unsigned char, unsigned short int, unsigned int, unsigned long int, and unsigned long long int.

7.19 通用定义<stddef.h>, ¶1-2:

标题<stddef.h>[...] 声明以下类型。 [...]size_t这是结果的无符号整数类型sizeof操作员

演讲内容为cppreference.com https://en.cppreference.com/w/cpp/types/size_t

typedef /*实现定义*/ size_t;

暗示size_t总是通过 a 定义typedef，以及一些答案这个问题 https://stackoverflow.com/q/2550774/2057969声明/暗示/假设它通过 a 被定义为五种标准无符号整数类型之一（见上文）typedef.

但不能size_t也可以定义为特定宽度整数类型之一（C11 标准，7.20 整数类型<stdint.h>）， 例如uint32_t？ （顺便问一下，它们叫什么？将它们称为“固定宽度整数类型”。 C11 标准偶尔会使用“扩展整数类型”这一表达方式，尽管我在 7.20 中找不到这方面的显着定义。）Must size_t被定义为使用typedef作为五种标准无符号整数类型之一？或者可以将其定义为特定宽度整数类型之一吗？或者它可以是一个完全独立的类型吗？答案是根据标准中的什么措辞得出的？

Edit:我找到了有关此主题的相关引用（国际标准的基本原理 - 编程语言 - C，修订版 5.10（2003 年 4 月），6.5.3.4sizeof操作员）：

的类型sizeof，无论它是什么，都会被发布（在库标题中<stddef.h>) as size_t，因为程序员能够引用此类型很有用。这个要求隐含地限制了size_t成为现有无符号整数类型的同义词。

Edit:列出的整数类型维基百科上的 C 标准中称为“指定宽度整数类型”（我检查了 C99 和 C17 版本）。

有一个这个问题的C++版本 https://stackoverflow.com/q/23749822/2057969在 Stack Overflow 上，但我无法推断出 C 的明确答案。

是否必须使用 typedef 将 size_t 定义为五种标准无符号整数类型之一？

不，C 标准不要求这样做。

… 暗示size_t总是通过 a 定义typedef,…

这是无关紧要的，因为size_t在源代码中的行为类似于类型，并且它如何成为类型并不影响这一点。然而，C 2018 7.19 1 说<stddef.h>声明“以下类型”，其中size_t是一。将其定义为宏不会使其成为类型，因此必须使用以下方式声明它typedef或一些等效的实现扩展。

…一些答案这个问题 https://stackoverflow.com/q/2550774/2057969声明/暗示/假设它通过 a 被定义为五种标准无符号整数类型之一（见上文）typedef.

未引用权威人士且并非由权威人士撰写的声明不具有权威性。

但是 size_t 不能也定义为特定宽度整数类型之一（C11 标准，7.20 整数类型 ），例如 uint32_t 吗？

是的。规格size_t在 C 2018 7.19 中并没有禁止这一点。

顺便问一下，它们叫什么？维基百科将它们称为“固定宽度整数类型”。

C 2018 7.20.1.1 的标题是“精确宽度整数类型”。

C11 标准偶尔会使用“扩展整数类型”这一表达方式，尽管我在 7.20 中找不到这方面的显着定义。

术语“扩展整数类型”在 C 2018 6.2.5 7 中定义为扩展有符号整数类型和扩展无符号整数类型。这些在 6.2.5 4 和 6.2.5 6 中定义。它们只是 C 实现定义的附加整数类型。注释指出，它们将在 7.1.3 中为标识符保留的名称空间部分中具有名称，特别是以下划线和大写字母或另一个下划线开头的名称。例如，__int48_t可以是这样的名字。

Must size_t被定义为使用typedef作为五种标准无符号整数类型之一？或者可以将其定义为特定宽度整数类型之一吗？或者它可以是一个完全独立的类型吗？

标准中的措辞在C 2018 7.19 1中：

标题<stddef.h>定义以下宏并声明以下类型...

和 7.19 2：

… size_t

这是 sizeof 运算符结果的无符号整数类型；...

该措辞不构成约束size_t成为标准无符号类型之一，也不是精确宽度整数类型之一，也不是另一种类型，也不禁止它成为任何这些类型。 （它甚至不需要size_t实际上能够表示所有对象大小，因此可以想象a的指定结果sizeof操作可能会超出所代表的范围size_t type.)