在 Go 语言中，类型别名（Alias Type）和类型定义（Defined Type）虽然语法看起来非常相似，但它们在编译器眼中的地位截然不同。
简单来说：
类型别名 (type A = B)：只是给旧类型起了个绰号，两者完全是一回事。
类型定义 (type A B)：是创造了一个新身份，虽然底层数据一样，但在类型系统中是完全独立的。
以下是详细的对比和解析：
核心区别速览表
特性 类型别名 (type A = B) 类型定义 (type A B)
本质 完全等价，只是换个名字 创建一个全新的类型
赋值兼容性 可直接互相赋值，无需转换 不可直接赋值，需显式转换
方法集 共享原类型的方法 不继承原类型的方法
反射 (reflect) 显示为原类型 显示为新类型名称
主要用途 代码重构、简化复杂类型 类型安全、封装行为
详细解析
类型别名
语法：type T1 = T2
类型别名在 Go 1.9 中引入。它就像是给现有类型起了一个"外号"。在编译器看来，T1 和 T2 是完全相同的类型。
完全等价：你可以把 T1 的变量直接赋值给 T2 的变量，反之亦然，不需要任何类型转换。
方法共享：别名没有自己的方法集，它直接使用原类型的方法。你不能为别名定义新方法（因为那等于给原类型加方法，Go 不允许给非本地类型加方法）。
反射：如果你用 reflect.TypeOf() 检查一个别名类型的变量，它会告诉你它是原类型，而不是别名。
适用场景：
代码重构：比如你想把一个类型从包 A 移动到包 B，为了兼容旧代码，可以在包 A 留一个别名指向包 B 的类型。
简化代码：给复杂的类型（如 map[string]map[int][]string）起个简短的名字。
类型定义
语法：type T1 T2
这是 Go 语言中最常见的类型声明方式。它创建了一个新的、独立的类型。
类型隔离：即使 T1 的底层结构和 T2 一模一样，它们在类型系统中也是互不兼容的。赋值时必须进行显式类型转换（如 T1(x)）。这提供了更强的类型安全性，防止逻辑混淆（例如防止把 UserID 误当作 OrderID 传递）。
方法隔离：新类型不会继承原类型的方法。你需要为新类型重新定义方法。
反射：反射时会明确显示这是 T1 类型。
适用场景：
领域驱动设计：定义具有业务含义的类型（如 type Age int，type Email string）。
扩展功能：基于现有类型（如 time.Time 或 int）添加新的方法。
代码示例
通过下面的代码，你可以直观地看到两者的区别：
go
package main
import (
"fmt"
"reflect"
)
// 1. 类型别名 (=)
type MyIntAlias = int
// 2. 类型定义 (无等号)
type MyIntDef int
// 尝试为别名定义方法 -> 编译报错!
// func (m MyIntAlias) SayHello() { fmt.Println("Hello Alias") }
// 为定义类型定义方法 -> 成功
func (m MyIntDef) SayHello() {
fmt.Println("Hello Defined Type")
}
func main() {
var i int = 100
var a MyIntAlias = 200
var d MyIntDef = 300
// --- 赋值兼容性 ---
i = a // OK: 别名和原类型完全兼容
a = i // OK
// i = d // Error: 不能直接赋值 (defined type)
i = int(d) // OK: 必须显式转换
// --- 方法调用 ---
// a.SayHello() // Error: 别名没有该方法
d.SayHello() // OK: 输出 "Hello Defined Type"
// --- 反射 ---
fmt.Printf("Alias Type: %vn", reflect.TypeOf(a)) // 输出: int
fmt.Printf("Defined Type: %vn", reflect.TypeOf(d)) // 输出: main.MyIntDef
}进阶：Go 1.24 的泛型别名
值得注意的是，在 Go 1.24 版本中（以及 1.23 的实验特性），Go 正式支持了泛型类型别名。
以前你只能写 type MyMap = map[string]int，现在你可以写：
// 定义一个泛型别名
type MyMap[K comparable, V any] = map[K]V
这使得在处理复杂的泛型数据结构时，代码可以更加简洁，同时依然保持"别名"的特性（即不创建新类型，完全等价）。
总结
用 = (别名)：当你只是想换个名字，或者做代码迁移，希望新旧代码无缝兼容时。
用 无等号 (定义)：当你想要一个新的类型来保证类型安全，或者需要给它添加专属的方法时。