Go 语言中，函数返回的数组值默认不可寻址，因此无法直接对其执行切片操作（如 f()[:]），必须先赋值给变量再切片；本文深入解析其底层机制，并提供安全、惯用的替代写法。
go 语言中，函数返回的数组值默认不可寻址，因此无法直接对其执行切片操作（如 `f()[:]`），必须先赋值给变量再切片；本文深入解析其底层机制，并提供安全、惯用的替代写法。
在 Go 中，以下代码会编译失败：
hash := sha1.Sum([]byte(uf.Pwd)) u.Pwhash = hex.EncodeToString(hash[:]) // ✅ 正确：hash 是局部变量，可寻址
而将其“简化”为一行时却报错：
u.Pwhash = hex.EncodeToString(sha1.Sum([]byte(uf.Pwd))[:]) // ❌ 编译错误！ // error: invalid operation sha1.Sum(([]byte)(uf.Pwd))[:] (slice of unaddressable value)
根本原因在于：sha1.Sum() 返回的是一个 sha1.Sum 类型的值（本质是 [20]byte 数组），而函数调用的返回值属于「不可寻址」（unaddressable）表达式。根据 Go 语言规范，只有可寻址的数组才能进行切片操作（x[:]），因为切片底层需共享原数组的底层数组内存——若原数组不可寻址（例如临时返回值），就无法安全建立这种引用关系。
为什么变量可寻址，而函数返回值不可？
Go 规范明确定义了可寻址（addressable）的场景，包括：
- 变量名（如 hash）
- 指针解引用（*p）
- 切片/数组索引（s[0], a[3]）
- 结构体字段（s.field，前提是 s 可寻址）
- 复合字面量（如 struct{X int}{1} 的字段可寻址）
但函数调用表达式（如 sha1.Sum(...)）本身永远不可寻址——它生成的是一个临时、无内存地址的纯值（r-value），类似 C++ 中的 prvalue。因此 sha1.Sum(...)[...] 违反了切片操作的前提条件。
正确且推荐的写法
✅ 显式声明变量（最清晰、最安全）
hash := sha1.Sum([]byte(uf.Pwd)) u.Pwhash = hex.EncodeToString(hash[:])
✅ 使用 sha1.Sum([]byte).Sum(nil)（更符合哈希 API 惯例）
注意：sha1.Sum 类型实现了 Sum([]byte) []byte 方法，可直接返回 []byte：
hash := sha1.Sum([]byte(uf.Pwd)) u.Pwhash = hex.EncodeToString(hash.Sum(nil)) // ✅ Sum(nil) 返回 []byte，无需切片
✅ 一步到位（推荐用于简单场景）
u.Pwhash = hex.EncodeToString(sha1.Sum([]byte(uf.Pwd)).Sum(nil))
此写法完全合法，因为 Sum(nil) 是对可寻址结构体值（hash）的方法调用，返回的是新分配的 []byte，而非对原数组切片。
⚠️ 注意事项与最佳实践
- 不要试图用 & 获取函数返回值地址（如 &sha1.Sum(...)），这会直接编译失败；
- 对于其他固定大小数组类型（如 [32]byte、[64]byte），同样适用该规则：返回值不可切片，需先赋值；
- 若需频繁做此类操作，可封装为工具函数，提升可读性与复用性：
func hashToHex(data []byte) string { sum := sha1.Sum(data) return hex.EncodeToString(sum[:]) } // 使用：u.Pwhash = hashToHex([]byte(uf.Pwd))
理解「可寻址性」是掌握 Go 内存模型与语法约束的关键一环。看似微小的语法差异，背后是语言对内存安全与语义明确性的严格设计——宁可多写一行赋值，也不容许模糊的底层引用风险。
