在 Go 语言中，使用 range 遍历 map 时，其背后的执行流程是什么样的？请描述其内部机制和特点。

回答思路

1. 【回答框架 1】遍历开始前，map 会生成一个随机数作为起始 bucket 的偏移量，并记录遍历起始时的 bucket 数。遍历顺序因此不固定。
2. 【回答框架 2】遍历时，从起始 bucket 开始，依次遍历每个 bucket 及其溢出链（overflow bucket）中的键值对。若遍历期间发生扩容，则会继续遍历旧桶，并在访问到旧桶时检查其迁移状态。
3. 【回答框架 3】遍历过程中，如果 map 被修改（如插入或删除），行为未定义，但实际实现中可能跳过部分键或重复出现部分键。
4. 【回答框架 4】对于 map 的遍历，Go 官方不保证任何顺序，且每次遍历顺序可能不同。
5. 【回答框架 5】在遍历时，如果 map 为空，则不执行任何操作；如果 map 为 nil，则 range 会直接结束。
6. 【关键点 1】遍历顺序随机，不保证稳定，与插入顺序无关。
7. 【关键点 2】遍历起始位置由随机数决定，每次遍历可能不同。
8. 【关键点 3】遍历时会处理溢出桶（overflow buckets）。
9. 【关键点 4】遍历期间修改 map 可能导致未定义行为。
10. 【关键点 5】map 为 nil 时，range 循环不会报错，直接结束。
11. 【易错点 1】将 map 遍历顺序误认为与插入顺序或键的哈希顺序一致。
12. 【易错点 2】在遍历过程中并发修改 map 会导致 panic，需使用并发安全的方案。
13. 【易错点 3】误以为遍历时 map 会被整体快照，实则遍历期间修改可能导致遗漏或重复。