北京心影随行科技有限公司 C++ 二面 面经

1. 说说C++11/14/17/20的新特性，你在项目中用过哪些？

答案：

C++11的重要特性：

auto自动类型推导，简化代码编写。智能指针unique_ptr、shared_ptr、weak_ptr，自动管理内存。右值引用和移动语义，避免不必要的拷贝，提高性能。lambda表达式，支持函数式编程。nullptr替代NULL，类型安全。范围for循环，简化容器遍历。线程库thread、mutex、condition_variable，标准化多线程编程。

C++14的改进：

泛型lambda表达式，参数可以用auto。返回类型推导，函数返回类型可以用auto。变量模板，模板可以用于变量。二进制字面量和数字分隔符，提高可读性。

C++17的特性：

结构化绑定，可以方便地解包tuple和pair。if和switch的初始化语句，减少变量作用域。std::optional、std::variant、std::any，更安全的类型处理。std::string_view，高效的字符串视图，避免拷贝。并行算法，STL算法支持并行执行。

C++20的重要更新：

概念Concepts，约束模板参数，提高模板错误信息可读性。协程Coroutines，支持异步编程。模块Modules，替代头文件，加快编译速度。范围Ranges，更强大的STL算法。三路比较运算符，简化比较操作符的实现。

项目中的实际应用：

使用智能指针管理资源，避免内存泄漏。使用lambda表达式简化回调函数和算法。使用移动语义优化容器操作，减少拷贝开销。使用线程库实现多线程任务处理。使用auto简化迭代器等复杂类型的声明。使用std::optional处理可能不存在的返回值。

2. 解释一下C++的内存模型，什么是内存序？

答案：

C++11引入了内存模型，定义了多线程环境下内存访问的行为。

内存模型的核心概念：

原子操作：不可分割的操作，要么全部完成要么全部不做。内存序：定义了原子操作之间的顺序关系和可见性。happens-before关系：定义了操作之间的先后顺序保证。

六种内存序：

memory_order_relaxed（松弛序）：只保证原子性，不保证顺序。性能最高，但最难使用。适用于简单的计数器，不依赖其他操作的顺序。

memory_order_acquire（获取序）：读操作使用，保证之后的读写操作不会被重排到此操作之前。配合release使用，实现同步。

memory_order_release（释放序）：写操作使用，保证之前的读写操作不会被重排到此操作之后。配合acquire使用，实现同步。

memory_order_acq_rel（获取-释放序）：读-改-写操作使用，同时具有acquire和release语义。

memory_order_consume（消费序）：类似acquire但更弱，只对依赖的操作有序。实际很少使用，编译器支持不完善。

memory_order_seq_cst（顺序一致性）：最强的内存序，保证全局顺序一致。默认的内存序，最容易理解但性能最低。

实际应用场景：

自旋锁实现：使用acquire和release保证临界区的可见性。无锁队列：使用不同的内存序优化性能。双重检查锁定：使用acquire和release避免指令重排。引用计数：shared_ptr内部使用原子操作和内存序管理引用计数。

为什么需要内存序：

编译器和CPU会对指令重排序以优化性能。多核CPU的缓存一致性协议有延迟。不同线程看到的内存操作顺序可能不同。内存序提供了控制这些行为的机制，在保证正确性的前提下获得最佳性能。

使用建议：

不确定时使用默认的seq_cst，保证正确性。性能关键路径经过测试后可以使用更弱的内存序。理解happens-before关系，避免数据竞争。使用成熟的无锁库，自己实现容易出错。

3. 什么是RAII？如何用RAII管理资源？

答案：

RAII是Resource Acquisition Is Initialization的缩写，资源获取即初始化，是C++中管理资源的重要技术。

核心思想：

在对象构造时获取资源，在对象析构时释放资源。利用C++的对象生命周期自动管理，利用栈展开机制保证资源释放，即使发生异常也能正确释放资源。

RAII的优势：

自动化资源管理，不需要手动释放。异常安全，即使抛出异常也会调用析构函数。代码简洁，避免大量的try-catch-finally。防止资源泄漏，忘记释放资源的问题。

典型应用场景：

内存管理：智能指针unique_ptr、shared_ptr自动管理动态内存。文件管理：fstream对象自动关闭文件。锁管理：lock_guard、unique_lock自动加锁解锁。数据库连接：连接对象自动关闭连接。网络套接字：socket对象自动关闭连接。

自定义RAII类的要点：

构造函数获取资源，如果获取失败抛出异常。析构函数释放资源，析构函数不应该抛出异常。禁用拷贝构造和拷贝赋值，或实现深拷贝。可以实现移动构造和移动赋值，转移资源所有权。

