云鲸智能嵌入式软件开发一面：C++ 基础连环拷打

《面试题目》

1. 扫地机器人这类产品里，传感器数据一般怎么做时间戳对齐？
2. const 和 constexpr 有什么区别？分别适合什么场景？
3. 空指针解引用、野指针、悬空指针分别怎么理解？怎么防护？
4. 解释一下 C++ 里虚表、虚表指针是怎么参与动态分派的？
5. 深拷贝和浅拷贝的区别是什么？什么时候必须自己写拷贝控制？
6. 纯虚函数和抽象类怎么用？接口设计时注意什么？
7. shared_ptr 循环引用为什么会发生？weak_ptr 怎么破？
8. placement new 是什么？在嵌入式里常见用法是什么？
9. 右值引用和移动语义解决了什么问题？
10. unordered_map 和 map 怎么选？哈希冲突大概怎么处理？
11. string 的 SSO（小字符串优化）大概是什么思路？
12. static 局部变量的线程安全性在 C++11 前后有什么变化？
13. memory barrier / 内存屏障在多核或驱动里为什么需要？

《参考解析》

多传感器时间戳对齐：先统一时钟，再谈融合

核心矛盾是每个传感器有自己的晶振和采样节拍，IMU 可能 1 kHz，轮速计 50 Hz，激光/ToF 十几 Hz，直接拿去融合等于拿不同时刻的数据算同一个状态。工程做法分四步：① 采集端打时间戳，能在驱动/中断里读硬件定时器就打硬件时间戳，避免数据经过队列、线程池之后才盖戳带来的不确定延迟；② 映射到同一时间轴，以系统单调时钟为基准（绝不能用会被 NTP 回拨的墙上时钟，回拨会让时间差变负），必要时用 PTP 或本地线性回归校准各传感器时钟的漂移；③ 按时间对齐，低频数据在高频时间轴上做插值或外推（IMU 预积分就是典型），外推超过阈值就丢弃而不是硬猜；④ 过期与抖动处理，给每个数据打有效期，过期数据只用于日志不用于控车。防跌落、碰撞这类关键路径单独走低延迟的同步通道，不跟重融合链路挤在一起。

const 与 constexpr：只读语义 vs 编译期可求值

const 表达的是「这个对象/接口不允许被修改」，是运行期语义：它的初值可以来自 rand()、来自寄存器读回值，编译器只保证你没有从这条路径去写它（const_cast 或底层指针仍能绕过去）。constexpr 表达的是「这个值在编译期就能算出来」：可以当模板非类型参数、数组长度、case 标签、static_assert 的实参。constexpr 函数在实参是常量表达式时编译期求值，否则退化成普通函数运行期调用。

嵌入式里的实际收益：把寄存器偏移、掩码、查表数据做成 constexpr，表直接进 .rodata/Flash，省 RAM 也省运行期初始化；const 修饰的局部数组不一定能进 Flash，取决于链接属性、是否有非平凡构造和优化等级。想确认到底落在哪，看 map 文件和 objdump，别凭感觉。

虚表与动态分派

含虚函数的类，每个类生成一张虚函数表（vtable），表里按声明顺序放虚函数地址（含 type_info 指针和偏移调整信息）；每个对象里多一个隐藏指针 vptr，指向所属类的 vtable。通过基类指针或引用调用虚函数时，编译出的代码是「取对象头部的 vptr → 按固定槽位索引取出函数地址 → 间接跳转并传入调整后的 this」，所以分派看的是对象的实际类型而不是指针的静态类型。多重继承时对象里可能有多个 vptr（每个基类子对象一个，保证 Base* 转换后仍能正确分派），派生类覆盖函数时编译器会用 thunk 调整 this 偏移。代价是每次调用一次间接跳转，且分支预测不友好 —— 实时热点路径（高频中断、控制环）上要评估是否可接受，必要时用 final、去虚化或编译期多态（CRTP）替掉。

深浅拷贝与循环引用

浅拷贝只复制指针值，两个对象指向同一块资源，析构时必然 double free；深拷贝复制资源内容，各自独立。类里持有裸指针、文件描述符、socket、互斥量这类资源时，默认的拷贝构造/赋值就是错的，要么自己实现（Rule of Three/Five：写了析构就要一并考虑拷贝与移动），要么显式 = delete 禁用拷贝、改用移动语义把所有权转移出去。

