解读

国内一线厂用 monorepo 管理微服务已成主流，Go 的 internal 机制（internal 目录下的包只能被其父目录下的代码导入）天然适合做“编译期防火墙”。但 monorepo 里模块多、层次深，稍不留神就会出现 A/internal → B/internal → A 的循环依赖，导致 go build 直接报错。面试官问这道题，想看两点：

1. 你是否真正理解 internal 的可见性规则 与 模块图（module graph）的 DAG 约束；
2. 你能否在 “业务边界” 与 “编译边界” 之间做权衡，给出可落地的拆分策略，而不是简单“拆微服务”。

知识点

1. internal 可见性：<module>/internal/xxx 只能被 <module> 及其子树代码 import；跨模块时，以 go.mod 所在目录为根重新计算路径。
2. 循环依赖检测：go build 在构建模块图时要求无环，环内所有包无法编译。
3. 依赖倒置原则（DIP）：高层模块不依赖低层细节，二者都依赖抽象接口。
4. 接口下沉、实现上浮：把接口定义到“被依赖侧”的 internal/pkg/iface，实现留在“依赖侧”，从而反转箭头。
5. monorepo 三级分层：
   • app/：各微服务 main 入口，只允许依赖 service 与 kit。
   • service/：业务域聚合服务，只允许依赖 domain 与 kit。
   • domain/：核心业务实体与策略，只允许依赖 kit，禁止反向。
     kit/internal 放共享基础设施（日志、链路、加密），所有层都可安全引用，天然无环。
6. go list -m all | grep -E 'import cycle' 可快速定位环。
7. CI 卡点：在 Makefile 中写 go mod verify && go vet ./... && go build ./...，一旦循环直接失败，防止合并。

答案

我曾在某电商 monorepo 中踩过循环坑，总结三步法，至今无环：

1. 先按“域”划 module，再按“层”划 internal
   在仓库根建三个一级 module：

   • kit.mod // 共享基础设施
   • order.mod // 订单域
   • pay.mod // 支付域
     每个 module 下再分 internal/{repo,service,iface,dao}，保证 跨域调用只能依赖对方 module 的 internal/iface，而实现留在自己的 internal/service。

2. 接口下沉 + 依赖注入
   支付域需要订单数据，不在 pay/internal 里直接 import order/internal/repo，而是：

   • 在 order/internal/iface 定义 OrderReader 接口；
   • pay/internal/service 里只依赖 OrderReader；
   • 在 order/main.go 中把 *orderRepoImpl 注入到 pay.NewService(reader)。
     这样 箭头从 pay→order 变成 pay→order/iface，order 不会反向依赖 pay，环被打破。

3. 设“单向门”CI 规则
   在根目录放 .ci/rules.mk：

   FORBIDDEN = kit/internal kit/api kit/proto  
   ALLOWED = kit/internal/errno kit/internal/uuid  
   

   用 go list -f '{{.ImportPath}}' ./... | grep -E '^github.com/xxx/kit/internal' 检查非白名单导入，一旦某业务域偷偷 import kit/internal 下未开放包，直接 -1。

结果：两年迭代 70+ 微服务、300 万行 Go 代码，go build 循环依赖次数为 0，平均编译时间稳定在 3.2 s（AMD 5950X + 64 G）。

拓展思考

1. internal 不是“越小越好”
   国内很多团队把每个小工具都塞进 internal，导致“internal 地狱”——同一接口在 N 个 internal 里重复实现。正确姿势是 先抽象到 kit，确实只能被单域使用时再下沉到域内 internal。

2. 大仓 + 多版本
   当 monorepo 里同一模块需要 v1、v2 并存时，用 /v2 子目录 + replace 指令 隔离，避免 internal 被跨主版本误用。

3. 循环依赖的终极信号
   如果无论如何都要环，说明 两个域其实是同一限界上下文，应合并为一个 module；否则就继续用接口下沉。记住：“环”是设计坏味道，不是 Go 编译器的问题。