简介
我发现，学知识的时候，如果费尽心思写笔记，不但费时间，而且我根本记不住。
那就直接一些：AI当模拟面试官来拷打我。我直接复制粘贴以示记录。Simple but effective.
我预计会走三轮：第一轮看这个draven的笔记(配合幼麟实验室的视频理解难点)，第二轮看csview的八股总结和面经，第三轮记录面试官问的问题。每一轮的对应知识点我都会在这里更新，所以，你可以把这个文档当成养成系的。
1 数组
资料来源：https://draven.co/golang/docs/part2-foundation/ch03-datastructure/golang-array/
面试官： “同学你好，我看你对 Go 语言的底层实现比较感兴趣。咱们先聊聊最基础的数组（Array）。请结合你对编译器的理解，回答以下几个问题：”
1. 关于类型定义： “在 Go 语言中，数组的‘类型’是由哪些要素决定的？如果我定义了 [3]int 和 [4]int，它们在编译器眼中是同一种类型吗？为什么？”
2. 关于初始化优化： “当你写下 arr := [N]int{1, 2, 3...} 这种字面量初始化语句时，编译器会根据数组元素的个数做不同的优化处理。你能说出这个‘临界点’是多少吗？对于多于和少于这个数的情况，编译器分别是怎么把代码‘拆解’成底层指令的？”
3. 关于越界检查（Bounds Check）： “大家都知道 Go 访问数组越界会报错。请问这个报错是发生在编译期还是运行期？编译器是如何决定要在哪一个阶段抛出错误的？（提示：可以结合变量索引和常量索引的情况来谈谈）”
我的回答：
1.数组的类型是由数组中元素的类型和数组的长度共同决定的。如果你定义了这两个，它们在编译器中不是同一个类型，因为它们虽然类型相同，但是数组的长度不一样。
2.这个临界点是四个元素。如果数量小于四，那编译器会把这个几个元素放到堆里边，一个一个赋值；如果数量大于四，那就会把这些元素给放到，具体放在哪里我忘记了，但是是一个动态调用的区域，然后后续要用到的时候再拷贝过来。
3.这个报错编译器和运行器都有可能发生，如果是比较简单的，比如写了个固定数字，然后超出了这个数组的长度，这个在编译阶段就可以检查出来，如果是需要运行把代码跑起来之后才能发现的错误，比如用一个变量去访问一个数组像这种就只能在运行期发现错误。🎙️ 面试复盘与修正
我对你的回答进行了“大厂标准版”的重构。你可以对比一下哪些专业词汇是需要精准掌握的：
- 关于类型定义
- 你的回答： 答对了。长度和类型共同决定，不同长度不是一个类型。
- 面试标准版： > “在 Go 中，数组的元素类型和数组长度共同构成了其类型标识。在编译器层面，
NewArray函数会同时接收这两个参数来创建类型。因此，[3]int和[4]int是完全不同的类型，它们之间不能直接赋值或比较，这体现了 Go 强类型的严谨性。”
- 关于初始化优化（重点修正点！）
- 你的回答： 记住了临界点是 4。但位置说错了：小于 4 是“堆”（不对，是栈），大于 4 是“动态区”（不对，是静态区）。
面试标准版： > “编译器会根据数组大小做分发优化，临界点是 4 个元素：
- 当元素 $\le 4$ 时：为了效率，编译器会将字面量直接拆解为栈上的局部变量赋值（如
arr[0]=1, arr[1]=2...）。 当元素 $> 4$ 时：编译器会将数组元素存放在二进制文件的静态只读存储区（Static Area），然后在运行时通过一条指令将其整个拷贝到目标内存中。
这种做法是为了在代码体积（Code Size）和执行效率之间取得平衡。”
- 当元素 $\le 4$ 时：为了效率，编译器会将字面量直接拆解为栈上的局部变量赋值（如
- 关于越界检查
- 你的回答： 答得很好，区分了常量索引和变量索引。
面试标准版： > “Go 采用的是编译期与运行期相结合的检查机制：
- 静态检查：在类型检查阶段，如果索引是常量（如
a[5]）且超出了数组声明的 Bound，编译器会直接报out of bounds错误。 - 动态检查：如果索引是变量（如
a[i]），编译器会插入中间代码（SSA 指令），在运行时通过IsInBounds指令进行判断。如果越界，则由底层运行时（Runtime）触发panic。”
- 静态检查：在类型检查阶段，如果索引是常量（如
🌟 补充文中提到的“加分细节”
既然你已经读了这篇文章，面试时如果能顺口提一句下面这个点，面试官会觉得你看源码看得非常细：
- [...]T 的本质：这只是一个语法糖。在编译的类型检查阶段，编译器会调用
typecheckarraylit遍历一下你的元素个数，然后把它转换成固定长度的[N]T。
2 切片
面试官：“基础不错，那咱们聊聊切片。数组虽然稳固，但切片在实际开发中更灵活。请结合你看到的底层源码，回答以下问题：”
1. 关于底层结构： “在运行时，一个切片在内存中到底长什么样？它由哪几个字段组成？另外，当你执行 slice := arr[0:3] 时，底层发生了数据拷贝吗？修改新切片会影响原数组吗？”
2. 关于 make 的编译器优化： “很多人以为执行 make([]int, 5) 一定会在堆上分配内存。但根据你对编译器的了解，在什么情况下，make 创建的切片不会去调用 runtime.makeslice，而是直接在栈上初始化？”
3. 关于扩容机制（重难点）： “这是最经典的问题。当一个切片容量不足，触发 append 扩容时，Go 源码中定义的容量增长策略是怎样的？请详细说说那个‘1024’的临界点前后分别是怎么计算新容量的。”
4. 关于内存对齐（加分项）： “在 growslice 函数里，算出初步的容量后，为什么还要调用 roundupsize 进一步处理？这个操作是为了解决什么问题？”
我的回答：
1.一个切片，它在内存中，是一个结构体表示的，这个结构体里面有三个元素，第一个是指针，指向这个切片的头在内存中的位置，还有一个是切片的当前长度len，还有一个是切片的容量cap。底层没有发生数据拷贝，修改新切片会影响原数组。因为他只会新建一个指向同样地址的指针，所以我如果修改新切片，这部分内容也会被改掉。
2.应该也是以四为分界点吧，类比一下数组。如果它的元素数量足够小，可能是比四小，那就会创建数组，然后数组元素数量如果小于四，就会在栈里面分配内存，而不是在静态区。所以我感觉这是间接的借用了数组的特性。
3.分三种情况来看，第一种情况是如果当前容量比数组长度的两倍还要多，那就直接使用当前容量，然后再来比较这个1024，如果当前数组的容量小于1024，那就直接翻倍，如果大于1024，那就一次增长25%，直到容量超出了数组长度。
4.使用这个round up size函数是为了对齐内存，减少内存碎片，提升内存的分配效率。🎙️ 面试复盘与修正
- 关于底层结构
- 你的回答： 答对了。三个元素：指针、Len、Cap。修改新切片会影响原数组。
- 面试标准版： > “切片在运行时由
reflect.SliceHeader结构体表示，包含Data（指向底层数组的指针）、Len（长度）和Cap（容量）。执行arr[0:3]时，编译器会执行OpSliceMake操作。它不会拷贝底层数据，只是创建了一个新的 Header 指向原数组的特定位置。因此，切片和原数组共享内存，修改切片元素会直接反映在原数组上。”
- 关于
make的编译器优化（重要修正点！）
- 你的回答： 你类比了数组的“4个元素”，这很有灵性，但文中提到的标准略有不同。
面试标准版： “
make是否在堆上分配，主要取决于两个条件：逃逸分析和切片大小。- 如果编译器发现切片没有发生逃逸（即只在当前函数内部使用），且容量足够小，它会直接在栈上初始化一个数组，然后通过下标操作将其转为切片。
- 只有当切片发生逃逸（比如返回给外部）或者特别大时，才会调用
runtime.makeslice在堆上申请内存。”
- 关于扩容机制（精确度提升）
- 你的回答： 逻辑大致正确，但有个小细节：1024 判定的是
old.len（旧长度）还是old.cap（旧容量）？ 面试标准版： > “根据
runtime.growslice源码，扩容策略如下：- 大跨度扩容：如果期望容量（cap）大于当前容量的两倍，直接使用期望容量。
- 小容量倍增：如果当前长度（old.len）小于 1024，容量直接 翻倍 。
- 大容量平缓增长：如果当前长度大于等于 1024，则每次增加 25%（即
newcap += newcap/4），直到满足期望容量。 注：这只是初步计算的容量，后续还需要经过内存对齐。”
- 关于内存对齐（
roundupsize）
- 你的回答： 答得很好。减少碎片，提升效率。
- 面试标准版： > “计算出初步
newcap后，Go 还会调用roundupsize进行内存对齐。这是因为 Go 的内存分配器是按固定大小（Size Classes，如 8, 16, 32...）预先划分好的。将申请内存向上取整到这些标准尺寸，可以大幅减少内存碎片并提高分配效率。这也是为什么我们扩容后的实际容量往往比公式计算出的还要大一点点。”
🌟 补充文中提到的“面试陷阱”
如果你能主动提下面这个点，面试官会觉得你对 append 的性能优化有深度思考：
append的两种展开方式： 如果你写a = append(a, 1)（赋值回原变量），编译器会进行优化，减少不必要的内存拷贝逻辑；如果你写b = append(a, 1)（赋值给新变量），则必须严格按照“解构、判断扩容、拷贝、创建新结构体”的步骤执行。
