简介《嵌入式八股文篇200页》面向准备嵌入式方向校招、社招面试及需要系统复盘C/C基础的开发者聚焦高频八股知识点梳理帮助解决概念零散、面试前难以成体系复习的问题。资源包内含1个PDF文件约9.62MB、共200页目录按面试必备、运算符、关键字、结构体、联合体、枚举等模块组织便于按主题检索和逐章学习已有1239人学习。内容围绕运算符优先级与分类、continue/break/return/goto等流程控制关键字以及volatile、typedef、const、extern、register、auto等语义和易混点展开同时讨论struct与class区别、结构体大小与对齐、联合体与结构体差异、大小端判断与转换、占用空间计算等常见面试题。适合面试前快速查漏补缺也可作为嵌入式C/C基础知识的复习清单按目录逐项核对掌握程度。1. 先看一张五格地图200 页嵌入式八股文到底在考什么嵌入式八股文这类资料最容易犯的错是从第一页顺着背——运算符、关键字、内存、指针、预处理、函数一路排下来背到指针那章前面关键字的内容已经忘光。200 页的目录其实能压成一张五格地图语言基础运算符与关键字、内存分区、堆栈、对齐、泄漏、指针与数组数组名加法、函数指针、野指针、预处理宏与头文件、函数与对象内联、虚析构、new/malloc。这五格彼此关联volatile 讲不清多半是没搞懂编译优化在干什么字节对齐算不对是没建立“地址偏移”的直觉野指针反复踩是内存分区没吃透。这份整理适合语法已经过了一遍、正在准备嵌入式岗位面试或期末复习的人也适合工作两年想回头补底的人。下面按地图逐格拆重点标出高频题和容易出错的地方。2. 关键字关volatile、static、const 与 typedef 的四条主线关键字是整份资料里题量最大的部分十几个关键字看似平铺实际能归到四条主线可见性volatile、生命周期与链接static、extern、只读约束const、类型命名typedef、define。四条主线之外还有一类“算大小”的题——union、struct、enum本质考的是内存布局所以放到 2.5 收尾。2.1 volatile三个场景、一个反例、一句必须记住的边界volatile 的作用只有一句话告诉编译器这个变量可能被程序之外的因素改变每次访问都必须老老实实从内存读、往内存写不许缓存到寄存器也不许把“看起来没用”的读操作优化掉。它在编译优化阶段生效和 extern 在链接阶段生效正好是一对常考对比。真正要背的是三个使用场景。第一是外设寄存器映射第二是中断服务程序里修改、主循环里轮询的全局标志第三是多任务之间共享的普通变量这一条只能算“必要不充分”。#include stdint.h /* 场景一状态寄存器映射到固定地址硬件会自己改这一位 */ #define UART_SR (*(volatile uint32_t *)0x40011000) void uart_wait_tx_done(void) { /* 没有 volatile编译器可能只读一次 UART_SR 把循环优化成 while (1)程序就卡死在这里 */ while ((UART_SR 0x80U) 0U) { /* 空循环等待 */ } }上面这段的关键不在while在volatile uint32_t *这个强制类型转换地址是常量但指向的内容会变所以指针本身不必是 volatile被指向的类型必须是。写volatile uint32_t *const更严谨一点表示指针不可改、指向内容易变。反例是高频追问“volatile 能保证原子性吗”不能。volatile uint32_t cnt; cnt;在汇编层面是读、加、写三步中断或另一个核插在中间就会丢更新。volatile 只保证“每次都真读真写”不保证“读改写不可分割”也不保证编译器和 CPU 不做指令重排——需要顺序保证时得靠内存屏障或原子操作。还有一个常被忽略的组合const volatile。只读状态寄存器就是典型——程序不写它但硬件随时改它两个修饰符缺一不可。梳理下来会发现凡是“地址固定、内容会变”的东西基本都落在这个组合里。2.2 static四种身份一张表说清static 是典型的“一个关键字、四种语义”面试时只答“静态变量存在静态区”会被追着问。按修饰对象拆成四行记忆负担立刻降下来。修饰对象存储位置链接属性生命周期高频追问局部变量静态存储区无链接整个程序只初始化一次C 中必须用常量初始化全局变量静态存储区内部链接整个程序只在本文件可见可用于封装模块私有状态函数代码区内部链接整个程序同名函数不会跨文件冲突类静态成员变量静态存储区属于类整个程序不占对象空间类外必须再定义一次类静态成员函数代码区属于类整个程序没有 this只能访问静态成员局部静态变量只初始化一次这一点最容易被写成计数器来验证#include stdio.h int next_id(void) { static int id 0; /* 只在第一次调用时执行初始化 */ return id; /* 每次调用都在上一次的值上加一 */ } int main(void) { printf(%d %d %d\n, next_id(), next_id(), next_id()); return 0; }这段的输出依赖参数求值顺序多数实现从右往左所以打印顺序可能是3 2 1而不是1 2 3——这本身就又是一道面试题别拿它当“static 保证顺序”的证据。真正要记的是id的存储不在栈上函数返回后它的值仍然保留初始化语句在程序加载时就已完成。类静态成员变量那一行是 C 的坑类内写static int count;只是声明不分配空间必须在类外写int 类名::count 0;才算定义否则链接期报未定义符号。静态成员函数没有 this 指针因此不能是虚函数、不能访问非静态成员这一点常和单例模式一起问。2.3 const 与指针三种写法一个读法const 的题九成集中在指针上剩下的集中在 C 与 C 的差异上。指针部分只有三种组合关键是建立一个读法const 修饰它左边最近的东西左边没有就修饰右边。写法谁不可变记忆点const int *p*p不可改p可改指向常量的指针常用于只读入参int * const pp不可改*p可改指针常量必须在定义时初始化const int * const p两者都不可改只读指针指向只读数据C 还多一层常成员函数写成int size() const;const 放在参数列表后面表示不修改成员变量mutable 修饰的除外const 对象只能调用常成员函数。这一步在面试里经常和“const 对象能不能调用非 const 成员函数”连在一起问答案是能编译过才怪。两个容易漏掉的差异点梳理时值得单独记一笔。第一是数组大小C 里const int n 5; int a[n];在 C99 之后是变长数组而不是常量表达式C 里则是合法常量表达式。第二是链接属性C 中全局 const 变量默认是外部链接C 中默认是内部链接这就是为什么 C 头文件里写const int MAX 10;不会多重定义而 C 里往往要加 static 或用宏。2.4 typedef 与 #define一个做类型别名一个做文本替换两者的区别可以浓缩成一句话typedef 由编译器处理有类型检查、有作用域#define 由预处理器处理纯文本替换、没有类型概念。最能说明问题的是定义指针类型时的翻车现场。#define PCHAR char* typedef char* pchar; PCHAR a, b; /* 展开成 char* a, b; 只有 a 是 char*b 是 char */ pchar c, d; /* 类型别名c 和 d 都是 char* */这段的价值在于解释了“为什么定义指针类型要用 typedef”。同样的道理推到函数指针typedef int (*func_t)(int, int);之后可以像普通类型一样声明变量、做参数、放进数组可读性比裸写int (*)(int,int)高一个量级。宏真正的坑在参数展开。教材级的错误写法是#define SQR(a) a*aSQR(12)会展开成12*12。加满括号能解决优先级问题但解决不了二次求值#define SQR(a) ((a) * (a)) #define MIN(a, b) ((a) (b) ? (a) : (b)) int v SQR(i); /* 展开成 ((i) * (i))i 被加了两次行为未定义 */这就是宏函数和 inline 函数的分水岭。内联函数在编译期展开参数只求值一次有类型检查、有作用域、能调试宏在预处理期替换好处是“无类型”能对任意类型生效、能和#、##拼接符号配合。下面这张对比是这一节的收口维度宏函数内联函数普通函数处理阶段预处理编译编译 链接参数求值可能多次一次一次类型检查无有有调用开销无通常无有压栈跳转调试友好度差好好代码体积每次展开都膨胀多次调用也膨胀只有一份内联函数的“展开”是编译器的建议而不是命令递归函数、函数体过大、通过函数指针调用、虚函数运行时才能确定目标通常都不会真的内联。这一点跟 2.1 里 volatile 的边界很像都是“你以为它保证的事其实它不保证”。2.5 union、大小端与结构体大小三类布局题一起算union 的全部成员共享同一块内存大小等于最大成员的大小但还要按最大对齐数向上取整。这个特性让它成了判断大小端最顺手的工具。#include stdint.h union endian_test { uint16_t s; uint8_t c[2]; }; /* 返回 1 表示小端低位字节放在低地址0 表示大端 */ int is_little_endian(void) { union endian_test u; u.s 0x0102; return (u.c[0] 0x02); } /* 16 位大小端互换移位比查表更适合嵌入式 */ static inline uint16_t swap16(uint16_t v) { return (uint16_t)((v 8) | (v 8)); }判断原理是“低位字节放在低地址就是小端”所以u.c[0]拿到的是0x02说明是小端。这种写法的好处是不需要强转指针、也不涉及别名aliasing问题比*(uint8_t *)s更规范。大小端转换在协议解析里几乎必写网络序是大端多数 32 位微控制器默认小端收发时不做转换就会出现“数值高地位颠倒”的经典 bug。结构体大小则是三条规则的机械执行每个成员相对结构体首地址的偏移必须是该成员自身对齐数成员大小与编译器对齐参数取小的整数倍结构体总大小必须是最大对齐数的整数倍不够就尾部补齐数组成员按元素类型算对齐数。struct A { char c; int i; short s; }; /* c 占 1 补 3i 占 4s 占 2 补 2 12 */ struct B { char c; short s; int i; }; /* c 占 1 补 1s 占 2i 占 4 8 */两个结构体成员完全一样只是顺序不同大小差了 4 字节——这就是“按对齐数从大到小排列成员能省内存”的由来。嵌入式里还要会#pragma pack(1)或__attribute__((packed))把结构体压成紧凑布局用于和通信协议逐字节对应。代价是成员地址可能不对齐在部分平台上访问会触发异常或退化成多次总线访问所以通常只在“解析报文”这种一次性拷贝的场景用用完立刻转成对齐的结构体。最后补一个 C 与 C 的差异C 里 struct 和 class 只差默认访问权限public 与 private和默认继承方式struct 也能有成员函数、能继承、能有虚函数。带虚函数的类会多一个虚表指针sizeof立刻变大这又是 2.2 的“sizeof 不含静态成员、但含虚表指针”那类题。3. 内存关分区、堆栈、对齐与泄漏的四条追问线内存这一块在面试里的问法很固定先问“变量存在哪”再问“堆和栈有什么区别”接着问“结构体多大”最后落到“怎么发现内存泄漏”。四问对应四节顺序也就是答题顺序。3.1 五个分区与变量的落点严格说内存分区有几种划法嵌入式场景按段来记最实用栈区、堆区、.data已初始化全局与静态变量、.bss未初始化或零初始化的全局与静态变量、.rodata常量区、.text代码区。前两个在运行时由程序和操作系统或裸机启动代码动态管理后四个在编译链接时就定下了大小。分区存什么谁分配生命周期栈局部变量、函数参数、返回地址编译器自动函数调用期间堆malloc/new 出来的对象程序员手动手动释放前.data已初始化的全局变量、静态变量加载时整个程序.bss未初始化或初始化为 0 的全局与静态变量加载时清零整个程序.rodata字符串字面量、const 全局量加载时整个程序.text函数机器码加载时整个程序这里有个常考的小对比char *p1 hello; /* 指针在栈上hello 在 .rodata只读写它未定义 */ char p2[] hello; /* 数组在栈上是 hello 的一份拷贝可以随便改 */同一行“看起来都是字符串”一个落在只读段、一个落在可写段这就是很多“程序跑着跑着莫名重启”的源头——往字符串字面量里写数据。.bss的存在意义也值得记一句未初始化的变量不占可执行文件体积只记一个长度加载时清零嵌入式里 ROM 紧张时这点很实用。3.2 堆和栈六个维度对比顺手回答那个 1.2G 的问题堆栈对比背成表格最省事但面试官往往会在某一格上停下来追问所以每一格都要能补一句解释。维度栈堆申请方式编译器自动手动 malloc/new释放方式函数返回自动手动 free/delete生长方向通常向低地址通常向高地址分配效率快只改栈指针慢要查空闲链表、可能合并空间上限通常几 MB可配置受虚拟地址空间与物理内存约束主要问题栈溢出深递归、大局部数组内存碎片、泄漏“栈的空间最大是多少”这个问法很常见答案不是一个数字而是一句话取决于运行时配置桌面系统常见几 MB嵌入式里每个任务单独配栈往往只有几 KB所以要避免在任务里放大数组、避免深递归。回答时补上“可以通过设置或链接脚本调整”比报一个具体数值安全得多。“1G 内存的机器上能 malloc 1.2G 吗”是逻辑题。能成功返回指针因为 malloc 拿的是虚拟地址空间按需分页真正往里写才触发缺页但程序真用起来会失败甚至被系统杀掉。同时也要提另一面如果系统开启了严格的内存超配限制或者地址空间本身不够malloc 会直接返回 NULL。完整的答案要落到“分配成功不等于物理内存到手判空之后还要考虑实际使用时的失败路径”。栈的另一个常考点是函数参数的压栈顺序。多数 32 位平台用从右往左的调用约定由调用者清理栈参数较少时也可能直接走寄存器传参。返回值处理上小对象走寄存器大对象由调用者分配空间、把地址当隐藏参数传进去常说的 sret。这些属于“能答出来就显得懂底层”的加分项不必背具体寄存器编号。3.3 字节对齐与结构体大小为什么非得对齐对齐规则在 2.5 已经写过这一节补“为什么”。总线一次读写通常是一个字如果一个 int 跨在两个字的边界上硬件要么分两次访问再拼接性能损失要么直接触发对齐异常部分架构如此。编译器为了保证每个成员都自然对齐只能在成员之间塞填充字节。延伸出来的三个实际场景值得记第一用#pragma pack(1)之后的紧凑结构体不能取成员地址传给需要对齐的函数第二网络报文、Flash 存储格式这类“逐字节定义”的协议必须用 pack第三offsetof才是拿成员偏移的正确方式别自己拿 0 地址强转硬算。#include stddef.h struct frame { uint8_t head; uint32_t len; uint8_t payload[8]; }; size_t off offsetof(struct frame, payload); /* 编译期常量不受 pack 影响出错 */offsetof是标准库宏编译器知道真实布局比手写(size_t)(((struct frame *)0)-payload)更可靠后者在 C 里对非标准布局类型是未定义行为。3.4 malloc 家族、字符串函数与泄漏定位三个申请函数的分工要能一口气说完malloc 只分配不初始化calloc 分配并清零参数是“个数 单个大小”realloc 调整已有块的大小可能原地扩展也可能搬到新地址并拷数据所以必须用返回值覆盖原指针。函数是否初始化参数失败返回malloc否字节数NULLcalloc清零元素个数、单个大小NULLrealloc新区域不保证原指针、新字节数NULL原块仍有效realloc 那一格是易错点如果写成p realloc(p, n);而它返回 NULL原来的p就丢了直接泄漏。正确写法是先用临时指针接住判空成功后再赋值。malloc(0)的行为由实现定义可能返回 NULL 也可能返回一个不能解引用的有效指针面试里答“不要依赖”就行。字符串函数那一组问的是“哪些会导致溢出”strcpy、strcat、gets、sprintf 全都没有长度检查其中 gets 已经被标准移除。改进方向是 strncpy、strncat、snprintf、fgets但 strncpy 有个坑——源串长度不小于 n 时不会补\0必须手动补snprintf 返回的是“原本想写的长度”截断时返回值大于缓冲区大小不能直接拿来当下标。泄漏怎么判断分两层答。工具层面桌面环境用内存检测工具或地址消毒器能给出泄漏点的调用栈嵌入式环境没有这些就自己封装一层 malloc/free 做计数和打点记录每次申请的大小、文件名、行号运行一段时间后看“申请数减释放数”是否只增不减。更工程化的做法是改用内存池把动态分配从运行期挪到初始化期从根上消掉碎片和泄漏。4. 指针与数组关数组名、函数指针与野指针的复习重点指针是整份资料里页数最多的一章也是唯一一章“看懂了也不一定会做题”的。原因在于它考的不是概念是类型推导的手感。这一章按“类型怎么读 → 组合怎么认 → 错误怎么来 → 和引用怎么选”推进。4.1 指针五要素与数组名、数组名的加法描述一个指针要五样东西指针的类型、指针所指向的类型、指针的值存的是哪个地址、指针本身占多大内存、指针能做什么运算。前三个决定了p1走多远第四个决定了sizeof(p)第五个决定了能不能解引用、能不能相减。数组名是这一节的核心。数组名在大多数表达式里退化为指向首元素的指针但有两个例外sizeof(数组名)和数组名。这三个写法的差别用一段代码就能全部暴露。#include stdio.h int main(void) { int a[5] {1, 2, 3, 4, 5}; printf(%zu\n, sizeof(a)); /* 20整个数组 */ printf(%zu\n, sizeof(a)); /* 指针大小4 或 8 */ printf(%p %p\n, (void *)(a 1), (void *)(a 1)); /* a1 前进 4 字节a1 前进 20 字节 */ return 0; }a退化为int*步长是一个元素a的类型是int (*)[5]步长是整个数组。二维数组把这件事再推一层int a[3][4]里a的类型是int (*)[4]a1前进 16 字节*(a1)退化成int**(a1)1才前进 4 字节。把“数组名退化一层”这句话记住二维数组的绝大多数题都能推出来。数组作为函数参数时退化得更彻底void f(int a[5])和void f(int *a)完全等价函数内部sizeof(a)得到的永远是指针大小。所以“在函数里求数组长度”这件事本身就做不到必须额外传一个长度参数这是嵌入式代码里最常见的一类防御性写法。4.2 指针数组、数组指针与函数指针右左法则一次认全五种组合长得像靠“右左法则”读从标识符开始先看右边再看左边遇到括号就掉头。下面这几行建议直接背下来。int *p[5]; /* 指针数组p 是数组5 个元素每个是 int* */ int (*p)[5]; /* 数组指针p 是指针指向 int[5] */ int *f(int); /* 指针函数f 是函数返回 int* */ int (*f)(int); /* 函数指针f 是指针指向返回 int 的函数 */ int (*fa[3])(int); /* 函数指针数组3 个函数指针 */“指针数组”和“数组指针”一个字之差用途完全不同前者常用来存一组字符串如命令表后者常用来接收二维数组。函数指针在嵌入式里的地位比在应用层高得多——回调注册、状态机跳转表、中断向量表都是它。typedef void (*handler_t)(void); /* 用函数指针数组做命令分派避免长 switch */ static void cmd_led(void) { /* 点灯 */ } static void cmd_reset(void) { /* 复位 */ } static const handler_t cmd_table[] { cmd_led, cmd_reset }; void dispatch(unsigned int idx) { if (idx sizeof(cmd_table) / sizeof(cmd_table[0])) { cmd_table[idx](); /* 越界检查不能省函数指针跳飞必死 */ } }这段的重点有两个一是sizeof(cmd_table)/sizeof(cmd_table[0])这种求元素个数的写法只在数组还在作用域内时有效传进函数后就退化成指针二是函数指针调用前必须做边界检查跳到非法地址的后果比普通越界严重得多。4.3 野指针与 free 之后的指针两个必答的收尾题野指针的来源就三个指针定义后没初始化、free/delete 之后没置空、指针越界跑到别人地盘。避免手段对应也有三条定义时就给 NULL、释放后立刻置 NULL、任何解引用前判空并检查边界。“调用 free 释放内存后指针还能用吗”是经典送分题但答完整的人不多。标准答案是free 只是把那块内存还给分配器指针变量的值地址没变它成了悬垂指针继续读写是未定义行为可能读到旧数据、可能读到别人的数据、可能直接崩再次 free 就是重复释放同样未定义。所以工程规范里写的是free(p); p NULL;置空之后至少if (p)这道检查还能挡住一次。4.4 指针常量、常量指针与引用什么时候该用哪个三种 const 指针在 2.3 已经列过这里补“读法之外的应用”。函数入参用const char *表示“我只读你的数据不改”返回内部缓冲用char *const表示“指针你别动”两者都要保护就双 const。判断的标准很朴素谁不该被改就把 const 放到谁那边。指针和引用的对比是 C 侧的必答项维度指针引用是否可为空可以不可以没有空引用是否可改绑可以重新指向初始化后不能再绑定别的对象sizeof 结果指针本身大小被引用对象的大小自增语义地址偏移对象本身加一是否必须初始化否是底层实现地址通常也是地址但会被优化掉“有了指针为什么还要引用”的答案落在安全性和可读性引用不需要判空、不需要解引用符号、运算符重载和拷贝构造必须用它。代价是失去“可空”和“可改绑”这两个能力所以链表节点、需要表示“没有”的返回值仍然得用指针。4.5 指针与多态虚析构为什么必须是虚函数这一条常被归到面向对象但它真正的触发条件是“用基类指针删除派生类对象”所以放在指针这一章更顺。class Base { public: virtual ~Base() {} /* 少了 virtual下面 delete 只调基类析构 */ virtual void run() 0; }; class Derived : public Base { public: ~Derived() override { /* 释放派生类持有的资源 */ } void run() override {} }; void release(Base *p) { delete p; } /* p 实际指向 Derived析构必须是虚的 */原因一句话非虚析构在编译期就按静态类型绑定delete p只调Base::~Base()Derived里的资源没人释放属于未定义行为。规则可以记成只要类可能被继承并且可能通过基类指针删除析构就得是虚的。纯虚析构还要额外提供一个函数体因为派生类析构时会一路调到基类析构缺定义就链接失败。5. 易错点清单五个高频翻车现场与补法这一章是全篇的“错题本”。五个点单独看都不难难在考试时紧张、代码里顺手一不留神就写错。每条按“易漏在哪 → 为什么会漏 → 怎么补”三段走。5.1 sizeof 与 strlen 混用以及数组退化易漏点把sizeof当函数、以为它会在运行时求值在函数内部对数组参数用sizeof求长度分不清sizeof(\0)是 2 还是 1。为什么会漏sizeof是运算符不是函数编译期就定了值变长数组除外所以sizeof(a)里的a根本不会执行——这条几乎每次都能问倒人。数组传参退化那条更隐蔽写惯了sizeof(arr)/sizeof(arr[0])的人把同一行代码拷进函数就失效。怎么补记住三句话。sizeof算的是类型占的字节数字符串字面量带上结尾的\0所以sizeof(\0)是 2strlen是运行期数到第一个\0为止strlen(\0)是 0数组一旦作为参数传递就退化长度必须另外传。判断指针大小时别忘了 32 位平台是 4、64 位是 8。5.2 宏不加括号加了括号也挡不住二次求值易漏点只记得“参数要加括号”忘了整个表达式也要加括号忘了带副作用的实参会被求值多次。为什么会漏宏在预处理阶段做纯文本替换编译器根本看不到宏的“意图”。#define MIN(a,b) (a) (b) ? (a) : (b)看上去每个参数都加了括号但2 * MIN(1,2)会展开成2 * (1) (2) ? (1) : (2)结果完全错。整个表达式不加外层括号优先级问题永远堵不完。怎么补宏函数一律写成#define MIN(a,b) (((a) (b)) ? (a) : (b))外层括号不能省实参带、函数调用这类副作用时改用static inline函数需要类型泛型又不想踩坑时优先考虑 C11 的_Generic或直接写多个类型的 inline 版本。判断标准很简单这个宏会不会把一个表达式求值两次会就别用宏。5.3 把 volatile 当成原子操作或内存屏障易漏点以为加了 volatile 就能在多任务里安全地自增以为 volatile 能阻止编译器和 CPU 重排以为所有共享变量都该加 volatile。为什么会漏教科书的例子都是单核 中断那个场景下 volatile 确实够用于是形成了“volatile 等于线程安全”的错觉。真实的多核场景里缓存一致性、指令重排、读改写三步被打断volatile 一个都管不了。怎么补把 volatile 的职责限定为“防止编译器把访问优化掉”共享计数用原子操作或关中断临界区需要顺序保证时加内存屏障。反过来也要注意别滥用普通局部变量加 volatile 只会让代码变慢不会更安全。判断口诀是“这个变量会不会在编译器看不见的地方被改”——会才加。5.4 结构体对齐算错pack 用错地方易漏点只数成员大小忘了填充忘了结构体总大小要按最大对齐数补齐给需要频繁访问的结构体加了 pack导致非本文还有配套的精品资源点击获取