华为od 面试八股文_C++_09_含答案

目录1extern C 的作用是什么为什么要使用它2explicit 关键字有什么用为什么很多构造函数建议加上它3详细说一下迭代器失效Iterator Invalidation的场景4shared_ptr 是线程安全的吗5讲讲结构体内存对齐Struct Padding的规则和意义6什么是 SSOSmall String Optimization7push_back 和 emplace_back 有什么区别emplace_back 一定更快吗8static 关键字在 C 中有哪些作用9std::function 和函数指针有什么区别10虚继承的底层实现原理是什么1extern C 的作用是什么为什么要使用它extern C 的主要作用是告诉 C 编译器被它修饰的代码块函数或变量应该按照 C 语言的方式进行编译和链接。核心原因在于 Name Mangling名字修饰。C 支持函数重载为了区分同名不同参数的函数编译器在编译时会将函数名进行修饰Mangle加入参数类型信息例如 void foo(int) 可能被修饰为 _Z3fooi。而 C 语言不支持函数重载编译时函数名不会被修饰void foo(int) 编译后符号名仍为 foo。如果不加 extern C当 C 代码尝试调用一个 C 语言编写的库函数时链接器会去寻找修饰后的符号名如 _Z3fooi但 C 库中只有原始符号名foo导致链接错误Linker Error。#ifdef __cplusplus extern C { #endif void c_function(int a); // 按照 C 语言方式编译不进行名字修饰 #ifdef __cplusplus } #endif2explicit 关键字有什么用为什么很多构造函数建议加上它explicit关键字用于修饰类的构造函数通常是单参数构造函数其作用是 禁止隐式类型转换。在 C 中如果一个构造函数只接受一个参数编译器默认允许将该参数类型隐式转换为类对象。这虽然方便但有时会引发意想不到的 bug。class MyString { public: // 没有 explicit允许 int - MyString 的隐式转换 MyString(int size) { /*...*/ } }; void printString(const MyString s) { /*...*/ } int main() { printString(10); // 编译通过编译器隐式调用 MyString(10) 创建了一个临时对象 // 这可能不是程序员的本意程序员可能以为打印数字 10结果分配了 10 字节内存 }3详细说一下迭代器失效Iterator Invalidation的场景迭代器失效是指在对容器进行增删操作后原本持有的迭代器指向的内存地址不再有效或不再指向预期的元素。不同容器的失效规则不同容器类型插入操作 (Insert/Push)删除操作 (Erase/Pop)vector可能失效。如果插入导致扩容所有迭代器、指针、引用全部失效。如果未扩容插入点之后的迭代器失效。部分失效。被删除元素及其之后的所有迭代器失效。deque失效。插入/删除操作通常会导致所有迭代器失效除非在首尾操作规则较复杂。失效。删除中间元素会导致所有迭代器失效。list / map / set不失效。节点式容器内存不连续。插入新节点不影响旧节点。部分失效。仅指向被删除元素的那个迭代器失效其他不受影响。unordered_map可能失效。如果插入导致 Rehash扩容所有迭代器失效。如果不扩容不失效。部分失效。仅指向被删除元素的那个迭代器失效。4shared_ptr 是线程安全的吗这是一个经典的面试陷阱题答案是是也不是。需要分三个层面来看1. 引用计数Control Block是线程安全的。shared_ptr 内部的引用计数操作增加或减少是原子操作Atomic标准库保证了多线程并发拷贝或销毁 shared_ptr 时引用计数不会出错资源只会被释放一次。2. 管理的对象Managed Object不是线程安全的。如果有两个线程同时通过不同的 shared_ptr 访问同一个对象比如调用对象的成员函数除非该对象自身加了锁否则是不安全的。3. shared_ptr 对象本身不是线程安全的。如果多个线程读写同一个shared_ptr 变量注意是同一个变量而不是指向同一对象的不同 shared_ptr 副本比如一个线程在赋值 p p2另一个线程在 p p3这是数据竞争Data Race需要加锁。多线程下拷贝 shared_ptr 是安全的引用计数原子性但多线程操作同一个 shared_ptr 变量或其管理的对象需要手动同步。5讲讲结构体内存对齐Struct Padding的规则和意义主要是为了 CPU 访问效率。大多数 CPU 读取内存时如果数据地址是按照其类型大小对齐的比如 int 在 4 的倍数地址读取速度最快。如果未对齐CPU 可能需要进行两次内存访问甚至触发异常。对齐规则默认情况下1. 成员对齐 第一个成员偏移量为 0。后续每个成员的偏移量Offset必须是 min(成员大小, #pragma pack指定的大小) 的倍数。2. 整体对齐 结构体的总大小必须是 min(最大成员大小, #pragma pack指定的大小) 的倍数。struct A { char a; // 1 byte. Offset 0. int b; // 4 bytes. Offset 必须是 4 的倍数 - Padding 3 bytes (Offset 1-3) - b at Offset 4. short c;// 2 bytes. Offset 8 (44). 8 是 2 的倍数OK. Ends at 10. }; // 整体对齐最大成员是 int (4)目前大小 10 不是 4 的倍数 - Padding 2 bytes - Total 12.6什么是 SSOSmall String OptimizationSSO小字符串优化是现代 C 标准库如 GCC libstdc, Clang, MSVC中 std::string 的一种优化策略。原理对于 长字符串std::string 像往常一样在 堆Heap 上动态分配内存存储数据栈上只存指针、大小和容量。对于 短字符串通常 15 或 22 字节取决于实现直接存储在 std::string 对象本身的 **栈内存 buffer 中复用原本用来存指针/容量的空间。好处1. 避免堆分配对于短字符串不需要 new/malloc减少了内存碎片和分配开销。2. 缓存友好字符串数据就在对象内部访问时缓存命中率更高。这也是为什么在现代 C 中传递 std::string 比传递 char* 并没有想象中那么慢的原因之一。7push_back 和 emplace_back 有什么区别emplace_back 一定更快吗区别push_back(val): 接受一个对象。如果传入的是临时对象它会先构造这个临时对象然后在容器内存中 移动构造或拷贝构造一个新对象最后销毁临时对象。emplace_back(args...): 接受构造函数的参数。它直接在容器的尾部内存位置利用 std::forward 完美转发参数原地构造In-place Construction对象。性能差异如果传入的是构造参数如 vec.emplace_back(10, test)emplace_back 省去了一次临时对象的构造、移动和析构更快。如果传入的已经是构造好的对象如 vec.emplace_back(obj)两者的效果几乎一样都需要拷贝/移动emplace_back 不会有明显优势。8static 关键字在 C 中有哪些作用static 在 C 中是一个多义词根据上下文不同有三种主要含义1. 全局/命名空间作用域Static Global/Function修饰全局变量或函数。作用 限制链接属性Internal Linkage。该变量/函数只能在 当前源文件.cpp中访问对其他文件不可见。避免命名冲突。2. 函数内的局部作用域Static Local修饰函数内的局部变量。作用 改变生命周期。该变量在程序启动或首次执行到该行时初始化直到程序结束才销毁而不是随函数栈帧销毁。它存储在静态存储区.data/.bss。3. 类成员作用域Static Member修饰类的成员变量或成员函数。作用 属于类本身而不是属于某个对象实例。所有对象共享同一个静态成员变量。静态成员函数没有 this 指针只能访问静态成员变量。9std::function 和函数指针有什么区别函数指针 C 语言遗留特性。只能指向普通的全局函数或静态成员函数。它不能指向 Lambda 表达式带捕获的、仿函数Functor或绑定对象std::bind。优点体积小调用开销极低。缺点灵活性差无法持有状态。std::function C11 引入的通用多态函数封装器。它可以存储、复制、调用 任何可调用目标Callable Target包括普通函数、Lambda、仿函数、bind 表达式等。优点极其灵活统一了回调函数的接口。缺点体积较大通常 32 字节左右可能会有堆分配如果捕获列表过大且调用时有间接调用的开销虚函数类似的机制。10虚继承的底层实现原理是什么虚继承class B : virtual public A是为了解决多重继承中的 菱形继承Diamond Problem导致的数据冗余和二义性问题。底层实现vbptr1. 虚基类指针vbptr 编译器会在派生类对象B 和 C中插入一个隐藏的指针叫做 虚基类指针vbptr, virtual base pointer。2. 虚基类表vbtable 这个指针指向一张表虚基类表表中记录了当前对象中 虚基类子对象A相对于当前对象的偏移量。3. 共享基类 当最底层的派生类D继承 B 和 C 时它只会保留一份 A 的实例。B 和 C 对象通过各自的 vbptr 查表找到那份唯一的 A 的地址进行访问。代价 访问虚基类成员需要通过 vbptr 间接寻址比普通继承慢且对象体积会增加多了 vbptr。