写了挺多年C带过不少做项目的同学也看过很多号称“基础扎实”的简历。说实话大部分人学C不顺利问题并不出在背不出语法而是心里始终没有一张关于“数据和内存”的图。这张图一旦画出来指针、引用、多态、STL、智能指针这些东西其实都是同一件事的不同侧面。这篇C基础笔记不会按教科书目录把语法罗列一遍我会照着我认为最实用的路径把真正支撑起C这套体系的核心骨架拆给你看内存模型、对象的身份、继承多态背后的布局、STL怎么选、智能指针在解决什么问题以及学完语法之后该往哪走。它适合刚开始学C的人也适合写过一些功能代码但感觉自己底层链路不清楚的朋友。1. 为什么C基础要先建立内存视角而不是背语法清单1.1 三个存储区栈、堆、静态存储拿到一段C代码我建议你先问一句这里的数据存在哪里存活多久谁负责释放这三个问题比记一个函数怎么写重要得多。通常我们把内存分成栈区、堆区和静态存储区但我更愿意叫它们“三种生命周期”。栈空间是函数调用的私有后台。每次进入函数局部变量在栈上压入一段空间函数一返回这段空间自动回收。所以栈上的数据天然是“短命”的不需要你手动管但也意味着你不能把一个栈变量地址返回出去再用那是在访问一块已经作废的内存。堆空间则是完全不同的玩法你用new或malloc申请它一直活到你显式delete或free它会跨越函数边界存在但你得为它负责。静态存储区在程序启动时分配直到程序结束才释放全局变量、静态变量放在这里。我遇到过不少初学者调试崩溃时一脸茫然其实很多问题归到最后就是一个“生命周期不匹配”A函数创建了堆对象B函数用完之后随手delete了C函数再来访问这块区域程序就高兴地踩进了未定义行为区。用调试器去看变量地址、跟踪变量从出生到销毁比死记“栈区堆区静态区”的定义有用得多。1.2 构造函数不是魔法它只是初始化那块内存很多人写class写多了会默认“类天然就会做出一个对象来”其实对象就是一块内存构造函数是内存登场时的初始化仪式。分配的原始内存就像一张白纸构造函数负责往上面填写初值析构函数负责清理资源。从这个角度看有件事儿就很好理解了如果类里有指针成员你必须在构造函数里把它初始化成空指针或有效地址否则这只野指针还留着上一个使用者的痕迹。很多线上bug就是这么来的对象创建了但某个指针成员没有初始化析构函数一看它非空顺手delete出来一个“莫名奇妙”的崩溃。这里有一个非常实用的小习惯写类的时候所有成员变量全部给初值。C11以后可以直接用成员默认初始化器比如int* buffer nullptr;每个构造函数都省心很多。不要觉得给个nullptr是多余它换来的是可预测的行为值这个价。1.3 不要忽略“未初始化”这个最安静的杀手C没有强制要求你在声明变量时初始化但它默认给栈上的局部变量一个“不确定值”。我听过无数人问“我明明什么也没干这个变量怎么是一个巨大的随机数”原因就是你看了别人的栈里的残留数据。有一个场景我一直提声明一个局部字符串对象没赋初值它倒是能正常用因为容器类自己会进行默认构造内部指针会被初始化为nullptr或分配一个空缓冲。但如果你写的是int count;后面跟着count;这行代码就变成在不确定值上做算术行为完全不可预期。所以基础阶段定个规矩所有内建类型变量局部和成员都显式初始化。宁多勿少它省掉的是你调一晚上bug的时间。2. 变量、对象与身份把指针、引用、const放在同一张图里2.1 struct和class的差距比你想象的小我遇到过不少初学者认为struct是C语言的东西class才是C的“正道”其实它们是同一个东西都有成员函数、都支持继承、都能访问控制。唯一的区别是默认访问权限struct默认是publicclass默认是private。写一个只有public成员的小型集合用struct读起来更自然因为它本来就是用来表示数据的聚合体如果这个类型有内部状态、不变量要保护那用class配合private更合适。这更多是表达意图的选择不是技术高低的比较。有人还执着于问“这个struct里能不能放构造函数”当然能。你完全可以让它具备普通类的所有能力只是别把无关的行为塞进一个本该简单的数据结构里。2.2 传值、传引用、传指针不是速度问题是所有权问题这真是C基础里最常被问翻车的话题。“指针比引用快”这种谣言不要信底层实现上引用和指针往往对应同样的机器指令差别在语义和安全性。我把取舍整理成一张表平时写代码对照着选就行方式参数含义是否拷贝能修改原对象吗可以为空吗推荐场景传值复制一份副本是不能不涉及小对象、只读副本传引用原对象的别名否能不能大对象、需要修改实参传const引用原对象的只读别名否不能不能大对象只读最常用传指针指向原对象的地址否拷指针能能允许空、表达“可选”如果你的参数是一个比较大的自定义类型读数据又不想改它无脑选const引用。这个习惯不仅是性能问题更是一种声明我保证不会动你的数据。传指针的场景主要在“这个参数可能为空”或需要表达“对象归属需要变更”时因为引用没有“空引用”这种合法状态。另外提醒一句基础阶段别拿“XX习惯更高效”来说服自己C编译器在优化上比我们想象中“鸡贼”得多。写代码时先做对语义选择性能问题留给剖析工具去证明。2.3 const修饰的到底是哪个东西const大概是C里拼写最容易迷惑的关键词。我教人一个办法从右往左读。比如const int* p从右往左p是指针指向一个const int意思是这个指针可以改它指向的值不能通过它改。换一个写法int* const pp本身是const所以指针本体不能改但它指向的int可以改。再叠加const int* const p指针本身和指向的值都不可改。很多人觉得这是考试题实战中不常用其实不然。API设计里const char* str和char* const str表达的责任完全不同。前者是“我读你传进来的字符数组不改”后者是“这个位置固定指向某个字符数组但我会改写数组内容”。把语义读清楚接口不会互相踩脚。2.4 左值与右值不是玄学是资源身世的线索现在大量的现代C代码里能看到也就是右值引用。你不用把标准里的形式定义背下来只需知道一个原则std::move不是移动它只是把左值“伪装”成右值好让编译器去匹配移动构造函数或移动赋值函数。为什么要移动因为复制大对象太贵了。一个vector里装着上万个元素按值返回时如果编译器不做优化就会深拷贝一遍。移动语义能让新对象直接接过旧对象的内部指针旧对象则被留下一个“空壳”这个过程通常只涉及几个指针赋值。写基础笔记时我会强烈建议搞不懂第一次没关系但要清楚移动语义解决的是“拷贝成本”问题它是智能指针时代的重要地基。3. 继承与多态用一张“对象布局图”看懂虚函数3.1 继承解决的是复用组合解决的是灵活要不要继承我的标准一直没变过继承只用在真正的“is-a”关系上。比如猫是一种动物可以继承。而“汽车需要引擎”这种场景应该优先用组合因为has-a关系用成员对象表达更稳。继承最大的麻烦是它把类之间的生命周期和类型体系绑死了改基类会影响一片子类。很多项目后期重构困难就是因为当初偷懒把两个并没有严格“is-a”关系的类用继承连起来了。C里组合的写法并不复杂一个类持有另一个类的对象或指针对外只暴露自己需要的方法这让你有足够的自由度去替换内部实现。3.2 虚函数表多态在内存里长什么样基类指针调用派生类函数这个动态绑定过程不是魔法。带虚函数的类实例里通常藏着一个隐藏指针一般叫vptr它指向一张函数地址表也就是vtbl。这张表里存着该类每个虚函数的真实地址。我习惯把类的布局画成这样对象布局 [ vptr ] - 指向 Derive::vtbl [ 基类数据成员 ] [ 派生类新增数据成员 ]当编译器看到基类指针调用虚函数时它不会直接生成“调用基类那个函数”的指令而是运行时先取对象的vptr再从对应vtbl里找到正确的函数地址。调用的路由多了一步代价是微小的时间开销换来的是跑在同一个基类接口下的不同对象可以执行各自的实现。这就是多态。有个面试味道很浓的问题值得想一个类加了虚函数后sizeof会变大一般情况下会多一个指针的大小。空类本身占1字节用于占位加了虚函数后通常变成8字节或4字节取决于机器。明白了这个就能解释很多关于内存布局的疑问。3.3 构造函数与析构函数别在房子建好前装修构造函数里调用虚函数得到的结果往往是“调用基类版本”因为构造过程中对象的动态类型还不够完整vptr指向的可能是当前正在构造的基类子对象的虚函数表。等派生类开始构造后vptr才会被更新过来。析构常见的坑比这个更多。如果你打算把类设计成基类使用析构函数有两个选择要么声明成public virtual让派生类可以通过基类指针被正确析构要么声明成protected非虚析构禁止外部通过基类指针delete它。最怕的是public且非虚这时候Base* b new Derived; delete b;会产生未定义行为派生类部分可能根本没被析构资源就漏了。这种错误很难看见因为它不一定导致崩溃但一定会造成某种层面的资源泄漏。3.4 析构顺序和构造顺序正好相反构造时从基类到派生类一层层往上搭析构时则是从派生类回到基类。这套纪律保证了一个事实派生类使用的基类成员在派生类析构完成前依然有效不会出现“子对象想用基类数据基类却已经没了”的荒诞局面。实际操作中我建议你在基类析构函数里别做太复杂的事尤其不要调用可能依赖派生类状态的方法。基类析构执行时派生类部分已经被销毁了这时候再去碰派生类的数据跟访问野指针没有太大差别。4. STL不是背名词表容器选型与迭代器避坑4.1 容器特性对照选型即设计STL容器是C基础里最值得反复琢磨的一块。很多初学者靠“见过名字”理解容器等真写代码时不知道用哪个。这张表是我平时直接拿来抄作业的容器底层随机访问头部插入中部插入经验结论vector连续内存O(1)很差很差默认优先读多写少deque分段连续O(1)很好一般两端都需要操作时用list双向链表不支持很好很好已知节点别因为“听说法”乱用map红黑树按键计算O(log n)整体有序按键有序需要保序时用unordered_map哈希表O(1)平均O(1)平均需要hash只要查询不需要顺序时用它我一直坚持一个观点能不写自定义结构就用标准容器。标准库经过大量工程打磨边界情况处理得远比临时手写可靠。只有在明确了性能瓶颈和解剖报告之后才值得为了特定场景手写底层结构。4.2 迭代器失效删除元素时最容易翻车用vector存一堆整数然后循环里删除某些符合条件的元素很多新手会这样写for (auto it values.begin(); it ! values.end(); it) { if (*it % 2 0) { values.erase(it); } }这段代码的问题是erase会让传入的迭代器失效之后it就是在一个失效迭代器上操作结果是未定义行为。正确的做法是让erase返回下一个有效迭代器从C11开始容器erase会返回这个迭代器auto it values.begin(); while (it ! values.end()) { if (*it % 2 0) { it values.erase(it); } else { it; } }这个坑每届都能炸一大片根子是没把“迭代器是容器内部位置的游标”这件事想透。vector的erase会搬动后续元素游标指向的内容已经变了list的erase只会让当前节点失效相邻迭代器还能用。所以在动手前先问一句这个容器会怎么处理我手里的迭代器4.3 排序、比较器与隐藏的状态问题std::sort基础但比较器写错了一样有崩溃风险。比较器必须满足严格弱序最典型的是“a跟b比先返回trueb跟a比又返回true”这种不对称会让排序内部走进未定义行为结果可能是数组乱掉严重时直接崩。另一个容易被忽略的是比较器的稳定性。如果你在比较器里捕获外部状态比如某个计数器甚至内部访问了一个会变的值排序的结果就不可复现。调试这种问题极其痛苦因为同样的数据跑两次结果不同。我的习惯是比较器必须是纯函数不捕获可变状态只用参与比较的元素本身的信息判断。标准库也提供很多基础算法但用之前需要看清条件。比如lower_bound只适用于已排序区间用错了你得到的“位置”是错的。基础阶段应该建立一种警觉STL函数不是拿来就能用的黑盒每种算法都声明了自己的前置条件。5. 从裸指针到智能指针把“内存所有权”说清楚5.1 裸指针最大的问题不是写法是责任归属用裸指针写代码最痛苦的一件事是团队里没人说得清这个指针谁负责释放。函数A new了一个对象传进函数BB用完可能忘了该不该delete万一又传到别的模块最后成了一场猜谜。真正优雅的做法是让“所有权”变得可追踪。C11的智能指针就是干这个的。写代码前先分类这个对象是“独占”的还是“共享”的独占就用unique_ptr共享就用shared_ptr存在弱引用关系就用weak_ptr。5.2 智能指针确实不是零成本它的成本要花在明处unique_ptr在大多数场景下和裸指针的内存开销一样析构时自动调用删除器不需要维护额外的引用计数。shared_ptr要有引用计数控制块多线程环境下计数操作还要做原子更新这就比裸指针和unique_ptr多不少开销。我一直反对“处处shared_ptr”的做法。如果一个对象很明确只属于一个所有者那就用unique_ptr提高一点效率是次要的主要赚的是语义清晰。shared_ptr的引用计数只保证“到最后一个shared_ptr销毁时才释放对象”它不保证别的线程正在使用的局部引用还活着这就是那个经典的误区shared_ptr不是线程安全万能药它保证不了对象的并发安全访问。5.3 移动语义和智能指针一起用才顺手回到移动语义。自定义类型如果管理了资源应该按现代C的规则提供移动构造函数和移动赋值函数并在移动后把源对象重置到有效状态通常是让源对象的指针成员置空。class Buffer { public: Buffer(Buffer other) noexcept : data(other.data), size(other.size) { other.data nullptr; other.size 0; } private: char* data; size_t size; };这个设计里很关键的是noexcept。在vector扩容等场景只有移动构造被声明为noexcept时容器才敢放心地移动元素否则为了异常安全它会退回去拷贝性能提升就打了折扣。这也是一种“编译器让你显式承认代价对称”的设计你告诉它移动不抛异常它才敢用移动。5.4 循环引用shared_ptr的温柔陷阱两个对象互相用shared_ptr持有对方会造成谁也无法被释放的循环引用。破解办法是让环中相对“从属”的一方使用weak_ptr。weak_ptr像一把不带所有权的钥匙lock成功时临时获得一个shared_ptr对象一旦销毁lock返回空指针程序不会去访问一块已释放的堆内存。工程里如果发现一个模块的shared_ptr满天飞析构函数迟迟不被调用优先怀疑就是有了环。排查时候可以从析构日志下手打印每个对象的析构时间看看哪个对象停了。6. 学完语法之后调试、读源码、重构三条路6.1 调试器是最好的第二个老师很多人写完代码就把它跑起来报错了开始瞎猜然后往代码里堆printf这太费效率了。我强烈建议从第一天起就用调试器。在断点处停下来你有三样东西最值得看调用栈、局部变量、表达式窗口。调用栈告诉你这行代码是怎么走过来的直接击碎“我怎么跑到这里来了”的困惑。你可以用绘图的方式把自己对象的地址、内容、生命周期阶段写下来我认识几个这样学出来的同学后来排查问题都特别稳。试试这个流程在main第一行下断点然后单步执行打开一个指针变量的内存窗口亲眼看看new之后那块内存的值变化再delete一次观察那些数据变成“垃圾值”的过程。十次之后你对内存的理解会超过背十本书。6.2 读标准库头文件比刷太多题有用想真正把C基础笔记里的东西变成自己的判断力我建议读一下标准库的头文件尤其是容器和算法的声明部分。你不用把源码全读懂先看接口签名哪些参数是const引用哪些重载是右值引用为什么同一种功能要分那么多重载。看到vector::push_back既有const T版本又有T版本就明白它是在给“拷贝”和“移动”两条路径同时开门看到erase返回iterator就知道这是一条为“边删边遍历”铺的路。头文件里的每一处设计都写着过去的惨痛教训多读几遍代码品味会明显提升。6.3 小步重构把过程式代码慢慢改成类基础语法都学了以后很多人不知道从哪里积累工程感觉。我建议回头看看自己最开始写的那些噩梦函数一个几百行的main函数试着慢慢切分成类。切分的时候不要推倒重来而是小步走先抽函数再考虑哪些数据总是一起出现把它们收敛到一个class里方法的接口尽量写成前面说的const引用和智能指针最后看哪些行为适合用虚函数表达哪些只是简单计算。重构一轮下来你其实把整篇笔记里的知识点全部用了一遍生命周期、对象身份、多态、容器、智能指针全在里面。我个人的体会是C基础阶段真正的临界点不是记满多少语法而是能在写每一行代码时下意识想到那个变量活在哪儿、由谁管理、什么时候走。你不需要一下子成为所谓大师只需要把这条主线反复巩固后面无论是模板、元编程还是更底层的系统编程都会顺着同一个逻辑长出来。最后再分享一个小习惯养成随时做日志的好习惯尤其是在析构函数里打一行标记它会在无数个排查内存问题的夜晚帮你节省大把时间。