Go 语言中，不同命名类型之间通常不可直接赋值，但当它们具有相同底层类型且至少一方为未命名类型（如 []int）时，赋值被允许；而预声明的命名类型（如 int）则不适用此规则。
go 语言中，不同命名类型之间通常不可直接赋值，但当它们具有相同底层类型且至少一方为未命名类型（如 `[]int`）时，赋值被允许；而预声明的命名类型的（如 `int`）则不适用此规则。
在 Go 中，赋值是否合法并非仅取决于“看起来一样”，而是严格遵循语言规范中定义的 可赋值性（assignability）规则。核心依据来自 Go 语言规范 §Assignability：
A value x is assignable to a variable of type T ("x is assignable to T") if:
— x’s type V and T have identical underlying types, and at least one of V or T is not a named type.
关键在于两个条件必须同时满足：
- 类型 V 和 T 具有完全相同的底层类型；
- 且其中至少一个是未命名类型（即类型字面量，如 []int, struct{}、map[string]int 等）。
✅ 合法示例：type X []int 与 []int
type X []int
var v []int = X([]int{1, 2, 3}) // ✅ 编译通过
- X 是命名类型，底层类型为 []int；
- []int 是未命名的复合类型（slice 字面量）；
- 二者底层类型相同（均为 []int），且 []int 满足“至少一方未命名”的条件 → 赋值合法。
❌ 非法示例：type MyInt int 与 int
type MyInt int var n int = MyInt(42) // ❌ 编译错误：cannot use MyInt(42) (type MyInt) as type int in assignment
- MyInt 和 int 底层类型虽同为 int；
- 但 int 是预声明的命名类型（属于 universe block 中的 named type），其本身即为命名类型；
- MyInt 也是命名类型；
- 二者均为命名类型 → 不满足“至少一方未命名”条件 → 赋值非法。
? 补充说明：int、string、bool 等内置类型在 Go 中均被视作命名类型（named type），而非未命名类型。规范明确指出：“Named instances of the boolean, numeric, and string types are predeclared.” 它们的底层类型就是自身，且始终是命名的。
⚠️ 注意事项
- 类型别名（type X = []int）与类型定义（type X []int）行为不同：别名 X 与 []int 视为同一类型，可直接赋值（无需转换）；而类型定义 X 是全新命名类型，需依赖上述可赋值规则。
- 显式类型转换（如 int64(d) 或 time.Duration(i)）仍是跨命名类型传递值的安全方式，但需开发者显式承担语义责任。
- 此机制体现了 Go 的设计哲学：类型安全优先，隐式转换受限——既避免了 C-style 的宽松转换风险，又为合理场景（如自定义 slice/map 类型）保留必要灵活性。
理解这一规则，有助于写出更清晰、更符合 Go 类型系统预期的代码，也能快速定位“看似合理却编译失败”的赋值错误根源。
