自引用约束定义递归泛型

Go 可以用自引用泛型约束描述“方法返回当前具体类型”的关系。例如 T Link[T] 要求 T 实现 Next() T。它适合保留具体节点类型的链式遍历；这里递归的是节点链接，遍历算法可以使用循环。

Go 官方语言规范：https://go.dev/ref/spec

使用场景：让后继节点保持具体类型

业务记录 Entry 通过 next 指针串成链，调用者既要统计节点，又希望后续继续访问 Entry 的字段。自然的设计是 Next 返回 *Entry。若普通接口把 Next 的结果定义为某个统一接口，返回后就只剩接口提供的操作，读取具体字段通常还需要类型断言。

先确认抽象是否有必要。只有 Entry 一种节点时，接收 *Entry 的普通函数就够用；多个节点类型需要共享同类遍历算法时，自引用约束才更有价值。

候选方案：普通接口为什么不能直接接收

// 普通接口要求方法明确返回 AnyLink。
type AnyLink interface {
    Next() AnyLink
}

// Next() *Entry 与 Next() AnyLink 的签名不同。
// 可以调整业务方法，或提供额外适配器。

即便 *Entry 在概念上也是节点，返回 *Entry 的 Next 方法也不能自动满足上述接口。Go 要求对应方法签名一致，不提供这种返回类型协变。普通接口适用于业务原本就希望所有节点返回统一接口的情况，不能靠概念上的包含关系替代方法签名。

第三种选择是向算法传入 next 和 valid 回调。当节点定义来自外部库、无法添加方法，或同一个对象存在多种链接规则时，这种设计很灵活。它不要求对象的方法集承担遍历契约，但每次调用需要准备行为参数。

自引用约束：用一个计数算法处理同类节点

先定义参数化接口 Link[T any]，再用 T Link[T] 约束算法。前者描述方法，后者把算法的 T 放进同一约束的类型实参。实现依靠方法集匹配，不需要显式声明 implements。

package main

import "fmt"

// Link 将后继节点的类型与当前类型参数绑定。
type Link[T any] interface {
    Next() T
    Valid() bool
}

// Count 依赖链能够终止的约定，本例不检测环。
func Count[T Link[T]](p T) int {
    n := 0
    for p.Valid() {
        n++
        p = p.Next()
    }
    return n
}

type Entry struct {
    Name string
    next *Entry
}

// 空指针接收者需要在方法内部避免解引用。
func (p *Entry) Next() *Entry {
    if p == nil { return nil }
    return p.next
}
func (p *Entry) Valid() bool {
    return p != nil
}

func main() {
    // 两个有效节点之后，以零值空指针表示终止。
    head := &Entry{Name: "one", next: &Entry{Name: "two"}}
    fmt.Println(Count[*Entry](head))
}

按代码语义，预期打印 2：两个有效节点各计一次，随后空指针的 Valid 返回 false。这是预期结果说明，并非运行日志。显式调用 Count[*Entry] 可以直观看到 T 的替换关系。

Next 与 Valid 使用指针接收者，因此满足约束的是 *Entry。不要把 Entry 值类型的方法集与指针类型混为一谈。算法不访问 Name 字段，其他节点类型只要提供同类后继和有效性方法，也能复用计数逻辑。

对比维度：类型保留与终止约定

自引用约束让 p = p.Next() 前后保持类型 T，省去把后继节点转换为统一接口的步骤。普通接口更适合混合具体实现、且接口已经提供全部业务操作的对象链；回调适合把遍历关系从对象定义中抽离。

泛型算法里不能直接假设 p 可以与 nil 比较，因为 T 也可能是值类型。这里把终止判断交给 Valid；只有 *Entry 的实现使用空指针作为结束标记。空指针接收者允许调用方法，但方法体仍必须自行避免解引用，本例的处理不代表所有节点实现都安全。

若链中存在环，所有节点可能一直有效，Count 将无法结束。实际业务应保证输入无环，或者另行设计访问记录、步数上限及错误返回。类型约束只保证方法签名，不保证数据结构一定终止。

不适用情况与选型决策

不要把方法契约中的 T，误写成接口直接嵌入自身。接口直接或间接嵌入自身受到语言规范禁止；Link[T] 的方法返回 T，与把接口自身列为嵌入元素不是同一种结构。此处也不需要不断展开 Link[Link[...]]。

这是递归函数吗？不是。节点定义通过指针形成递归结构，约束表达同类关系，Count 仍是循环。

需要特殊的 Self 关键字吗？不需要。本例通过 T 和 Link[T] 的组合表示当前类型关系。方法能否匹配、链能否结束，是两个需要分别设计的问题。

参考：Go 官方：Generic interfaces；Go 语言规范：接口类型。