Go 中类型赋值的底层规则：何时允许跨类型赋值？

Go 语言中，不同命名类型的变量通常不可直接赋值，但若两者底层类型相同且至少一方为未命名类型（如 []int），则可赋值；这是 Go 类型系统“底层类型一致 + 命名约束”机制的核心体现。

Go 的类型安全并不是死板地要求“名字必须一模一样”——它的背后有一套更灵活的规则，由底层类型（underlying type）和命名状态（named vs. unnamed）共同把关。根据 Go 规范，一个值 x 能被赋给类型 T 的变量，需要满足若干条件。其中最关键的一条是：

✅ x 的类型 V 与 T 具有相同的底层类型，且 V 或 T 中至少有一个是未命名类型。

听着有点抽象？不妨看两个典型的场景，差别一目了然。

?? 不允许赋值：time.Duration 与 int64
很多初学者会在遇到过这种错误：

type Duration int64

var d Duration = 100
var n int64 = d // ❌ 编译错误：cannot use d (type Duration) as type int64 in assignment

尽管 Duration 的底层类型就是 int64，但两者都是命名类型——Duration 是用户自定义的命名类型，int64 是预声明的命名类型。不满足“至少一方未命名”的条件，所以赋值被严令禁止。

?? 允许赋值：自定义切片类型与 []int
再看这个例子：

type X []int

var v []int = X{1, 2, 3} // ✅ 合法

这里，X 的底层类型是 []int，而右边的 []int{...} 本身是字面量构造的未命名切片类型。底层类型相同（都是 []int），并且右边的类型是未命名的——条件达成，赋值顺利通过。注意，这并非是隐式类型转换，而是 Go 直接认可该赋值符合可赋值性规则。

值得记住几个常用区分：

• []int、map[string]int、struct{} 等复合类型的字面量表述，都属于未命名类型；
• 所有预声明类型（int、string、bool 等）以及基于它们定义的类型别名（如 type MyInt int）都是命名类型。

试试把 type Y int 和 int 混用？

type Y int
var y Y = 42
var i int = y // ❌ 编译错误

原因一样：int 和 Y 都是命名类型，不满足条件。

那实际开发中该怎么处理？
需要跨命名类型传递数据时，最稳妥的方式永远是显式转换：int64(d) 或 Duration(n)。依赖赋值规则太绕，也容易让读代码的人困惑。命名类型的设计初衷，本身就是为了通过类型隔离提升语义安全与可维护性——理解底层类型和命名性的交互逻辑，正是写出健壮且易于演化的 Go 代码的关键基础。