在 go 中，对值类型切片追加元素后取地址存入 map，可能因底层数组扩容导致 map 中的指针指向已废弃内存，从而无法反映后续修改——根本解法是统一使用指针切片，确保 map 与切片共享同一结构体实例。
Go 的切片（[]T）是引用类型，但其底层仍由数组支撑，且 append 操作可能触发底层数组扩容：当容量不足时，运行时会分配新数组、复制旧元素，并返回指向新数组的新切片头。此时，原切片中元素的地址（如 &t[i]）可能失效——尤其当你在 append 后立即取地址并保存（如存入 map），而后续 append 又触发扩容，该地址就指向了被丢弃的旧内存。
在原始代码中，问题正是如此：
t = append(t, Test{1, &one})
mt[1] = &t[len(t)-1] // ✅ 此时取的是当前切片末尾地址
t = append(t, Test{2, &two}) // ⚠️ 可能扩容！若扩容，t 已指向新数组，原 &t[0] 失效
mt[2] = &t[len(t)-1] // ✅ 取新切片末尾地址，但前一个地址已悬空三次 append 后，map 中的三个指针实际分别指向：第一次扩容前的旧数组末尾、第二次扩容前的旧数组末尾、以及最终数组末尾。因此仅最后一个映射能反映 Modify() 的修改，其余两个仍读取旧内存中的原始值（"one"/"two"），造成“部分更新”的错觉。
✅ *正确做法：统一使用指针切片 `[]T** 让切片本身存储结构体指针，而非值；map 直接复用这些指针。这样无论切片如何扩容，所有指针始终指向堆上同一份Test` 实例，修改一处，处处可见：
type List []*Test // 关键：切片元素为 *Test
type MapToList map[int]*Test
func MakeTest() (t List, mt MapToList) {
t = []*Test{} // 初始化指针切片
mt = make(map[int]*Test)
one, two, three := "one", "two", "three"
t = append(t, &Test{1, &one}) // 存储堆上新分配的 *Test
mt[1] = t[len(t)-1] // map 与切片共享同一指针
t = append(t, &Test{2, &two})
mt[2] = t[len(t)-1]
t = append(t, &Test{3, &three})
mt[3] = t[len(t)-1]
return
}此时 t.Modify() 修改 (*s)[index].two，本质是修改堆上 Test 实例的字段，mt 中的指针与 t 中的指针完全等价，自然同步生效。
? 关键注意事项：
- 避免混合使用值切片与指针存储：[]T + &t[i] 在动态增长场景下极不稳定；
- 若必须用值切片，应预先 make([]T, 0, n) 预分配足够容量，避免扩容（但不具扩展性）；
- &t[i] 的生命周期仅限于当前切片头有效期内，不可跨 append 操作持久化；
- 使用 []*T 虽增加一次堆分配，但换来语义清晰性和行为可预测性，是标准实践。
总结：Go 中 slice 的“动态数组”特性决定了其地址稳定性弱于显式堆分配。当需要多处引用同一数据实体时，主动将数据置于堆上（通过指针），并让所有容器（切片、map、函数参数）共享该指针，是最简洁、最可靠的设计模式。
