type用于定义新类型或别名：type T int创建有独立方法集的新类型，type T = int是完全等价的别名；前者可绑定方法、实现接口，后者仅用于重构兼容。
type 定义自定义类型的基本写法
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 表面相似，但语义完全不同：
立即学习“go语言免费学习笔记（深入）”；
酷纬企业网站管理系统Kuwebs是酷纬信息开发的为企业网站提供解决方案而开发的营销型网站系统。在线留言模块、常见问题模块、友情链接模块。前台采用DIV+CSS，遵循SEO标准。 1.支持中文、英文两种版本，后台可以在不同的环境下编辑中英文。 3.程序和界面分离，提供通用的PHP标准语法字段供前台调用，可以为不同的页面设置不同的风格。 5.支持google地图生成、自定义标题、自定义关键词、自定义描
-
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 跳转和错误信息变模糊，建议控制在两层以内。
