C++基础高频问题与回答框架
本章聚焦 C++ 服务端面试中最常出现的基础知识，覆盖基本语法、类与对象、STL 容器、异常安全四大模块。每个问题都遵循“识别类别 → 核心原理 → 对比扩展 → 性能/安全 → 举例”的回答框架，帮助你在 1-2 分钟内展现深度与系统思维。
常规问答卡片
问题：const 关键字在 C++ 中有哪些用途？请举例说明。
面试官考察点：是否理解 const 的语义、编译期优化、与 mutable/const_cast 的关系，以及常量表达式（C++11 constexpr）的区别。
回答框架：分类列举（常量变量、指针常量 vs 常量指针、const 成员函数、const 引用） → 解释编译器行为（只读、防止修改） → 对比 volatile/constexpr → 举例说明常见陷阱。
简短示例回答：const 定义不可修改变量，如 const int a=10；指针常量 int* const p 不能改指向，常量指针 const int* p 不能改值。const 成员函数保证不修改对象，但可用 mutable 绕开。constexpr 用于编译期求值，性能更好。
可能追问：const_cast 原理与风险？const 成员函数调用非 const 函数是否安全？C++20 consteval 与 constexpr 区别？
问题：请解释 C++ 虚函数的工作原理，以及多态如何实现？
面试官考察点：虚函数表（vtable）、虚指针（vptr）的内存布局、动态绑定机制、纯虚函数与抽象类，以及虚析构的重要性。
回答框架：定义虚函数 → 编译器为类生成 vtable（每个虚函数一个函数指针） → 对象中插入 vptr 指向 vtable → 通过 vptr 间接调用实现动态绑定 → 对比静态绑定的普通成员函数 → 举例说明多态效果。
简短示例回答：基类声明虚函数，派生类重写。每个含虚函数的类有一张 vtable，对象首字节存 vptr。调用时先取 vptr 再查表，实现运行时多态。纯虚函数 =0 使类抽象。注意基类析构务必虚，否则派生类资源泄漏。
可能追问：构造函数/析构函数调用虚函数是否多态？（不是，静态绑定）vtable 何时构造？多重继承下 vptr 数量？
问题：std::vector 的底层数据结构是什么？扩容策略是怎样的？如何避免扩容开销？
面试官考察点：连续动态数组、容量 vs 大小、扩容因子（通常 1.5 或 2）、内存重新分配与迭代器失效、移动语义优化。
回答框架：底层为连续内存数组，size() 和 capacity() 分开管理 → 容量不足时分配新内存（新容量 = old * 1.5 或 2） → 移动/拷贝元素到新内存 → 释放旧内存（迭代器/指针失效） → 优化策略：reserve() 预分配，或使用 emplace_back 消除临时对象。
简短示例回答：vector 底层是连续数组，扩容通常翻倍（不同实现有差异，如 GCC 2 倍，VS 1.5 倍）。push_back 时容量不足则重新分配，所有迭代器失效。用 reserve(n) 提前分配可避免多次扩容；C++11 移动语义减少了拷贝开销。
可能追问：为何选择 1.5 倍而不是 2 倍？（内存碎片与摊销复杂度权衡）如何保证异常安全？shrink_to_fit 有效吗？
resize 和 reserve 混淆；扩容时元素类型没有 noexcept 移动构造会退化为拷贝，面试中常借此考察异常安全认知。项目案例：高性能 RPC 服务框架
| 项目名称 | 基于 C++17 的异步 RPC 框架（内部代号：Polaris） |
| 业务背景 | 公司微服务架构转型，原 HTTP 接口延迟高，需要高性能、低延迟、支持跨语言的 RPC 方案。 |
| 规模指标 | 日均调用量 50 亿+；峰值 QPS 120 万；服务端 200+ 节点；平均延迟 < 2ms（P99 < 5ms）。 |
| 技术栈 | C++17、Protobuf、epoll + Reactor、线程池、无锁队列、RAII 资源管理、glog、gtest。 |
| 核心难点 | ① 高并发下避免锁竞争；② 网络 buffer 的零拷贝设计；③ 连接管理与心跳保活；④ 异常安全：保证资源不泄露、服务不崩溃。 |
| 面试高频追问 | 无锁队列如何实现？为什么不用 std::queue？如何保证多线程安全？Reactor 与 Proactor 模式区别？RPC 超时处理与重试策略？ |
| 可迁移回答话术 | “在 Polaris 项目中，我们使用无锁的 MPMC 队列（基于循环数组 + CAS）减少线程切换。” “通过 RAII 管理连接和 buffer，确保任何异常路径下资源都能释放，比如使用 unique_ptr 配合自定义 deleter。” “采用 epoll 边缘触发 + 非阻塞 IO，配合线程池处理业务逻辑，避免 reactor 线程阻塞。” |
大厂模拟面试（字节跳动/腾讯/阿里）
面试官提问：请谈谈你对 C++ 异常安全的理解，在实际项目中你是怎么保证异常安全的？
候选人回答：（停顿）嗯，异常安全就是程序在抛出异常后资源不泄露，状态一致。我一般用 try-catch 和 RAII。
普通答案：我主要使用 try-catch 防止异常导致程序崩溃，在 catch 块中清理资源。但有时会忘记释放锁或 fd。
优秀答案：异常安全分为无异常保证、基本保证、强保证和不抛出保证。我优先使用 RAII 封装资源（如 std::lock_guard、std::unique_ptr），这样即使函数提前退出也能自动释放。对于需要强保证的操作，我会先拷贝再 swap，确保原子性。
专家答案：异常安全是 C++ 区别于其他语言的核心设计哲学。我设计组件时先定义异常安全等级：内部模块尽量不抛异常（noexcept），对外接口提供基本保证。使用 ScopeGuard 模式或 std::function + 析构实现回滚。关键点：① 构造和析构不抛异常；② 移动操作标记 noexcept 以启用优化；③ 使用 std::make_shared 避免内存泄漏；④ 写单元测试验证异常路径（如 EXPECT_NO_THROW）。
面试官追问：如果一个函数同时需要分配多个资源，如何保证一个失败时其他已分配的资源能正确释放？请举例说明。
专家回答指向：使用 RAII 包裹每个资源，或使用 scope_exit（C++20 std::scope_exit）统一释放。例如：auto fd = open(...); auto guard = scope_exit([&]{ close(fd); });。也可用 std::vector 存放智能指针，异常抛出时自动析构。