type myint int 定义新类型，与int不兼容，需显式转换且可绑定方法；type myint = int 是真别名，与int完全等价，不可加方法，编译期擦除。
type MyInt int 和 type MyInt = int 看起来只差一个等号，但语义完全不同：前者定义新类型，后者只是给 int 换个名字，不产生新类型。
type MyInt int 创建的是独立命名类型
它拥有自己的类型身份，和 int 不兼容，哪怕底层一样。
- 可以在包外为
MyInt定义方法，比如func (m MyInt) Double() MyInt { return m * 2 } -
var x MyInt = 42合法，但var x MyInt = int(42)❌ 编译失败 —— 必须显式转换：var x MyInt = MyInt(42) -
func f(i int) {}不能接收MyInt值，哪怕你传MyInt(10)也不行，必须写成f(int(x)) - 在反射中
reflect.TypeOf(x).Name()返回"MyInt"，且reflect.TypeOf(x).PkgPath()非空（属于当前包）
type MyInt = int 是纯别名，编译期就擦除
它不是新类型，只是 int 的另一个写法，就像 byte 就是 uint8 的别名。
- 无法为其定义任何新方法 ——
func (m MyInt) Double() {}会报错：cannot define new methods on non-local type int -
var x MyInt = 42和var y int = x都合法，无需转换 -
reflect.TypeOf(x).Name()返回空字符串，.Kind()是Int，.PkgPath()为空 —— 它根本不算“自定义类型” - 常见于标准库：
type byte = uint8、type rune = int32
为什么不能把 MyInt 当 int 用？编译器到底在防什么
Go 的类型系统刻意禁止隐式转换，不是为了添麻烦，而是防止语义混淆。比如：
-
type UserID int和type OrderID int底层都是int，但混用可能造成严重逻辑错误 - 如果允许
UserID(123) == OrderID(123)隐式比较，就失去了类型建模的意义 -
type MyInt = int放开限制，是因为它明确表示“我就是要完全等价”，不承载额外语义
真正容易被忽略的点是：即使你只用 type MyInt int 做数值运算（比如 + - *），Go 也允许 —— 这是底层类型一致带来的便利，但它和“类型可互换”毫无关系。别因为加法能过，就误以为赋值也能过。
