本文深入解析 go 语言中为何 []byte 可直接赋值给 json.rawmessage（即 type rawmessage []byte），而 int64 却不能直接赋值给 time.duration（即 type duration int64），核心在于 go 类型系统对「命名类型」与「未命名类型」的严格区分及可赋值性（assignability）规则。
本文深入解析 go 语言中为何 []byte 可直接赋值给 json.rawmessage（即 type rawmessage []byte），而 int64 却不能直接赋值给 time.duration（即 type duration int64），核心在于 go 类型系统对「命名类型」与「未命名类型」的严格区分及可赋值性（assignability）规则。
在 Go 的类型系统中，可赋值性（Assignability） 并非仅由底层类型是否相同决定，而是由 Go 语言规范（The Go Programming Language Specification, §Assignability）明确定义的一组编译期静态规则。其中最关键的一条是：
A value x is assignable to a variable of type T if one of the following conditions applies:
— x’s type V and T have identical underlying types, and at least one of V or T is not a named type.
注意关键词：“at least one is not a named type”（二者中至少有一个是非命名类型）。这正是理解本问题的核心钥匙。
? 命名类型 vs. 未命名类型
- ✅ 未命名类型（unnamed type）：通过类型字面量（type literal）定义，如 []byte、struct{}、func(int) string、map[string]int 等。它们没有类型名，仅由结构描述。
- ❌ 命名类型（named type）：通过 type T U 声明，如 type RawMessage []byte、type Duration int64、type Username string。即使底层类型相同，它也是独立的、有名字的类型。
关键点在于：[]byte 是一个未命名类型（它是切片字面量 []byte，而非 type MyBytes []byte），而 int64 是一个命名类型（Go 标准库中 int64 是预声明的命名类型，见 spec#Predeclared identifiers）。
因此：
| 赋值表达式 | 左侧类型（T） | 右侧类型（V） | V 和 T 底层类型相同？ | 至少一个为未命名类型？ | 是否合法 |
|---|---|---|---|---|---|
| a = b var a json.RawMessage var b []byte |
RawMessage（命名） | []byte（未命名） | ✅ 是（均为 []byte） | ✅ 是（[]byte 未命名） | ✅ 合法 |
| x = y var x time.Duration var y int64 |
Duration（命名） | int64（命名） | ✅ 是（均为 int64） | ❌ 否（二者均为命名类型） | ❌ 编译错误 |
? 实际代码验证
package main
import (
"encoding/json"
"time"
)
func main() {
// ✅ 合法：[]byte 是未命名类型，可直接赋给命名的 RawMessage
var raw json.RawMessage
data := []byte(`{"name":"alice"}`)
raw = data // OK: no explicit conversion needed
// ✅ 合法：也可显式转换，语义等价且更清晰（推荐用于复杂场景）
raw = json.RawMessage(data)
// ❌ 非法：int64 和 time.Duration 均为命名类型
var dur time.Duration
var sec int64 = 5
// dur = sec // ❌ compile error: cannot use sec (type int64) as type time.Duration
dur = time.Duration(sec) // ✅ 必须显式转换
// ✅ 对比：自定义切片类型与未命名切片
type MyBytes []byte
var my MyBytes
my = []byte("hello") // ✅ OK: []byte 未命名 → 满足 assignability 条件
// ❌ 对比：自定义整数类型与 int（命名类型）
type MyInt int
var mi MyInt
var i int = 42
// mi = i // ❌ ERROR: both are named types (int is predeclared & named)
mi = MyInt(i) // ✅ only explicit conversion works
}⚠️ 注意事项与最佳实践
不要混淆「类型别名（type alias）」与「类型定义（type definition）」：
type T = U（别名）使 T 与 U 完全等价；而 type T U（定义）创建新命名类型，需遵守 assignability 规则。本文讨论的是后者。[]byte 的“未命名”属性是设计使然：
Go 将所有复合字面量（slice/map/chan/struct/func/interface）视为未命名类型，这是其类型系统保持灵活性与安全性的关键折衷——既允许合理互通（如 []byte ↔ RawMessage），又防止隐式语义误用（如 int64 ↔ Duration）。显式转换仍是推荐写法：
即使编译器允许隐式赋值（如 raw = data），在团队协作或高可靠性场景中，建议统一使用 json.RawMessage(data)。它明确表达了开发者意图，提升可读性与可维护性，也避免未来因类型重构导致的兼容性风险。检查类型是否命名的小技巧：
在 VS Code 或 GoLand 中将鼠标悬停在类型上，若显示 type X Y（如 type RawMessage []byte），则 X 是命名类型；若显示 []byte 或 map[string]int 等无 type 关键字的结构，则为未命名类型。
✅ 总结
Go 的赋值规则本质是类型安全优先、意图显式化的设计哲学体现：
- 允许未命名类型与同底层的命名类型相互赋值 → 提升基础数据结构（如 []byte）的互操作性；
- 禁止两个命名类型之间隐式赋值 → 强制开发者通过显式转换声明语义意图（如时间单位、用户标识、加密密钥等业务含义），从而杜绝静默错误。
理解 []byte 是未命名类型，而 int64 是命名类型，就掌握了打开 Go 类型赋值谜题的那把钥匙。
