type T = U 是别名（零开销、完全等价、不可加方法），type T U 是新类型（独立类型、可加方法、赋值需转换）；关键看右侧是否为已定义类型且语法合法。
别名（type T = U）和定义（type T U）不是写法微调，而是编译器眼里“同一个类型”和“两个类型”的根本分叉——选错直接导致赋值失败、方法加不上、反射结果出人意料。
为什么 type Res http.ResponseWriter 能用，但不是别名
它其实是类型定义，不是别名。能用，纯粹因为 http.ResponseWriter 是接口，而 Go 允许任何满足该接口的值隐式赋给 Res 变量——前提是 Res 没额外加方法。
- 一旦你给
Res加个func (r Res) Log() {}，它立刻无法接收*http.response实例，编译报错：cannot use ... as type Res -
reflect.TypeOf(Res(nil))返回的是main.Res，不是http.ResponseWriter - 调试器里看到的是独立类型，日志打印、泛型约束、序列化行为都按新类型走
什么时候必须用 type T = U，而不是 type T U
只在需要零开销、完全等价、且不打算扩展行为时才用别名。典型场景是重构过渡期或简化长签名。
- 跨包迁移：旧包
v1.User要挪到v2.User，就在v1里写type User = v2.User，所有调用点不用改 - 函数类型缩写：
type HandlerFunc = func(http.ResponseWriter, *http.Request)，后续可直接传给接受原函数类型的参数 - 泛型容器简化：
type EventChan[T any] = chan T，避免每次写chan map[string][]*T - 别名不能加方法：哪怕你只写了一行
func (t T) M() {}，Go 就会报cannot define new methods on non-local type U
type MyInt int 和 type MyInt = int 的实际差异
前者是全新类型，后者是原类型“换马甲”。这个区别直接影响赋值、方法、反射、甚至 JSON 序列化行为。
立即学习“go语言免费学习笔记（深入）”；
- 赋值：
var a MyInt = 42；var b int = a→type MyInt int会报错，必须写int(a)；type MyInt = int则直接通过 - 方法：
type MyInt int可以自由加func (m MyInt) Double() MyInt；type MyInt = int加同名方法直接编译失败 - 反射：
reflect.TypeOf(MyInt(5))对前者返回main.MyInt，对后者返回int - JSON：
json.Marshal(MyInt(42))对前者输出"42"（如果实现了MarshalJSON），对后者输出42（和int完全一致）
最容易被忽略的坑：结构体右侧写法决定一切
很多人以为 type Admin User 是别名，其实只要右边是 struct、[]T、map[K]V 或 func()，就一定是新类型，哪怕字段一模一样。
-
type User struct{ Name string }+type Admin User→Admin{}和User{}类型不同，==报错，Admin(u)才能转换 -
type Admin = User→ 合法仅当User是已定义类型（非 struct 字面量），且 Go 版本 ≥ 1.9；否则语法错误 -
type Callback = func(int) error是别名，可直接赋值给func(int) error；而type Callback func(int) error是新类型，需显式转换才能传参 - 嵌套时尤其危险：
type Config = struct{ Port int }是别名，但每次使用都得重复写字段；type Config struct{ Port int }才是可复用、可加方法的结构体类型
