学习笔记

一、引言《C 陷阱与缺陷》（C Traps and Pitfalls）由知名计算机科学家 Andrew Koenig 所著，作为 C 语言编程领域的经典权威著作，自出版以来始终是 C 语言开发者进阶路上的必读书籍。本书聚焦于 C 语言底层机制，通过系统性的分析与丰富的实践案例，深度剖析了 C 语言中容易引发逻辑错误、安全漏洞和性能问题的语法特性、实现细节及不良编程习惯，旨在帮助程序员构建对 C 语言的全面认知，进而编写出具备高安全性、高可靠性和高健壮性的代码。本学习笔记以该书第二版为蓝本，结合现代 C 语言开发场景，系统梳理 C 语言编程中各类常见陷阱及其有效的防御策略，为开发者提供实用的参考指南。 二、词法分析陷阱2.1 "贪心法" 原则C 编译器在进行词法分析阶段，严格遵循 "贪心法"（又称 "大嘴法"）规则，该规则的核心逻辑在于尽可能地将连续字符序列组合成单个符号单元。这一特性源于 C 语言早期设计中对代码简洁性和解析效率的平衡考量，却也为代码编写带来潜在歧义风险。例如： 1a---b //...

一、指针本质的深度剖析1.1 指针的内存映射机制指针变量在内存中占据固定大小的存储空间（取决于系统位数，32 位系统为 4 字节，64 位系统为 8 字节），其存储的数值是另一个内存单元的地址编码。这种地址编码与内存物理地址存在映射关系，操作系统通过内存管理单元（MMU）实现虚拟地址到物理地址的转换，而指针操作的始终是虚拟地址空间。 1.2 指针类型的约束作用指针的类型并非仅为语法约束，而是决定了指针运算的步长和解引用时的内存访问范围。例如： int *p：p++操作使地址增加sizeof(int)，解引用时访问 4 字节内存 char *p：p++操作使地址增加 1 字节，解引用时访问 1 字节内存 这种类型约束是 C 语言类型安全的基础，也是避免内存越界的重要保障。 二、指针与数组的辩证关系2.1 数组名的双重属性数组名在多数语境下表现为 "指向首元素的指针常量"，但存在两个例外： 作为sizeof运算符的操作数时，返回整个数组的字节大小（如sizeof(int [5])返回...