为何未包含<cstddef>头文件，C++代码仍可使用size_t？

这是个非常典型的C初学者疑惑——明明《C Primer》明确说size_t定义在<cstddef>头文件里，但你的代码没包含它却能在VS2017和C++ Shell里编译通过，核心原因在于标准库头文件的间接包含和C++标准的灵活性规定，下面具体拆解：

1. 头文件的“隐式依赖”：你的代码间接拿到了size_t的定义 #

你包含的<iostream>头文件，在VS2017和C++ Shell所使用的标准库实现中，内部已经包含了定义size_t的头文件（可能是<cstddef>本身，也可能是兼容C标准的<stddef.h>）。

打个比方：就像你去超市买牛奶，本来需要单独买面包，但超市的牛奶套餐里附赠了面包——你没主动买面包，但还是拿到了。这里的<iostream>就是那个“牛奶套餐”，它帮你顺带包含了size_t的定义。

2. 标准不强制禁止间接包含，但也不保证 #

C++标准只做了两件事：

• 规定size_t必须在<cstddef>（以及另外几个头文件，比如<cstdlib>、<cstring>）中提供定义；
• 要求开发者如果要使用size_t，应该显式包含对应的头文件。

但它没有禁止标准库的头文件互相包含。这就导致不同编译器、甚至同一编译器的不同版本，头文件的内部依赖关系可能完全不一样：

• 今天你用VS2017能编译，换个旧版GCC可能就报错；
• 未来VS更新标准库实现，<iostream>不再间接包含<cstddef>，你的代码也会瞬间编译失败。

这种依赖“隐式包含”的行为，属于C++标准里的未定义行为范畴——不是代码语法错误，但它的正确性完全依赖编译器的具体实现，不具备可移植性。

3. 额外补充：size_t的定义来源不止<cstddef> #

除了<cstddef>，C++标准还允许size_t定义在<cstdio>、<cstdlib>、<cstring>、<ctime>、<cwchar>这些头文件里。所以哪怕你没包含<cstddef>，只要包含了这些头文件中的任意一个，也可能直接使用size_t——但同样，这都是编译器实现的细节，标准不做强制保证。

给你的建议 #

为了代码的可移植性和规范性，不管当前编译器能不能通过，只要你用到了size_t，就应该显式添加：

#include <cstddef>

这一行代码。这样不管你把代码搬到什么编译器、什么环境下，都能确保size_t的定义被正确引入，避免不必要的编译错误。

内容的提问来源于stack exchange，提问作者John Midnight