[!info] related notes

• 所属 MOC: Go 类型系统与抽象
• 前置概念: Go 基础类型
• 并列概念: Go 泛型

Go 类型别名与类型定义

一句话定义

type A B 创建一个全新的、与 B 不兼容的类型；type A = B 仅创建一个等价的别名，二者在编译器看来是同一个类型。

核心机制 / 工作原理

类型定义（Type Definition）：

type UserID int64
type OrderID int64

var uid UserID = 1
var oid OrderID = 2

// 编译错误：cannot use uid (variable of type UserID) as type OrderID
// oid = uid

// 必须显式转换
oid = OrderID(uid) // OK，但语义上没有保证

类型定义创建的新类型拥有底层类型的所有方法集（method set），但不会继承底层类型的显式声明的方法。新类型可以独立添加方法：

func (id UserID) String() string {
    return fmt.Sprintf("user:%d", id)
}
// OrderID 没有 String() 方法，尽管底层都是 int64

类型别名（Type Alias，Go 1.9+）：

type MyInt = int

var x MyInt = 10
var y int = 20

// 完全兼容，可以互相赋值
x = y // OK
y = x // OK

别名和原类型在所有场景下完全等价：赋值、方法调用、类型断言、接口实现。编译器不区分它们。

标准库中的别名实践：

// net/http 包中的典型用法
type HandlerFunc = func(http.ResponseWriter, *http.Request)

早期版本中这是类型定义（type HandlerFunc func(...)），后来改为别名以保持兼容性。

最小例子 / 最小场景

// 类型定义：防止混淆不同领域 ID
type CustomerID string
type ProductID string

func GetCustomer(id CustomerID) error { /* ... */ }

func main() {
    cid := CustomerID("c-001")
    pid := ProductID("p-001")

    GetCustomer(cid) // OK
    // GetCustomer(pid) // 编译错误：类型不匹配
    GetCustomer(CustomerID(pid)) // 显式转换，编译通过
}

类型定义在编译期防止语义错误——即使底层类型相同，不同领域的值不会被意外混用。

// 类型别名：渐进式代码迁移
// 旧包: legacy/auth
type Token = auth.Token  // 别名，保持向后兼容

为什么重要

• 类型安全：类型定义为底层类型赋予领域语义，编译器帮你捕获”把 OrderID 当 UserID 传”这类错误。
• 渐进迁移：类型别名是大型项目重构的利器——将类型从一个包移动到另一个包时，用别名保持旧包的 API 兼容。
• API 设计：选择哪种方式直接影响使用者的体验——定义类型更安全但需要显式转换，别名更灵活但失去了编译期保护。

边界与易混淆点

• 类型定义的变量可以拥有底层类型没有的方法（通过在新类型上定义方法），但不会自动继承底层类型的显式方法。例如 type MyReader *bytes.Buffer 不会拥有 Read 方法。
• 类型别名可以用于任何类型，包括函数类型、接口类型、结构体类型、甚至复合类型（slice、map、chan）。
• 类型别名不创建新类型，因此不能在别名上定义新方法——那等于给原类型加方法，编译器不允许。
• 序列化/反序列化时，JSON 等库对类型定义和别名的行为可能不同——类型定义可能需要自定义 MarshalJSON/UnmarshalJSON。
• 泛型中类型约束（constraint）里 ~T 匹配底层类型为 T 的所有类型定义，但不包括别名（别名就是 T 本身）。