go中类型别名用type newname = existingtype声明，与原类型完全等价；而type newname existingtype是新类型定义，语义独立、不兼容。
Go 里用 type 声明类型别名，不是变量
很多人搜“类型别名变量”，其实混淆了两个概念：类型别名（type alias）是给一个已有类型起新名字，它本身不是变量；变量声明是用 var 或短变量声明 := 创建具体值的存储。Go 中声明类型别名只有一种合法写法：type NewName = ExistingType，注意等号 = —— 没有等号的是类型定义（type NewName ExistingType），语义完全不同。
常见错误是写成 type MyInt int; 然后以为 MyInt 是个变量，结果编译报错 undefined: MyInt（因为没声明变量），或者误用 MyInt := 42（语法错误：不能在类型别名后跟 :=）。
-
type MyInt = int：这是类型别名，MyInt和int完全等价，可互换使用，底层类型、方法集、反射信息都一致 -
type MyInt int：这是新类型定义，MyInt是独立类型，和int不兼容，不能直接赋值，除非显式转换 - 变量声明必须另起一行：比如
var x MyInt = 100或y := MyInt(42)，不能省略类型转换（对新类型）或赋值动作（对别名）
什么时候该用类型别名而不是新类型
类型别名主要用在重构场景，比如要把 pkgv1.MyType 改成 pkgv2.MyType，又不想破坏现有代码。这时可以加一句 type MyType = pkgv2.MyType，让旧引用继续通过别名工作。
它不适用于语义隔离。例如你想表达“用户ID”和“订单ID”都是 int64，但逻辑上不能混用——这时必须用 type UserID int64 和 type OrderID int64（新类型），靠编译器阻止误传。类型别名做不到这点。
- 别名适合：版本迁移、包路径调整、临时兼容层
- 别名不适合：领域建模、意图表达、防止误用
- 别名在
go vet和gopls中通常被展开，调试时看到的仍是原类型名
var 和 := 声明变量时怎么用类型别名
声明变量时，类型别名和原始类型完全等价，你可以直接当类型名用。但要注意：短变量声明 := 无法推导出别名名，它只推导底层类型，所以 x := MyInt(5) 得到的是 int 类型变量，不是 MyInt。
- 正确方式一（显式类型）：
var x MyInt = 5 - 正确方式二（强制转换）：
y := MyInt(5)—— 这里MyInt(5)是类型转换表达式，y的类型就是MyInt - 错误方式：
z := 5然后期望z是MyInt—— 不行，z是int - 如果已声明
type MyInt = int，那么var a, b MyInt是合法的，且a和b都是MyInt类型
容易忽略的细节：别名不能跨包直接用，且不能递归定义
类型别名不是“宏”，它在编译期就解析为原类型。如果你在 pkgA 里写了 type T = []string，然后在 pkgB 中想直接用 pkgA.T，没问题；但如果你试图写 type U = pkgA.T，这也没问题——Go 允许跨包别名。真正容易踩坑的是递归：
-
type A = B且type B = A→ 编译失败：invalid recursive type A -
type S = []S→ 同样报递归错误，哪怕用了别名 - 别名不会产生新方法，哪怕原类型有方法，别名也能调，但你不能给别名单独加方法（语法不允许）
最常被忽略的一点：类型别名在 reflect.TypeOf(x).Name() 中返回空字符串，因为它没有自己的名字；而新类型会返回你写的类型名。如果你依赖反射取名做序列化或日志，这点会影响行为。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
