3. Go 接口基础回顾：接口定义、隐式实现、空接口、类型断言

在构建报表模块的边界契约之前，必须彻底理解 Go 语言的接口机制。Go 的接口是静态类型语言中少有的“轻量级抽象”，它不依赖显式继承，而是通过隐式实现和结构体组合来达成多态。本节将系统回顾接口定义、隐式实现、空接口与类型断言四个核心知识点，为后续的契约设计打下基础。

3.1 接口定义：契约的声明

接口在 Go 中是一组方法签名的集合。任何类型只要实现了接口中声明的全部方法，就自动满足该接口的约束。接口定义使用 type 关键字，语法如下：

type ReportExporter interface {
    ExportCSV(data []Record) ([]byte, error)
    ExportPDF(data []Record) ([]byte, error)
}

接口命名通常以 er 结尾（如 Reader、Writer、Exporter），这是 Go 社区的惯例。接口中只能声明方法，不能包含字段或变量。

3.2 隐式实现：Go 的独特多态

Go 没有 implements 关键字。一个类型只要实现了接口中的所有方法，就自动实现了该接口。这种机制称为“隐式实现”或“结构体鸭子类型”。

type CSVProcessor struct{}

// CSVProcessor 实现了 ReportExporter 接口
func (c CSVProcessor) ExportCSV(data []Record) ([]byte, error) {
    // 实现 CSV 导出逻辑
    return []byte("csv data"), nil
}

func (c CSVProcessor) ExportPDF(data []Record) ([]byte, error) {
    // 即使不需要 PDF 导出，也必须实现
    return nil, errors.New("PDF not supported")
}

隐式实现带来的关键优势：

• 松耦合：类型不需要显式声明与接口的关系，接口和实现可以分别在不同包中定义
• 易于测试：可以轻松创建 mock 类型来满足接口，无需修改生产代码
• 组合优先：鼓励通过组合小接口来构建复杂行为，而非继承

3.3 空接口：任意类型的容器

空接口 interface{} 不包含任何方法签名，因此 Go 中的任何类型（包括基本类型、结构体、指针、甚至接口本身）都自动实现了空接口。在 Go 1.18 之前，空接口是泛型的主要替代方案。

// 空接口可以存储任意类型的值
var anyValue interface{}
anyValue = 42
anyValue = "hello"
anyValue = CSVProcessor{}

// 报表模块中的典型用法：异构数据收集
type ReportRow struct {
    Columns map[string]interface{}  // 列名到任意值的映射
}

3.4 类型断言：从接口中提取具体类型

类型断言用于从接口值中提取其底层具体类型的值。语法为 x.(T)，其中 x 是接口类型表达式，T 是目标类型。类型断言有两种形式：

// 形式一：单返回值（不安全，失败时 panic）
val := anyValue.(int)

// 形式二：双返回值（安全，推荐）
val, ok := anyValue.(int)
if !ok {
    // 类型不匹配时的处理
    return
}
// 安全使用 val

类型断言在报表模块中的典型应用：

• 从空接口还原具体类型：从 map[string]interface{} 中提取列值时，必须断言为实际类型
• 接口多态分发：根据接口值的实际类型执行不同逻辑
• 错误类型判断：使用 errors.As 或类型断言判断错误的具体类型

// 报表模块中的类型断言示例
func FormatCellValue(value interface{}) string {
    switch v := value.(type) {  // type switch 语法
    case int:
        return fmt.Sprintf("%d", v)
    case float64:
        return fmt.Sprintf("%.2f", v)
    case string:
        return v
    case time.Time:
        return v.Format("2006-01-02")
    default:
        return fmt.Sprintf("%v", v)
    }
}

3.5 接口值的底层结构

理解接口值的内部表示有助于写出更高效的代码。每个接口值在运行时由两个指针组成：

当接口值存储的值大小不超过一个机器字（如 int、bool、指针）时，数据直接存储在 data 字段中，无需额外分配。当值较大时，会在堆上分配内存，data 指向该副本。这一机制直接影响报表模块中大量接口值传递的性能。

// 接口值的比较：两个接口值相等当且仅当类型相同且数据相等
var a interface{} = [2]int{1, 2}
var b interface{} = [2]int{1, 2}
fmt.Println(a == b) // true，数组值相等

var c interface{} = []int{1, 2}
var d interface{} = []int{1, 2}
fmt.Println(c == d) // panic! 切片不能比较