Go 允许将未命名类型（如 []byte）直接赋值给基于它的命名类型（如 json.RawMessage），是因为 Go 类型系统中“可赋值性”规则仅要求底层类型相同且至少一方为未命名类型，而非禁止所有命名类型转换。
go 允许将未命名类型（如 `[]byte`）直接赋值给基于它的命名类型（如 `json.rawmessage`），是因为 go 类型系统中“可赋值性”规则仅要求底层类型相同且至少一方为未命名类型，而非禁止所有命名类型转换。
在 Go 的类型系统中，赋值是否合法取决于 类型可赋值性（Assignability） 规则，而非简单的“命名 vs 底层类型”二分法。根据 Go 语言规范，值 x 可赋给类型 T 的变量，当且仅当满足以下任一条件：
- x 的类型与 T 相同；或
- x 的类型 V 和 T 具有相同的底层类型，且 V 或 T 中至少有一个是未命名类型。
关键在于：[]byte 是未命名类型（由类型字面量构成的切片类型），而 int64 是命名类型。
type RawMessage []byte // ← 命名类型，底层类型为 []byte type Duration int64 // ← 命名类型，底层类型为 int64 var a RawMessage var b []byte // ✅ []byte 是未命名类型（类型字面量） a = b // 合法：b 是未命名类型，a 是命名类型，底层相同 → 满足可赋值条件 var x Duration var y int64 // ❌ int64 是命名类型（标准库中定义为 type int64 int） x = y // 编译错误：y 的类型 int64 是命名类型，x 也是命名类型 → 双方均为命名类型，不满足“至少一方未命名”条件
⚠️ 注意：int64 虽然看起来像内置关键字，但在 Go 规范中它属于预声明的命名类型（predeclared named type），其定义等价于 type int64 int。因此 int64 与用户自定义的 type MyInt int 在类型系统中地位一致——二者均为命名类型，不能互相隐式赋值。
相比之下，[]byte 是复合字面量类型（[] + byte），属于未命名类型。只要目标命名类型（如 json.RawMessage）的底层类型恰好是 []byte，编译器就允许直接赋值，无需显式转换：
import "encoding/json"
func example() {
data := []byte(`{"name":"alice"}`)
var raw json.RawMessage
raw = data // ✅ 合法：data 是未命名类型 []byte
}✅ 正确理解要点：
- 可赋值性 ≠ 类型兼容性，而是编译期静态检查的严格规则；
- “未命名类型”包括：数组、切片、映射、结构体、函数、接口、通道等由字面量定义的类型；
- 所有预声明类型（int, int64, string, bool 等）均为命名类型，不可与用户定义的同底层命名类型互赋（除非显式转换）；
- 显式转换（如 Duration(y)）始终安全、零开销，仅是编译期类型重解释。
总结：Go 的设计在保障类型安全的同时，对“结构化未命名类型”的赋值给予合理便利——这既避免了冗余转换，又未牺牲类型系统的严谨性。开发者应熟记“命名 × 未命名”这一可赋值性核心判据，而非笼统认为“命名类型必须强转”。
