面试官：请问 Go 语言中切片（Slice）的底层结构是怎样的？它的扩容机制是怎样的？
面试回答
底层结构
“在 Go 语言中，Slice（切片）的底层实际上是一个结构体（reflect.SliceHeader）。它包含三个字段：
第一是 array，一个指向底层数组的指针；
第二是 len，表示当前切片中元素的个数；
第三是 cap，表示底层数组的容量，也就是切片在不重新分配内存的情况下，最多能容纳的元素个数。
因为 Slice 本身只包含指针和两个整型，所以它非常轻量，按值传递时的开销很小。”
扩容机制
“关于扩容机制，当向 Slice 追加元素导致 len 超过 cap 时，就会触发扩容。Go 1.18 版本对扩容策略做了一次优化：
在 Go 1.18 之前，阈值是 1024。容量小于 1024 时翻倍扩容；大于等于 1024 时，每次增加 25%。
在 Go 1.18 及之后，阈值改为了 256。当原容量小于 256 时，依然是翻倍扩容；当原容量大于等于 256 时，会采用一个平滑过渡的公式（newcap += (newcap + 3*256) / 4），让扩容系数从 2 倍平滑过渡到 1.25 倍左右。
计算出基础的新容量后，Go 还会根据内存分配器的规格（内存对齐）进行一次向上取整，所以最终的实际容量通常会比公式计算出的稍微大一点。扩容完成后，Go 会开辟一块新的内存，把老数据拷贝过去，并返回一个新的 Slice。”
系统讲解
关于 Slice 的底层实现细节，本项目在源码阅读系列中有深入的剖析。以下是核心知识点的结构性总结，详细推导与源码解析请跳转至对应链接：
Slice 的底层数据结构
Slice 的本质是一个胖指针（Fat Pointer），包含三个字段：指向底层连续内存的指针 array、当前元素个数 len 以及底层数组容量 cap。
👉 详细源码解析：底层结构
扩容机制演进
当 append() 导致 len > cap 时会触发扩容。Go 1.18 对此进行了优化，将阈值从 1024 降低至 256，并引入了平滑过渡公式，解决了旧版本中扩容系数从 2 倍骤降到 1.25 倍的突变问题。
👉 详细源码解析：扩容策略
内存对齐（Memory Alignment）
扩容公式计算出的仅为预估容量。Go 的内存分配器会根据元素大小计算所需字节数，并向上匹配到最接近的内存块规格（Size Classes），从而得出最终的实际容量。 👉 详细源码解析：内存对齐（Round Up）
常见追问
追问 1：如果切片作为函数参数，在函数内 append 会影响外部吗？
不会影响外部切片的 len 和 cap。因为切片是值传递，函数内部拿到的是切片结构体的副本。如果发生了扩容，内部切片会指向新的底层数组，而外部切片依然指向老的底层数组；如果没有发生扩容，内部切片修改了底层数组的元素，外部切片能看到元素的改变，但外部切片的 len 依然是原来的值，无法访问到新追加的元素。
追问 2：如何避免切片扩容带来的性能损耗？
如果在创建切片时已经知道大致需要的容量，应该使用 make([]T, 0, capacity) 预先分配足够的容量，避免在 append 过程中频繁触发内存分配和数据拷贝。
追问 3：切片会导致内存泄漏吗？
会。如果一个大数组被切片引用了其中一小部分（例如 smallSlice := largeArray[10:12]），只要 smallSlice 还在存活，整个 largeArray 的底层数组就无法被垃圾回收。解决方法是使用 copy() 函数将需要的数据拷贝到一个新的小切片中。