Go 允许 n[0] = n 这类赋值，是因为 n[0] 的类型 N 与 n 的类型 []N 具有相同的底层类型 []N，且 []N 是未命名类型，满足 Go 类型可赋值性规则中的“相同底层类型 + 至少一方未命名”条件。
Go 允许 n[0] = n 这类赋值，是因为 n[0] 的类型 N 与 n 的类型 []N 具有相同的底层类型 []N，且 []N 是未命名类型，满足 Go 类型可赋值性规则中的“相同底层类型 + 至少一方未命名”条件。
在 Go 中，类型可赋值性（assignability）并非仅依赖表面名称是否一致，而是由底层类型（underlying type） 和命名状态（named vs. unnamed） 共同决定。关键规则来自 Go 语言规范 §Assignability：
A value x is assignable to a variable of type T if:
…
x’s type V and T have identical underlying types, and at least one of V or T is not a named type.
我们来逐层分析示例代码：
type N []N // 定义递归类型：N 的底层类型是 []N
func main() {
n := make([]N, 1) // n 的类型是 []N（未命名切片类型）
fmt.Printf("%T\n", n) // []main.N → 底层类型为 []N
fmt.Printf("%T\n", n[0]) // main.N → 底层类型也为 []N（根据规范：“the type to which N refers in its type declaration”）
n[0] = n // ✅ 合法：V = N, T = []N；二者底层类型均为 []N，且 T（[]N）是未命名类型
}? 为什么 N 的底层类型是 []N？
根据 Go 规范对类型定义的说明：type N []N 表示 N 是 []N 的别名（type alias）式定义（注意：此处非 type alias 语法，而是传统类型定义，但效果等价于底层类型绑定）。因此 N 的底层类型即为其右侧的类型——[]N。而 []N 本身是复合字面类型，属于未命名类型（unnamed type）。
✅ 赋值成立的两个必要条件均满足：
- V = N（左值类型），T = []N（右值目标类型）；
- underlying(V) == underlying(T) == []N；
- T（即 []N）是未命名类型 → 条件达成。
⚠️ 重要注意事项：
- 此赋值虽合法，但会构造自引用数据结构（n[0] 指向 n 自身），若后续进行深度遍历或 fmt.Println(n)，将触发无限递归并 panic（如取消注释最后一行会输出 panic: runtime error: invalid memory address or nil pointer dereference 或陷入死循环）。
- Go 编译器不禁止此类逻辑上可能危险的操作，因为它只校验静态类型规则，不分析运行时语义。
- 递归类型（如 type List struct { Value int; Next *List }）广泛用于链表、树等结构，其合法性正依赖于这套底层类型机制。
? 总结：Go 的类型系统通过“底层类型一致性 + 命名松绑”设计，在保证类型安全的同时，为递归、泛型兼容及底层抽象提供了灵活性。理解 underlying type 与 named type 的区分，是掌握 Go 类型系统深层行为的关键。