RAII vs 手动管理：

手动管理容易忘记释放，容易在异常情况下泄漏，代码冗长需要大量错误处理。RAII自动释放，异常安全，代码简洁，是C++的最佳实践。

注意事项：

析构函数不应该抛出异常，否则可能导致程序终止。资源获取失败应该在构造函数中抛出异常。注意对象的生命周期，避免悬空引用。在容器中使用RAII对象时注意移动语义。

4. 解释一下左值、右值、左值引用、右值引用的区别

答案：

这是C++11引入的重要概念，用于优化性能和实现移动语义。

左值（lvalue）：

有明确内存地址的表达式，可以取地址。可以出现在赋值语句的左边或右边。生命周期持续到作用域结束。例如：变量、数组元素、返回左值引用的函数调用。

右值（rvalue）：

没有明确内存地址的临时对象或字面量。只能出现在赋值语句的右边。生命周期很短，表达式结束后就销毁。例如：字面量、临时对象、返回值对象、算术表达式的结果。

左值引用（lvalue reference）：

用&声明，只能绑定到左值。传统的引用类型，C++98就有。可以修改被引用的对象。常用于函数参数，避免拷贝。

右值引用（rvalue reference）：

用&&声明，可以绑定到右值。C++11引入，用于实现移动语义。可以"窃取"临时对象的资源。延长临时对象的生命周期。

移动语义的意义：

避免不必要的深拷贝，提高性能。对于管理资源的类（如容器、智能指针），移动比拷贝高效得多。移动构造函数和移动赋值运算符转移资源所有权，而不是复制。

完美转发：

std::forward用于完美转发，保持参数的左值或右值属性。std::move将左值转换为右值引用，表示可以移动。

实际应用：

容器操作：vector的push_back有拷贝版本和移动版本，移动版本更高效。返回值优化：返回局部对象时，编译器会优化为移动而不是拷贝。智能指针：unique_ptr只能移动不能拷贝，保证唯一所有权。

常见误区：

右值引用本身是左值，因为它有名字和地址。std::move不移动任何东西，只是类型转换。移动后的对象处于有效但未指定的状态，不应该再使用。

5. 什么是模板元编程？有什么实际应用？

答案：

模板元编程是在编译期进行计算和类型操作的技术，利用C++模板系统实现。

基本概念：

编译期计算：在编译时而不是运行时进行计算。类型计算：根据类型生成新的类型或选择不同的实现。零运行时开销：所有计算在编译期完成，运行时没有额外开销。

常见技术：

模板递归：通过模板特化实现递归计算，如编译期计算阶乘。SFINAE（替换失败不是错误）：根据类型特性选择不同的模板实现。类型萃取：std::is_integral、std::is_pointer等判断类型特性。constexpr函数：C++11引入，更简洁的编译期计算方式。

实际应用场景：

STL容器：根据类型特性选择最优的实现策略。表达式模板：Eigen等数学库用于优化矩阵运算，避免临时对象。编译期单位检查：确保物理单位的正确性，如不能将米和秒相加。策略选择：根据类型自动选择最优算法。

优势：

性能优化：计算在编译期完成，运行时零开销。类型安全：在编译期检查类型错误。代码生成：根据参数自动生成代码，减少重复。

劣势：

编译时间增加：复杂的模板会显著增加编译时间。错误信息难懂：模板错误信息通常很长很难理解。调试困难：编译期代码难以调试。代码可读性差：模板元编程代码通常很晦涩。

C++11/14/17的改进：

constexpr函数：更直观的编译期计算方式。变参模板：处理任意数量的模板参数。if constexpr：编译期条件判断，C++17引入。概念Concepts：C++20引入，约束模板参数，改善错误信息。

使用建议：

优先使用constexpr而不是复杂的模板递归。只在确实需要时使用模板元编程。提供清晰的文档和示例。考虑编译时间的影响。使用现代C++特性简化实现。

6. 说说你对C++异常处理的理解，什么时候应该使用异常？

答案：

异常是C++处理错误的机制，通过throw抛出异常，通过try-catch捕获异常。

异常处理的机制：

throw抛出异常对象，可以是任何类型。try块包含可能抛出异常的代码。catch块捕获并处理异常，可以有多个catch处理不同类型。栈展开：抛出异常后，自动调用局部对象的析构函数，保证资源释放。

异常的优势：

错误处理和正常逻辑分离，代码更清晰。强制错误处理，不能忽略异常。自动资源清理，通过RAII和栈展开保证资源释放。可以跨越多层函数调用传递错误信息。

异常的劣势：

性能开销：即使不抛出异