3、Go接口设计原则：接口隔离原则、最小知识原则、契约式设计在连接池中的应用

在构建事务连接池时，Go 的接口设计直接决定了系统的可扩展性、可测试性与健壮性。本章聚焦三大核心原则——接口隔离原则（ISP）、最小知识原则（LoD）与契约式设计（DbC），并展示它们如何在连接池水位控制中落地。

3.1 接口隔离原则（ISP）：拆分粗粒度接口

ISP 要求“客户端不应依赖它不使用的方法”。在连接池场景中，一个包含Acquire、Release、HealthCheck、Stats、Resize的巨型接口会迫使所有调用方感知不必要的职责。

按照 ISP 重构，将连接池拆分为三个独立接口：

// 业务代码只依赖最小接口
type ConnAcquirer interface {
    Acquire(ctx context.Context) (net.Conn, error)
}

func HandleRequest(pool ConnAcquirer) {
    conn, err := pool.Acquire(context.Background())
    if err != nil {
        // 处理错误
    }
    defer conn.Close() // 业务只关心获取与归还
}

3.2 最小知识原则（LoD）：降低耦合深度

LoD 规定“一个对象应尽可能少地与其他对象发生交互”。在连接池中，业务代码不应直接操作池的内部状态（如空闲队列、水位阈值）。

违反 LoD 的典型代码：

// 违反：业务代码直接访问池的内部字段
if pool.freeConnections < pool.minWaterLevel {
    pool.resize(pool.minWaterLevel * 2)
}

遵循 LoD 的正确做法：业务只通过 Acquire/Release 与池交互，水位调整由池内部或专门的 PoolAdmin 控制器负责。

LoD 在连接池中的具体落地规则：

• 业务层：只调用 Acquire 和 Release，不接触池的统计或管理方法。
• 管理面：通过 PoolAdmin 接口操作，不直接修改池的内部切片或 map。
• 监控层：通过 Stats() 获取快照，不持有池的引用。

3.3 契约式设计（DbC）：前置条件、后置条件与不变量

契约式设计将接口的语义约束显式化。在连接池中，每个方法都应定义清晰的契约，违反契约时快速失败（fail fast）。

3.3.1 核心契约定义

// Go 中通过 panic 或 error 强制契约
func (p *Pool) Acquire(ctx context.Context) (net.Conn, error) {
    // 前置条件检查
    if p.closed {
        return nil, ErrPoolClosed
    }
    if ctx.Err() != nil {
        return nil, ctx.Err()
    }
    // 核心逻辑
    conn, err := p.tryAcquire(ctx)
    // 后置条件断言
    if err == nil {
        p.mu.Lock()
        p.activeCount++
        p.mu.Unlock()
    }
    return conn, err
}

3.4 三大原则在连接池水位中的协同

ISP 保证接口粒度合理，LoD 限制交互范围，DbC 明确行为边界。三者共同构建了一个可测试、可演化的连接池水位系统。

3.5 实践检查清单

• 接口拆分：检查项目中是否存在超过 3 个方法的连接池接口，若有则按 ISP 拆分。
• 依赖范围：业务代码是否导入了池的管理包？若是，则违反 LoD，应改为只依赖 ConnAcquirer。
• 契约文档：每个导出方法是否在注释中写明前置/后置条件？建议使用 // Precondition: / // Postcondition: 标签。
• 断言开关：是否在测试中启用了契约断言？建议在 _test.go 中通过 go test -tags assert 开启。