康复训练 3

· 内存布局：类对象内存模型（成员变量、虚指针）、字节对齐规则（alignof/alignas）、内存对齐对性能的影响

答:

在对象内存模型的开始，是虚函数指针，如果有菱形继承的话还有虚基表，接着是父类的成员变量(如果继承了父类)，接着是自己类对象的成员变量

字节对齐规则是对齐编译器规定的4或者8或者其它倍数，然后不同类型有不同的对齐方式，与他们的大小相关，即你从0下标放了个char，下一个放short，虽然在下标二之前还有空位，但是这个char只能从下标二开始放置，这么做是为了防止在使用和传输时只有变量的一部分字节的情况

内存对齐虽然会使需要的空间增大，但是不需要一个数据击中多个缓存，性能反而很可观

评分：6.5/10

• 不足：
• 1. 未说明多继承下可能有多个虚指针（vptr）。
• 2. 未提到成员变量之间的内存对齐填充（padding）。
• 3. 未说明静态成员 不占对象大小，成员函数不占空间。
• 1. "对齐编译器规定的4或者8或者其它倍数"不够精确：对齐值通常是类型大小 或最大对齐数 ，由编译器或alignas指定。
• 2. 解释"防止在使用和传输时只有变量的一部分字节"容易误解，更好的说法是：对齐是为了让CPU能够高效地访问数据，避免跨总线周期或引发异常。
• 可补充具体原因：对齐访问是原子操作 ，未对齐可能导致两次内存访问 或硬件异常 ；对齐还能避免缓存行分裂，提升并发性能。

修正:

第一层：类对象内存模型

"C++类对象的内存布局主要由非静态成员变量和虚函数指针（vptr）构成，受继承、访问权限和字节对齐影响。"

1. 虚指针（vptr） ：如果类有虚函数（或继承自含有虚函数的类），对象开头通常有一个vptr，指向虚函数表（vtable）。单继承 下一个vptr；多继承 下可能有多个vptr（每个基类子对象一个）。虚继承还会引入虚基类指针（vbptr），用于访问共享的虚基类子对象。

2. 成员变量 ：按声明顺序存储（但受访问权限影响，编译器可能重新排列？C++标准规定在同一访问权限块内顺序不变，但不同权限块间顺序未定义，一般编译器按声明顺序整体排列）。每个成员可能插入填充（padding）以满足对齐要求。

3. 静态成员：不占用对象内存，存储在静态存储区。

4. 成员函数：不占用对象内存，代码存储在代码段。

示例（单继承）：

text

class Base { int a; virtual void f(); };
class Derived : Base { char b; virtual void g(); };

对象布局（64位系统）：

• Base对象：[ vptr (8) + a (4) + padding(4) ] = 16字节。

• Derived对象：[ Base子对象(vptr+a+pad) + b(1) + padding(7) ] = 24字节（因为Derived整体对齐可能要求8字节）。

第二层：字节对齐规则

"对齐是指将数据存放在内存中的地址必须是某个值的整数倍，这个值称为对齐值（alignment requirement）。"

1. 基本对齐：内置类型（如int、double）的对齐值通常等于其大小。编译器可能允许设置#pragma pack修改。

2. 结构体/类的对齐规则：

   • 每个成员按自己的对齐值放置，编译器会在成员之间插入填充（padding）。

   • 整个结构体的对齐值等于最大成员的对齐值 （或由alignas指定），末尾也会填充使得结构体大小是对齐值的整数倍。

3. 查询和指定对齐：

   • alignof(type) 返回类型的对齐要求。

   • alignas(n) 或 alignas(type) 可以强制指定对齐方式。

举例：

cpp

struct S {
    char c;   // 对齐1，占1字节
    int i;    // 对齐4，需从偏移4开始，前面填充3字节
    short s;  // 对齐2，从偏移8开始，占2字节
}; // 最大对齐4，总大小需为4倍数，末尾填充2字节 → 12字节

第三层：内存对齐对性能的影响

"内存对齐能提升性能，原因如下："

1. 硬件访问效率 ：现代CPU以字 为单位访问内存（如4字节、8字节）。如果数据未对齐，可能跨越两个缓存行或页边界，导致两次内存访问 ，甚至引发硬件异常（某些体系结构如x86允许非对齐访问但速度慢；ARM早期版本会触发异常）。对齐保证数据在一个总线周期内读完。

2. 缓存行利用率 ：对齐可以避免数据跨越缓存行，减少缓存未命中。例如，在多核环境下，如果一个变量跨越两个缓存行，对其修改可能涉及两个缓存行的同步，增加开销。

3. 原子操作要求：C++11中，原子操作通常要求自然对齐（即地址与类型大小对齐），否则可能无法保证原子性。

代价：对齐会引入内存填充，增大对象体积，尤其是在嵌入式或大数组场景下需权衡。但通常性能收益远大于空间损失。

建议：按成员大小降序声明，可减少填充，兼顾空间和性能。

· STL容器底层：vector动态扩容、map红黑树特性、unordered_map哈希冲突解决、迭代器失效场景。

答:

当数据达到capacity，再做数据插入时容量不够，就触发扩容，通常是一点五倍，不同编译器不同，扩容的过程是开辟一个足够的空间(比如原capacity的一点五倍)，然后再把原数据复制过去，然后释放原内存，修改指针指向新空间。

