在 Go 语言中，当向 slice 追加元素触发扩容时，新容量的计算规则是什么？请说明其底层实现原理。

回答思路

1. 【回答框架 1】Go 语言中 slice 的扩容发生在 append 操作导致元素数量超过当前容量时。新容量的计算分为两个阶段：首先根据增长因子确定一个基础容量，然后进行内存对齐调整。
2. 【回答框架 2】在 Go 1.18 之前，当旧容量小于 1024 时，基础容量为旧容量的 2 倍；当旧容量大于等于 1024 时，基础容量按 1.25 倍递增。从 Go 1.18 开始，增长公式调整为：如果新容量小于 256，则为旧容量的 2 倍；如果新容量大于 256，则新容量 = 旧容量 + (旧容量 + 3*256) / 4，即增长因子从 2 逐渐过渡到 1.25。
3. 【回答框架 3】第二阶段是内存对齐。计算出的基础容量会结合元素类型的大小（即元素类型所占字节数）进行对齐，对齐到 Go 分配器支持的内存规格（如 8 的倍数），最终得到实际分配的容量。
4. 【回答框架 4】需要区分容量和长度的概念：容量是底层数组能容纳的元素个数，而长度是当前实际拥有的元素个数。扩容时通常会分配新的底层数组，并将旧元素复制过去，因此扩容操作的时间复杂度为 O(n)。
5. 【回答框架 5】在实际使用中，如果能够预估元素的数量，建议使用 make 函数预先分配足够的容量，以减少扩容次数，提升性能。
6. 【关键点 1】扩容规则在 Go 1.18 前后有所变化，新版本采用非固定增长因子，从 2 倍逐渐过渡到 1.25 倍。
7. 【关键点 2】实际容量需经过内存对齐调整，最终容量可能大于等于预期值。
8. 【关键点 3】扩容涉及新数组分配和元素复制，成本较高，预分配容量可优化性能。
9. 【易错点 1】不要将容量增长规则视为固定 2 倍或 1.25 倍，因为不同版本和元素大小会影响实际容量。
10. 【易错点 2】扩容后 slice 可能引用新的底层数组，原有的切片引用不会同步更新，需注意共享底层数组的副作用。
11. 【易错点 3】容量计算只保证追加元素不越界，并不保证内存效率最优，频繁扩容会导致额外开销。