最近把散落在草稿箱里的《C程序设计第五版》笔记重新翻了出来整理成一册连续的学习日记版本号被我写成了“2.0”。教材还是那本教材变的是学习方式。第一轮学这本书的时候我最大的毛病是“能跑就行”函数看不懂参数拷贝就不看指针越界导致的诡异结果直接甩锅给编译器文件读写不检查返回值代码能从终端里吐出预期数字就算过关。结果课堂练习勉强应付真到动手写一个带菜单、带文件存取的小项目整个人立刻露馅。这轮 2.0 重读我不再追求页码推进而是把每一章的练习题当成真实工程来拆解言下之意很简单C 是一门口诀简单、细节残酷的语言不把每次崩溃和警告背后的内存运动搞清楚学十遍也是表面功夫。这篇学习日记既是我的现场记录也算给后来人的一条可复用的复习路径适合正在啃这本书的在校读者、工作中需要重拾 C 语言的朋友以及那些用惯了 Python 但想补一补底层功底的开发者。核心关注点其实只有一类问题——数据在内存里到底是怎么放、怎么传、怎么失效的。把这条主线串起来语法点就自动变成网状结构了。1. 2.0版学习定位从“学过”到“敢说会用”1.1 第一轮学习最容易漏掉的东西第一次系统学 C 时我的知识结构是典型的概念堆叠顺序、选择、循环、函数、数组、指针、结构体、文件一章一章往后翻每一章都能写出像样的代码但知识点之间是隔离的。教材里讲“数组名可以作为指针使用”我记住了却不知道数组名什么时候能当指针、什么时候不能教材里讲“函数参数按值传递”我记住了“值”两个字却完全没想过传一个整型和传一个结构体在内存上有多少区别。第二轮我把整理笔记的单位改了不再按“第几章”划分而是按“一个变量从定义到销毁的完整生命周期”划分。每次遇到一个新语法点都追问四个问题这个变量分配在哪块内存区域它的初始值是什么函数参数传递时复制了什么离开作用域之后还能不能合法访问这四个问题串起来之后几乎所有概念都能找到彼此之间的关联。比如数组和指针之所以容易混是因为它们都涉及“地址”这个概念函数参数之所以“传不进去”是因为栈上复制了一份临时数据文件操作之所以偶尔丢数据是因为用户态缓冲区还没刷到磁盘就结束进程。这类知识如果放在章节框架里会被切割成孤立的“重点”很容易考完就忘。放到生命周期主线里才能在写下一段代码时自动触发联想。这也是我把新版本日记命名为 2.0 的原因不是量的增加而是组织方式的重构。1.2 给自己定的验收标准2.0 学习我给自己定了五个验收标准建议想复刻这套方法的人同样写下来不看笔记能画出简单程序的内存布局图至少要标出栈、全局区、字符串常量区。能向零基础的人解释“字符数组”和“字符指针”的区别且不出现“反正都是字符串”这类含混表达。能手写一个字符串复制函数并能说出它可能带来的缓冲区越界风险。每次调用文件读写函数都习惯性地检查返回值而不是默认操作成功。遇到段错误或数据被莫名改写时能从内存角度提出至少两个排查方向。这些标准没有一条对应某个具体语法题但它们覆盖了 C 语言真正的核心能力。单纯把习题答案背下来远达不到这些标准反过来如果标准全部达成教材里的绝大多数练习题做起来都不会有障碍。2. 环境选型与工程化习惯别让工具变成黑盒2.1 编译器与构建工具的选择学习 C 语言最忌讳的是打开一个图形化 IDE、点一下“运行”按钮、看到黑窗口出结果就结束。开发环境本身也是学习对象。我在这轮日记里选用的工具链非常朴素GCC 编译器加 Visual Studio Code 编辑器命令行构建。推荐在编译时显式加上几个选项gcc -stdc99 -Wall -Wextra -g -o demo demo.c-stdc99是因为《C程序设计第五版》的绝大多数示例基于 C99 语法加这个选项可以让教材代码在“标准模式”下编译-Wall -Wextra打开尽可能多的警告-g保留调试信息是为后边用调试器定位问题做准备。很多初学者看到警告信息就像看到透明人一样直接跳过这个毛病我第一轮也有。后来发现警告往往就是代码在标准边缘试探的信号。非法类型比较、函数声明缺失、可能的越界风险编译器都会预先发出提示。如果使用图形化 IDE 做练习最好额外确认一下它给项目配置了什么标准、编译选项在哪里修改。否则你写的代码可能在 IDE 的宽松默认设置下隐藏不少问题等换到严格编译器时突然出现一堆报错。2.2 最小工程目录结构单文件练习是教材前几章的常态但学到指针和结构体之后练习规模会自然变大。我给自己建了一个最小目录结构所有练习都按统一方式存放C-learning/ ├── notes/ │ ├── 01_types_and_expressions.md │ ├── 03_control_flow.md │ ├── 07_pointer.md │ └── 10_file_io.md ├── codes/ │ ├── ch01_basic/ │ ├── ch05_function/ │ ├── ch07_pointer/ │ └── ch10_file/ ├── debug/ │ └── crash_logs/ └── README.mdnotes目录放文字笔记codes目录按章节放可运行代码debug目录专门记录崩溃现场。这个结构不复杂但能带来两个好处一是笔记和代码捆绑出现不会出现“文字理解了但找不到验证代码”的情况二是调试记录有了固定归宿遇到重复问题可以直接翻历史。很多人懒得记录崩溃现场觉得“这次解决了就行”。但 C 语言的坑有一个特点——它高度相似。同一个空指针错误换了变量名之后就可能完全不认识。把每次崩溃的现场、报错文本、修复方式记下来越往后越值钱。2.3 每篇笔记的固定模板2.0 笔记我不想写成流水账于是给每篇设置了固定模板学习目标这一章我想验证什么结论。验证代码最小可运行示例。运行结果完整输出。疑惑点编译时有什么警告运行时哪里不对原理归因对应内存布局、语法规则还是调用约定。复现状态是否已经弄清能否写进自己的知识库。这个模板的好处是强迫自己从“看懂”走向“复述”。很多内容看教材的时候觉得都懂一旦独立把“为什么要这么写”写出来就卡壳了。写不出来的地方就是没学会的地方。3. 精读记录函数、数组与指针的血肉联系3.1 swap 函数参数拷贝的第一次打脸几乎所有学 C 的人都写过那个经典的交换函数。我第一轮最典型的翻车现场就是下面的代码#include stdio.h void swap(int x, int y) { int tmp x; x y; y tmp; } int main(void) { int a 10; int b 20; swap(a, b); printf(a%d, b%d\n, a, b); return 0; }输出结果当然是a10, b20交换没有发生。第一轮我的理解停留在“要传指针”这个口诀上第二轮我开始纠结“为什么要传指针”。原因其实很直接C 的函数参数传递是值传递swap(a, b)把a和b的数值分别复制了一份给形参x和y。函数体内交换的是副本原变量根本没有参与。换一个生活化的比喻你把自己的手机号写在纸条上交给别人对方拿到的是纸条而不是你的手机本身。他在纸条上把号码改掉并不会换掉你手里的手机。想真正改变原手机号对应的“东西”就必须把存储位置告诉对方——这就是指针。修正版#include stdio.h void swap(int *x, int *y) { int tmp *x; *x *y; *y tmp; } int main(void) { int a 10; int b 20; swap(a, b); printf(a%d, b%d\n, a, b); return 0; }这里的关键不是“传了指针”而是通过指针拿到了变量的存储地址再通过解引用改写了地址里的内容。从此之后我每次写函数都要想清楚我要修改的是调用者那边的存储内容还是只需要借用值前者必须传地址或结构体地址后者直接传值即可。这个判断习惯比背任何结论都管用。3.2 数组名与指针相等并不等于相同教材里有一个高频说法数组名是常量指针指向首元素。这句话方便联想但严格来说并不准确。第二轮我特意做了一组对照实验#include stdio.h int main(void) { int arr[5] {1, 2, 3, 4, 5}; printf(arr %p\n, (void*)arr); printf(arr[0] %p\n, (void*)arr[0]); printf(arr %p\n, (void*)arr); printf(sizeof(arr) %zu\n, sizeof(arr)); return 0; }在我的机器上arr、arr[0]和arr打印出来的地址值是一样的但含义完全不同arr在很多表达式里会退化成指向首元素的指针arr[0]是首元素的地址arr是整个数组的地址。它们数值相同指针类型不同。后果就体现在指针加减上arr 1跳过一个int而arr 1跳过整个数组。还有一个经典差异就是sizeof。sizeof(arr)在数组变量名上计算的是整个数组的字节数也就是5 * sizeof(int)但把它塞进一个函数参数后由于数组参数退化成指针你得到的是指针大小。这种差异初学不容易留意等到写跨函数传递数组的代码时就会变成隐蔽的 bug 来源。3.3 手写 strcpy少即是多的危险优雅为了把指针、数组、字符串和边界安全一次练透我按照教材的引导手写了一个字符串复制函数#include stdio.h void my_strcpy(char *dest, const char *src) { while ((*dest *src) ! \0) { // 空循环体复制并判断 } } int main(void) { char buf[16] {0}; my_strcpy(buf, hello, C); printf(%s\n, buf); return 0; }这段代码把“解引用、赋值、自增、判零”浓缩在一行里确实体现了 C 语言表达力强悍的一面。但它同样把缓冲区越界的风险埋得很深。假如源字符串比目标空间长比如源串长 20 字节、目标只有 16 字节my_strcpy会越过buf的边界继续写直接破坏栈上相邻数据。在教材练习里可能只是输出乱码在真实项目里就可能变成可利用的安全漏洞。我自己写这个函数的目的不是鼓吹“一行代码很优雅”而是想要理解两个边界循环结束于复制到\0的那一步因此字符串末尾必须包含结束符目标空间长度由调用者负责函数内部无法判断目标容量。现在标准库更推荐的做法是使用带长度限制的函数但理解这段经典代码仍然是理解指针运算和字符数组的好素材。4. 结构体、字符串与文件读写实操记录4.1 字符数组与字符指针一言难尽的初始化字符串在 C 里没有独立类型最常见的两种表达方式是char str[] hello和const char *str hello。初学者容易觉得两者可以互换第二轮我发现边界差异非常明显。char str[] hello会在栈上或全局区分配一块可写的数组然后把五个字符和末尾的\0放进去。你可以安全地修改str[0]。const char *str hello指向一个字符串字面量通常存储在只读区域尝试修改它属于未定义行为具体表现可能是段错误也可能是“碰巧没出错”。正因为只读字符串藏在这种细微的差异里我给笔记写了一条铁律字符串字面量一律用const char *接收需要修改内容时使用显式大小的字符数组。如果不能确定内容是否会变宁可定义成数组也不要赌只读区的兼容性。4.2 结构体数组从单个记录到批量管理学到结构体C 语言的“数据建模”能力才真正展开。我练习时用了一个图书借阅记录的简化模型每条记录包含编号、书名、借出状态和续借次数。结构体数组把多个字段捆绑在一起让代码组织变得清晰#include stdio.h #include string.h #define MAX_BOOKS 100 struct Book { int id; char title[64]; int borrowed; int renew_count; }; int main(void) { struct Book books[MAX_BOOKS] {0}; books[0].id 1; strcpy(books[0].title, C Programming); books[0].borrowed 1; printf(%d: %s, borrowed%d\n, books[0].id, books[0].title, books[0].borrowed); return 0; }这里我特别留意了结构体数组在内存里是连续排布的遍历、写入、排序都可以用数组下标完成。如果要按某个字段排序可以用qsort也可以自己写一个冒泡排序实践时重点想清楚交换的是整个结构体而不是某个字段。交换整个结构体在大结构体时会引入不小的复制开销这也是为什么真实系统里更常见的是用指针数组指向结构体对象。这个练习的意义在于把前面的数组、字符串、指针全部汇合到业务语义里也让我体会到 C 语言没有自动扩容数据结构数组中最大容量一旦定下就得自己维护边界。很多新手一上来就写大数组却从不关注是否越界这在笔试题里也许能通过在真实系统中迟早会付出代价。4.3 文件读写返回值比输出结果更重要文件操作是教材里的最后一个大模块也最容易被学成“套模板”。我第一轮写文件代码时习惯性写完fopen不检查返回值直接假设打开成功。第二轮开始养成了另一个习惯所有文件函数都检查返回值。#include stdio.h int main(void) { FILE *fp fopen(notes.txt, w); if (fp NULL) { perror(fopen); return 1; } if (fprintf(fp, line 1\n) 0) { perror(fprintf); fclose(fp); return 1; } if (fclose(fp) ! 0) { perror(fclose); return 1; } printf(done\n); return 0; }为什么返回值不能忽略因为文件 I/O 涉及内核缓冲区、磁盘状态、权限校验等多个环节任何一步都可能失败。fopen打开失败常见原因是路径不存在或权限不足fprintf返回值小于零说明写入过程中出错fclose失败则可能意味着缓冲区数据没有真正落到磁盘。真实项目中如果吞掉这些错误最后看到的往往是一个“看起来没问题但数据没存上”的诡异现象。另一个容易忽略的细节是刷新行为。程序正常fclose会把缓冲区内容刷到磁盘但如果你只调fopen和fprintf却忘记关闭文件或者程序直接崩溃退出缓冲区内容可能丢失。处理好文件生命周期和处理好变量生命周期一样重要。5. 避坑与排查从编译报错到内存错误5.1 编译警告编译器已经给了答案在 C 语言的学习阶段编译器是最好的在线导师。开启-Wall -Wextra之后遇到的高频警告几乎每一种都值得认真看一遍。我整理了一张小型速查表专门贴在日记目录里警告信息通常原因建议动作implicit declaration of function忘记包含头文件包括正确头文件或声明原型format specifies type ... but argument has type ...格式串与实参不匹配用%d、%ld、%zu等匹配类型unused variable变量未使用删除或先使用避免掩盖问题comparison between signed and unsigned有符号与无符号比较统一类型通常用size_t管理长度control reaches end of non-void function函数缺少返回值补全所有路径的return这些警告看着像小事但往往对应隐藏的未定义行为。比如有符号与无符号比较在极端数值下会绕过正常判断让循环变成死循环或提前退出。第一次遇到这类问题建议主动修改代码而不是关闭警告因为编译器提示的正是最容易出错的位置。5.2 段错误与越界的定位思路段错误是 C 语言新手最害怕的单词但它本质上只是“程序访问了不属于自己的内存”。第二轮我给自己总结了三个排查方向先查是否访问了空指针或非法地址再查数组下标是否越界最后查是否在函数返回后继续使用栈上局部指针。# 启用地址消毒器快速定位越界 gcc -stdc99 -g -Wall -Wextra -fsanitizeaddress -o demo crash.c ./demo地址消毒器会直接报告越界发生在哪一行、访问了哪个地址对学习期的定位帮助极大。我建议所有教材练习都至少在调试阶段开启它。哪怕最终发布时去掉这个选项学习阶段也值得认真用到。越界还有一个经典现象变量没有被显式修改但运行到某个时刻值突然变了。这通常是因为相邻数组元素被越界写入破坏了相邻变量的存储区。排查时不要只盯逻辑要把数组长度、循环边界、字符串结束符三件事一起复查。只要这三个地方出任何一个问题后果都可能出现在毫不相干的变量上。5.3 如何利用调试器而不是乱猜遇到运行时 bug很多人第一反应是加打印信息。我不反对打印但更建议尽早学会使用调试器。在-g编译之后用调试器在可疑位置打断点查看变量的内存地址、取值和调用栈就能把“我感觉……”变成“数据显示……”。调试器的核心操作其实只有几个打断点、单步执行、进入函数、查看变量值、查看调用栈。对新手来说一次完整的调试循环带来的知识密度远高于加二十行printf。因为调试过程会强迫你思考程序此时的状态而不是只关注最终输出里的某一个数字。我把第一次调试器实操写进了 2.0 笔记作为思维转变的里程碑原来 C 程序不是一段从头滚到尾的脚本而是层层调用、步步返回的过程网络。弄懂了这个网络看书时很多费解的内容就有了抓手。6. 持续迭代把 2.0 日记变成可再生资源6.1 每个知识点绑定最小可运行示例记笔记有一个普遍陷阱写着“重点”。第二轮我给自己立了新规矩笔记里不能只有结论每个结论必须绑定一段最小可运行代码和对应的运行结果。比如写“数组名在表达式里退化为指针”就必须附上三行代码和输出用来验证这个说法。这种做法的价值在两个月后体现得特别明显。当我把第一轮笔记和第二轮笔记放在一起对比时第一轮写满了判断句却没有代码第二轮每一段都可以随时拉出来运行。代码是知识的压缩包只要能被重新展开运行知识就不会腐烂。单纯背诵文字长期来看基本等于遗忘。6.2 把错题变成回归测试学习 C 语言的过程中错误是最高价值的学习材料。我后来把曾经犯过的典型错误编译成一组“自我测验”比如请找出下面代码中越界的隐患请改正类型不匹配的格式串请判断函数参数为什么没被修改。每周随机抽取两道做一遍比漫无目的地刷整套习题更高效。还可以为重要练习写一个最朴素的正则脚本检查输出是否符合预期。不必引入复杂的测试框架一个 shell 脚本就够用。核心是形成闭环学到一个机制写代码验证验证出问题修改笔记笔记沉淀成新的测验下一次复习时用测验检验自己有没有真正掌握。6.3 重读的节奏慢比快有效第二遍读这本书我的速度明显慢于第一遍但收获也明显更大。第一遍像游客在景点门口拍照第二遍像本地人慢慢逛菜市场。像const修饰指针、多级指针、位运算这些难点我甚至一个知识点拆成了三个晚上消化每天只写二三十行代码。这种慢换来的是一份“敢说自己读过这本书”的底气。第一遍学习结束时我最多能说“翻过”第二遍学习结束时我才愿意说“学过”。如果让我给后来人一个最终建议那就是别和别人比看书速度要和自己的认知深度比。每天能彻底想明白一个指针问题一个月后你会发现整个知识框架已经牢固很多再回头看那些曾经让你抓耳挠腮的题目它们已经从障碍变成了风景。