Go中访问者模式别扭源于无泛型约束与重载，需手动类型断言；应以接口组合+显式Accept实现替代Java式设计，用FuncVisitor简化维护，递归逻辑交由节点控制，并自行处理循环引用。
为什么 Go 语言里写访问者模式总感觉别扭
因为 Go 没有泛型约束（老版本）和方法重载，Visit 方法没法靠参数类型自动分发；你手动写一堆 if v, ok := node.(*ConcreteNode); ok 判断，既啰嗦又容易漏分支。这不是设计问题，是语言特性决定的——得用接口组合 + 类型断言兜底，而不是模仿 Java 那套。
- 核心矛盾：访问者要“知道”所有节点类型，但 Go 的接口是隐式实现，没有“类型注册表”
- 真实场景：解析 AST、遍历配置树、生成代码时需要对不同结构做不同处理（比如
PrintVisitor和ValidateVisitor） - 别硬套 UML 类图——Go 里
Accept方法通常只收一个Visitor接口，不拆VisitXxx多态签名
Visitor 接口怎么定义才不踩 runtime panic
必须让每个具体节点类型都实现 Accept 方法，并在内部调用访问者的对应 Visit* 方法。关键不是接口多“全”，而是确保所有节点类型都被显式覆盖，否则运行时遇到未实现类型的 Accept 就会 panic。
-
Visitor接口只声明方法，不绑定具体节点类型：type Visitor interface { VisitFile(*File) VisitDir(*Dir) VisitSymlink(*Symlink) } - 每个节点结构体必须实现
Accept：func (f *File) Accept(v Visitor) { v.VisitFile(f) } - 漏掉某个节点的
Accept实现？编译不报错，但运行到那里就 panic：interface conversion: interface {} is nil, not *main.File - 如果节点类型后期新增，记得同步补全所有
Accept和Visitor方法，没 IDE 提示，全靠人肉检查
如何避免 Visitor 实现类越写越多越难维护
别为每个操作新建一个 struct。用函数值或闭包封装行为，把 Visitor 接口变成轻量适配器。
- 定义通用函数型 Visitor：
type FuncVisitor struct { VisitFile func(*File) VisitDir func(*Dir) VisitSymlink func(*Symlink) } func (v FuncVisitor) VisitFile(f *File) { v.VisitFile(f) } // ……其他方法同理 - 使用时直接传匿名函数：
walk(root, FuncVisitor{ VisitFile: func(f *File) { log.Println("file:", f.Name) }, VisitDir: func(d *Dir) { log.Println("dir:", d.Name) }, }) - 好处：不用为日志、统计、序列化各建一个 struct；坏处：无法保存状态（除非闭包捕获外部变量）
- 需要状态？加个
*State字段进去，比嵌套 struct 更直觉
嵌套结构里递归调用 Accept 容易栈溢出或逻辑错乱
访问者自己不负责遍历，Accept 只负责当前节点。子节点要不要递归、怎么递归，由节点自己的 Accept 方法决定——这点和教科书例子常写的“visitor.Traverse()”完全不同。
立即学习“go语言免费学习笔记（深入）”；
- 错误写法：
func (v *PrintVisitor) VisitDir(d *Dir) { fmt.Println(d.Name) for _, child := range d.Children { // ❌ 这里不该由 visitor 决定怎么进子节点 child.Accept(v) } } - 正确写法：把递归逻辑收进节点内部
func (d *Dir) Accept(v Visitor) { v.VisitDir(d) for _, child := range d.Children { child.Accept(v) // ✅ 由 Dir 控制遍历顺序和条件 } } - 如果某些节点需跳过（比如忽略隐藏文件），就在
Dir.Accept里加判断，而不是让每个 Visitor 自己重复写过滤逻辑 - 深度优先还是广度优先？取决于节点类型怎么写
Accept，不是 Visitor 的责任
最麻烦的其实是循环引用：A → B → A。Go 没有内置访问标记，得靠额外 map 记录已访问地址，否则无限递归。这事没人替你做，得自己在 Visitor 状态里塞个 map[uintptr]bool 或类似机制。
