type用于定义新类型或别名：type T int创建有独立方法集的新类型，type T = int是完全等价的别名；前者可绑定方法、实现接口，后者仅用于重构兼容。
ty
Go 中用 type 关键字声明新类型，本质是给现有类型起别名或创建全新类型。关键区别在于：带 struct、interface 等复合类型的定义会生成**新类型**（有独立方法集），而 type MyInt int 这种是**类型别名**（Go 1.9+ 可用 type MyInt = int 显式声明别名，行为不同）。
常见误操作是以为 type T int 和 int 完全等价——其实它们在方法绑定、接口实现、类型断言时互不兼容。
type UserID int
type Username string
func (u UserID) IsValid() bool { return u > 0 }
func (n Username) IsNonEmpty() bool { return len(n) > 0 }
什么时候必须用 type 而不是 var 或 :=
当需要为底层类型附加方法、参与接口实现、或明确语义隔离时，type 不可替代。比如 var x int = 42 无法给 int 加 String() 方法；但用 type Score int 就可以。
-
type是编译期类型系统操作，影响方法集和接口匹配 -
var和:=只是变量声明/推导，不产生新类型 - 想让 JSON 反序列化时自动校验字段范围？得靠
type Age uint8配合自定义UnmarshalJSON
type 和 type alias 的混淆点
Go 1.9 引入了类型别名语法 type MyInt = int，它和 type MyInt int 表面相似，但语义完全不同：
-
type MyInt int→ 新类型，不能直接赋值给int变量（需显式转换） -
type MyInt = int→ 别名，和int完全等价，可自由混用 - 别名常用于重构大项目时过渡（如把
pkg1.Type改成pkg2.Type），避免破坏兼容性
错误示例：type Status int 后又写 var s Status = 200，如果后续想让 Status 实现 fmt.Stringer，就必须用第一种写法；别名写法做不到。
嵌套 struct 和 type 组合的典型场景
实际开发中，type 常配合 struct 构建领域模型，同时隐藏底层结构细节：
type OrderID string
type Order struct {
ID OrderID
Items []Item
Total float64
}
// 外部调用方只能通过 NewOrder 创建，无法直接构造非法 ID
func NewOrder(id string) *Order {
if !isValidOrderID(id) {
panic("invalid order id")
}
return &Order{ID: OrderID(id)}
}
这里 OrderID 不仅是语义提示，更是封装校验入口。如果直接用 string，校验逻辑容易散落在各处，也难统一约束。
类型定义本身不占运行时开销，但过度嵌套（比如五层 type A = type B = ...）会让 IDE 跳转和错误信息变模糊，建议控制在两层以内。
