Go类型系统——接口、嵌入与泛型
内容提要
Go语言通过接口、嵌入和泛型三种机制实现多态与代码复用。接口隐式满足，类型无需显式声明；嵌入支持字段和方法提升，但非继承；泛型提供类型安全参数化，支持约束和通用函数。三者结合，减少耦合，覆盖类层次结构的功能。
延伸解读
隐式接口与解耦
Go 的接口满足是隐式的，类型无需显式声明实现某个接口。这种设计让不同包的类型可以自然满足接口，无需依赖接口定义，从而降低耦合。例如，数据库操作类型 Insert、Update、Delete 都自动满足 Message 接口，可以统一处理。这与其他语言中显式 implements 不同，更灵活，但也要求开发者对接口方法有清晰认识，避免意外满足。
嵌入与继承的区别
Go 的嵌入是组合而非继承。嵌入类型的方法和字段被提升到外层，但嵌入类型并不知道外层类型的存在，因此没有动态分派。例如，Base.Summary() 不会调用 Order 的 Summary()。这意味着嵌入不能实现多态，但提供了代码复用和接口满足的便利。理解这一点有助于避免误用嵌入实现继承语义。
泛型的约束与适用场景
Go 泛型通过类型约束保证类型安全。any 约束允许任意类型，但只能进行通用操作；而像 Number 这样的联合约束或接口约束则允许调用特定方法或运算符。例如，Sum 函数要求类型支持加法，JoinStrings 要求类型有 String() 方法。泛型在编译时生成专用代码，无运行时开销，但应避免过度使用，优先考虑接口和嵌入。
Q&A
Go语言中接口是如何被隐式满足的？
在Go中，一个类型只要实现了接口中定义的所有方法，就自动满足该接口，无需显式声明。例如，如果定义了Message接口，包含Type()和String()方法，任何具有这两个方法的类型都自动满足Message接口。
Go语言中类型断言和类型开关有什么区别？
类型断言用于检查接口值是否持有特定类型，使用语法`value.(Type)`，通常配合逗号-ok模式以避免panic。类型开关（type switch）用于根据接口值的具体类型执行不同分支，使用`switch v := value.(type)`语法，每个case分支中变量v已自动转换为对应类型。
Go语言中嵌入和继承有什么区别？
Go的嵌入是组合的一种形式，通过将类型嵌入到结构体中，字段和方法会被提升到外部类型，但嵌入类型并不知道外部类型的存在。与继承不同，嵌入不支持多态，嵌入类型的方法不会动态分派到外部类型的方法。外部类型可以覆盖嵌入类型的方法，但嵌入类型的方法无法调用外部类型的方法。
Go语言中泛型函数如何定义和使用？
泛型函数通过在函数名后使用方括号声明类型参数，例如`func Filter[T any](slice []T, predicate func(T) bool) []T`。调用时无需显式指定类型参数，Go会根据实参自动推断。泛型函数可以处理任意类型，同时保持编译时类型安全。
Go语言中类型约束的作用是什么？
类型约束用于限制泛型类型参数可以接受的类型集合，以便在泛型函数或类型中执行特定操作。例如，`type Number interface { int | float64 }`约束类型参数只能是int或float64，从而允许使用`+`运算符。约束可以是接口、类型联合或内置的`comparable`。
Go语言中如何定义和使用泛型结构体？
泛型结构体在类型名后使用类型参数，例如`type Stack[T any] struct { items []T }`。创建实例时需指定具体类型，如`&Stack[int]{}`。泛型结构体的方法也可以使用类型参数，例如`func (s *Stack[T]) Push(v T)`。
Go语言中接口嵌入如何实现接口组合？
接口嵌入允许将多个接口组合成一个更大的接口。例如，`type ReadWriter interface { Reader; Writer }`，任何类型必须实现Reader和Writer的所有方法才能满足ReadWriter。这类似于标准库中的`io.ReadWriter`。
Go语言中any类型和泛型有什么区别？
`any`是`interface{}`的别名，可以持有任何类型的值，但会丢失编译时类型信息，使用时需要类型断言。泛型则允许编写类型安全的参数化代码，编译器会为每个具体类型生成专用代码，无需运行时类型断言。泛型更适合需要类型安全的场景。
