Go 允许将未命名类型（如 []byte）直接赋值给与其底层结构完全一致的命名切片类型（如 json.RawMessage），是因为二者在类型恒等性规则下被视为“相同类型”；而命名类型之间（如 int64 与 time.Duration）即使底层相同，也因类型名来源不同而不可隐式赋值。
go 允许将未命名类型（如 `[]byte`）直接赋值给与其底层结构完全一致的命名切片类型（如 `json.rawmessage`），是因为二者在类型恒等性规则下被视为“相同类型”；而命名类型之间（如 `int64` 与 `time.duration`）即使底层相同，也因类型名来源不同而不可隐式赋值。
在 Go 的类型系统中，类型是否可直接赋值，不取决于“是否为命名类型”，而取决于两个操作数的类型是否满足 Go 规范定义的「类型恒等性（Type Identity）」。核心规则有两条：
- 命名类型仅当源自同一 type 声明（TypeSpec）时才恒等；
- 命名类型与未命名类型永远不恒等；但两个未命名类型若字面量结构完全相同，则恒等。
json.RawMessage 的定义为：
type RawMessage []byte
这是一个命名类型，其底层类型字面量是 []byte —— 而 []byte 本身是未命名类型（切片字面量）。因此，当你写：
var a json.RawMessage var b []byte a = b // ✅ 合法
编译器实际比较的是：a 的类型（命名类型 RawMessage）能否赋值给 b 的类型（未命名类型 []byte）？答案是否定的——但赋值方向是 b → a，即：能否将未命名类型 []byte 赋给命名类型 RawMessage？
根据 Go 规范 Assignability Rules，赋值合法需满足：
x 的类型 V 可赋给类型 T 的变量，当且仅当：
- V 和 T 是同一类型；或
- V 是未命名类型，T 是命名类型，且 V 与 T 的底层类型（underlying type）字面量相同。
RawMessage 的底层类型是 []byte（命名类型 RawMessage 的 underlying type 就是其 type literal），而 b 的类型 []byte 正是该字面量本身。因此 []byte（未命名）与 RawMessage 的底层类型字面量完全一致 → 赋值合法。
对比 time.Duration 场景：
type Duration int64 // underlying type: int64（命名类型） var x Duration var y int64 // int64 是预声明的命名类型（不是字面量！） x = y // ❌ 编译错误
此处 y 的类型 int64 是命名类型（而非未命名字面量），而 Duration 也是命名类型，二者不源自同一 TypeSpec，且 int64 本身不是字面量（无法拆解为更基础的未命名结构），故不满足赋值条件。
✅ 正确示例：命名切片类型与未命名切片字面量互赋
type MyBytes []byte
type MyStrings []string
func main() {
var raw json.RawMessage
var bs []byte = []byte(`{"id":1}`)
raw = bs // ✅ OK: []byte (unnamed) → json.RawMessage (named, underlying = []byte)
var my MyBytes
my = bs // ✅ OK: same reason
var ss []string = []string{"a", "b"}
var myStrs MyStrings
myStrs = ss // ✅ OK
// ❌ 以下全部非法：
// my = myStrs // different underlying types ([]byte vs []string)
// raw = myStrs // same
// x = int64(42) // Duration = int64 → named = named, not same spec
}
⚠️ 注意事项：
- 此规则仅适用于切片、数组、结构体、映射、函数、接口、通道等复合类型的字面量一致性，不适用于基础命名类型（如 int/int64/string）之间的互换；
- byte 是 uint8 的类型别名（type byte uint8），属于预声明的命名类型别名，因此 byte 和 uint8 可直接互赋（规范特例：别名类型与其底层类型恒等）；
- 若自行定义 type MyInt int，则 MyInt 与 int 不可互赋，必须显式转换：MyInt(x) 或 int(y)；
- 所有赋值仍遵守 Go “无隐式转换”原则：此处并非“绕过类型检查”，而是规范明确定义的恒等与可赋值场景。
总结：Go 的类型赋值逻辑高度严谨且可预测——它不看“名字像不像”，而看“底层结构是否字面量一致”以及“类型是否同源”。理解 named vs unnamed 类型分类与 underlying type 概念，是掌握 Go 类型系统的关键入口。