shared_ptr 循环引用是两个对象互相持有对方的强引用，引用计数永远降不到 0，析构不触发，表现为内存/句柄泄漏。破法是让其中一侧改用 weak_ptr：它只观察不加计数，使用时 lock() 提升成 shared_ptr，提升失败说明对象已销毁，必须判空再用。典型场景是树/图结构里「父持子用 shared、子回指父用 weak」，以及观察者列表、缓存索引。

placement new 与移动语义

placement new 是在已经拿到的内存上构造对象，不向堆申请空间：new (buf) T(args...) 返回的就是 buf 本身。构造函数正常执行，因此对象用完必须显式调用析构（p->~T()），不能 delete——delete 会去释放那块本来不属于堆的内存。嵌入式里的常见用法是内存池、静态 arena、DMA 对齐缓冲、共享内存里构造对象、避免运行期动态分配的固定容器。两个坑：缓冲区必须满足类型的对齐要求（alignas），不满足在部分架构上会直接总线异常；构造抛异常时要能回滚，很多嵌入式工程干脆关异常，前提是类型构造不抛。

右值引用与移动语义解决的是「临时对象被无谓深拷贝」的问题：T&& 能绑定将亡值，移动构造/移动赋值把源对象的指针、句柄「接过来」，源对象置成可析构的空状态。收益最明显的场合是容器扩容搬元素、函数返回大对象、vector<string> 这类嵌套结构。注意 std::move 本身不搬任何东西，它只是把表达式转成右值，真正的搬动靠移动构造/赋值实现；被移走的对象仍必须是有效可析构状态，不能假设它还是原值。

容器选型、SSO 与并发细节

map 是红黑树，有序、可范围查询、查找稳定 O(log n)；unordered_map 是哈希表，平均 O(1) 但最坏可退化，且迭代顺序不稳定。需要按 key 排序遍历、找区间、要确定性延迟就选 map；纯键值高速查找选 unordered_map。冲突处理主流是链地址法（C++ 标准库实现普遍如此，桶内挂链表，超过阈值转红黑树）和开放寻址；负载因子超过 max_load_factor 会 rehash，所有迭代器和引用失效——这点在「持有引用跨插入操作」的代码里最容易出 bug。自定义 key 要同时提供哈希函数和相等比较，哈希质量差会让所有 key 挤在一个桶里。

SSO（小字符串优化）指 std::string 在对象内部留一小块缓冲（libstdc++ 一般 15 字节、libc++ 22 字节），短字符串直接存对象里不碰堆，超过阈值才转成堆上动态缓冲。收益是省掉小字符串的 malloc/free 并改善局部性（日志、键名、短文本场景收益明显）。坑在于它是实现细节：阈值、data() 的失效规则、shrink_to_fit 是否真的归还内存都因标准库而异，不能写出依赖具体阈值的代码。

C++11 之前，函数内静态局部变量的初始化在多线程下是竞态（可能被初始化两次）；C++11 起标准保证只初始化一次 —— 编译器会生成「magic static」用的守卫变量配合 __cxa_guard_acquire/release（内部是原子操作加一次分支）。但要分清：这只保证初始化那一瞬间的线程安全，初始化完成之后的并发读写仍然要自己同步；另外初始化过程中递归重入该变量是未定义行为，关异常、旧工具链、裸机启动环境里这条保证不一定完整生效，关键路径上别把懒初始化当同步原语用。

内存屏障存在的理由是 CPU 和编译器都会重排访存：编译器为了优化会调换无依赖的读写顺序，CPU 有 store buffer 和乱序执行，多核之间还有缓存一致性协议带来的可见性延迟。驱动里最典型的例子是「先写数据、再写门铃寄存器」，如果顺序被重排，设备读到的是旧数据。C++ 层面的正确做法是用 std::atomic 配 memory_order（release 保证之前的写对拿到该值的线程可见，acquire 保证之后的读不被提前），需要全屏障时用 seq_cst，而不是拿 volatile 当同步原语——volatile 只约束编译器不优化掉这次访问，既不保证原子性也不保证顺序。