map/set底层就是红黑树，红黑树的特性，任意从根到叶子节点的黑节点数量相等，不能有相邻的红节点，叶子节点一定是黑色，最长路径不超过最短路径的二倍，根节点必定是黑色，插入删除都是logn，end的迭代器对应的是map的哨兵节点，链接头和尾。

链地址法解决哈希冲突

迭代器失效场景，在vector中，插入或者删除导致扩容，所有迭代器失效，没有触发扩容时，插入删除后的迭代器失效，在list中，插入删除只会影响插入删除的原来的节点的迭代器失效，其它不受影响，在deque中 ，只有在头或者尾插入删除其它位置迭代器才不受影响，不然都会导致全部迭代器失效，在mapset中，插入不会导致迭代器失效，删除只会导致被删除节点的迭代器失效 ，在unordered_map/unordered_set中，插入可能会触发rehash，导致所有迭代器失效，删除时被删除节点的迭代器失效。一般不建议插入删除之后再使用原来的

评分：8.0/10

• 不足：
• 未区分size和capacity；未提及C++11后移动语义可能优化复制开销；未涉及reserve/resize的作用。
• 未明确map底层就是红黑树，且迭代器遍历是中序有序；未说明插入删除时间复杂度O(logn)及其保证；未提到底层节点结构。
• 1. 过于简略，可补充负载因子 、重哈希（rehash） 触发条件。
• 2. 可提某些实现（如 GCC）在链表过长时转为红黑树以优化性能。
• 3. 可简单对比其他冲突解决法（开放地址法），但链地址法是标准库采用的方式。
• 1. vector ：未扩容时，插入/删除点之后的迭代器失效（不仅仅是"插入删除后的迭代器失效"，表述可更精确）。
• 2. list ：插入不会使任何现有迭代器失效 ，删除仅使指向被删元素的迭代器失效。你写的"插入删除只会影响插入删除的原来的节点的迭代器失效"容易误解为插入也会使原迭代器失效，建议分开表述。

修正:

vector动态扩容

• 扩容时机 ：当插入元素导致 size() == capacity() 时触发。size 是实际元素个数，capacity 是已分配内存能容纳的最大元素数。

• 扩容倍数：通常为 1.5 倍（VS）或 2 倍（GCC），是空间与时间的权衡。

• 扩容过程：

  1. 分配新内存（新容量 = 旧容量 × 扩容因子）。

  2. 将原元素移动或拷贝 到新内存（C++11起，若元素提供 noexcept 移动构造，则使用移动语义提高效率）。

  3. 销毁原对象并释放旧内存。

  4. 更新内部指针（start、finish、end_of_storage）。

• 优化 ：可使用 reserve(n) 预分配容量避免多次扩容；resize(n) 调整 size 并构造/析构元素。

map（红黑树）特性

• 底层通常是红黑树（一种自平衡二叉搜索树），保证插入、删除、查找最坏时间复杂度 O(logn)。

• 红黑树性质：

  • 节点非红即黑；

  • 根节点为黑；

  • 叶子节点（NIL）为黑；

  • 红节点的子节点必为黑（无连续红节点）；

  • 任一节点到其叶子的所有路径包含相同数目的黑节点（黑高相等）。

• 迭代器遍历 ：中序遍历得到有序序列。end() 迭代器指向哨兵节点（通常为根节点的父节点或特殊NIL），用于标识结束。

• 节点结构：包含键值对、颜色、左右子指针、父指针。

unordered_map哈希冲突解决

• 采用链地址法：每个桶（bucket）维护一个链表（或双向链表）存放哈希值相同的元素。

• 负载因子与重哈希 ：当元素个数超过桶数 × 最大负载因子（默认1.0）时，触发重哈希（rehash），桶数组扩大并重新分配所有元素，以保证平均查找长度。

• 优化 ：某些实现（如 GCC）在链表过长时，会将链表转换为红黑树（元素需支持比较），避免极端情况下的 O(n) 查找。

• 其他冲突解决方法（如开放地址法）未被标准库采用，因为链地址法实现简单且对哈希函数容忍度高。

迭代器失效场景（不同容器规则）

• vector：

  • 插入/删除导致重分配（扩容）→ 所有迭代器失效。

  • 未重分配时，插入点之后 的所有迭代器失效（元素后移）；删除点之后的所有迭代器失效（元素前移）。

• deque：

  • 在首尾插入/删除：不会使任何迭代器失效（仅被删元素迭代器失效）。

  • 在中间插入/删除：所有迭代器失效。

• list（双向链表）：

  • 插入：不会使任何现有迭代器失效。

  • 删除：仅使指向被删元素的迭代器失效。

• map/set（红黑树）：

  • 插入：不会使任何现有迭代器失效（节点内存地址不变）。

  • 删除：仅使指向被删元素的迭代器失效。

• unordered_map（哈希表）：

  • 插入：可能触发重哈希 → 所有迭代器失效；若不触发重哈希，已有迭代器有效。

  • 删除：仅使指向被删元素的迭代器失效。

• 原则：迭代器失效后继续使用会导致未定义行为，插入/删除后应重新获取迭代器。