未定义行为与实现定义行为

动态内存必须遵循“申请、使用、释放”的生命周期。malloc 返👍回的内存未被初始化，calloc 会将分配区域清零，realloc 可能移动原有数据。调用 realloc 时，直接覆盖原指针可能导致分配失败后丢失原地址，工程代码通常应先保存返回值，确认成功后再更新指针。

学习 C17 可以按照“语法基础—内存模型—标准🚀库—模块化—并发✅与平台”的顺序推进。每个阶段都应配合一个可运行项目，并通过测试和代码审查验证理解，而不是只完成书面练习。

玩转17C前要补齐的四类基础

C17 并没有像 C11 那样引入大量醒目的新特性，它主要围绕缺陷修复、标准澄清和兼容性改进展开。因此，学习重点应放在 C11 基础、C17 编译模式、未定义行为排查、资源管理和工程规范上，而不是把它当成一门完全不同的新语言。

未定义行为意味着标准不要求编译器提供特定结果，例如有符号整数溢出、数组越界、空指针解引用和读取未初始化对象。编译器在优化时可以基于“程序不会发生未定义行为”进行推断，导致调试版本和发布版本表现不同。

现代 C17 工程并不等于堆叠复杂语法，而是让每个接口都更容易验证。函数应尽量短小，输入参数应表达长度和容量，可能失败的操作应返回状态，资源释放应集中在清晰的出口位置。

从小程序开始实践 C17

玩转17C需要先建立一套能够解释程序运行结果的基🔮础知识。只会写出能够编译的代码，无法处理内存越界、生命周期错误和跨平台差异。

指针保存的是地址，数组则是一段连续对象。数组名在许多表达式中会转换为指向首元素的指针，但数组和指针并不是同一种类型。理🔮解 sizeof、指针加法、二维数组参数和 const 修饰，是避免访问错误的第一步。

需要注意的是，C17 不会自动让程序更安全，也不会替开发者决定接口设计。安全性来自边界检查、清晰的所有权、严格的错误处理、持续测试和合适的工具链。掌握这些原则后，面对不同编译器、操作系统和项目规模，才算真正玩转17C。