go 的类型系统严格区分命名类型与其底层类型，即使 myint 的底层类型是 int，二者仍被视为不兼容的独立类型，必须显式转换才能互操作。
go 的类型系统严格区分命名类型与其底层类型，即使 myint 的底层类型是 int，二者仍被视为不兼容的独立类型，必须显式转换才能互操作。
在 Go 中，type MyInt int 并非创建一个“类型别名”（如 C 的 typedef 或 Go 1.9+ 的 type MyInt = int），而是定义了一个全新的、有独立身份的命名类型。虽然 MyInt 和 int 共享相同的底层类型（int）和内存表示，但 Go 明确规定：不同命名类型之间不可隐式转换，无论底层类型是否一致。这是 Go 类型安全设计的核心原则之一——避免因隐式类型混用引发的逻辑错误。
因此，以下两行代码会编译失败：
var a int = 3 var x MyInt = a // ❌ 编译错误：cannot use a (type int) as type MyInt var y int = AddTwo(x) // ❌ 编译错误：cannot use x (type MyInt) as type int
前者试图将未命名类型 int 赋值给命名类型 MyInt；后者则试图将 MyInt 作为参数传入只接受 int 的函数。Go 不允许这种隐式转换，哪怕语义上“看起来一样”。
✅ 正确写法是使用显式类型转换（注意：这不是强制类型转换，而是合法的底层类型映射）：
func main() {
var a int = 3
var x MyInt = MyInt(a) // ✅ 显式转换：int → MyInt
fmt.Println(x.Double()) // 输出：6
var y int = AddTwo(int(x)) // ✅ 显式转换：MyInt → int
fmt.Println(y) // 输出：5
}
值得注意的是，x.Double() 能编译通过，是因为方法接收者 i MyInt 是 MyInt 类型，而 i + i 中的加法操作符在 Go 中对底层类型为同一数值类型的命名类型是支持的（前提是运算符已为该底层类型定义）。Go 允许 MyInt 值参与算术运算，正是因为其底层类型是 int，且 int 支持 +。但这不意味着类型等价——运算符支持 ≠ 类型可互换。
? 关键总结：
- ✅ MyInt 和 int 拥有相同底层类型，因此可显式转换（MyInt(v) / int(v)），且可共享运算符行为；
- ❌ 它们是不同的命名类型，因此禁止隐式赋值、传参或比较（除非同为可比较类型且显式转换）；
- ✅ 为 MyInt 添加方法（如 Double()）完全可行，且不破坏其数值语义；
- ⚠️ 过度依赖底层类型转换可能削弱类型安全优势；合理使用命名类型能提升代码可读性与领域建模能力（例如 type UserID int、type PortNumber uint16）。
简言之：Go 的“底层类型”机制服务于类型转换的合法性与运算符重用，而非绕过类型检查——它让类型更安全，而不是更松散。
