go 的 container/list 将 root 定义为 element 值类型（非指针），是为了避免初始化时的 nil 指针解引用风险，并绕过无限递归结构限制；而 next/prev 必须为指针，否则会导致非法的自引用结构定义。
在 Go 中，结构体字段若直接嵌入自身类型（如 type Element struct { next Element }），会触发编译错误：invalid recursive type Element——因为这将导致结构体大小无法确定（无限嵌套）。因此，next 和 prev 必须声明为指针类型 *Element，这是语言层面的强制要求。
但 root 字段不同：它属于 List 结构体，不构成 Element 自身的递归成员，因此语法上允许其为值类型。标准库正是利用了这一点，将 root 设为 Element{} 零值，从而天然获得一个已分配内存、可安全取地址的有效节点：
type List struct {
root Element // 零值即为有效哨兵节点
len int
}此时 l.root.next 或 l.root.prev 是对已存在字段的合法赋值，无需额外初始化。
反之，若将 root 改为指针：
type List struct {
root *Element // 默认为 nil
len int
}则在未显式初始化前调用 l.root.next = l.root 会触发运行时 panic：invalid memory address or nil pointer dereference。你必须在 Init() 中主动分配内存：
func (l *List) Init() *List {
l.root = new(Element) // 关键：手动初始化，否则 panic
l.root.next = l.root
l.root.prev = l.root
l.len = 0
return l
}✅ 正确做法：值类型 root —— 零值即就绪，简洁安全； ⚠️ 风险做法：指针 root —— 强制要求显式初始化，遗漏即崩溃。
此外，值类型的 root 还带来一个工程优势：它天然构成一个环形双向链表的哨兵节点（sentinel）。空链表时，root.next == &root 且 root.prev == &root，所有插入/删除操作可统一处理，无需分支判断头尾是否为空——这是标准库高效、健壮实现的关键设计。
总结：Go 标准库的选择不是随意的，而是综合考虑了语言约束（禁止递归结构）、内存安全性（避免 nil 解引用）、API 简洁性（零值可用）和算法一致性（哨兵环形设计） 的结果。理解这一点，有助于写出更符合 Go 惯用法的容器代码。
