
在 go 中,只有可寻址(addressable)的变量才能作为赋值操作的左值;函数返回的非指针结构体值是临时、不可寻址的,因此无法直接对其字段赋值,而返回指针则可安全修改其所指向的变量。
在 go 中,只有可寻址(addressable)的变量才能作为赋值操作的左值;函数返回的非指针结构体值是临时、不可寻址的,因此无法直接对其字段赋值,而返回指针则可安全修改其所指向的变量。
Go 的赋值语句要求左操作数(LHS)必须是一个可寻址的变量(addressable operand),即该值必须有确定的内存地址,能被取地址(&x 合法)。这是语言规范的硬性约束,目的是确保赋值具有可观测的副作用——否则修改一个瞬时、无名、未被引用的临时值将毫无意义。
考虑如下简化示例:
package main
type Employee struct {
ID int
Name string
Salary float64
}
func EmployeeByID(id int) *Employee {
// 假设此处从数据库或缓存中查得并返回指针
return &Employee{ID: id, Name: "Dilbert", Salary: 85000}
}
func EmployeeByIDValue(id int) Employee {
// 返回结构体值(副本)
return Employee{ID: id, Name: "Dilbert", Salary: 85000}
}
func main() {
id := 123
// ✅ 合法:EmployeeByID 返回 *Employee,*Employee 是可寻址的(指向堆/全局变量等)
EmployeeByID(id).Salary = 0 // 实际修改了底层变量
// ❌ 编译错误:cannot assign to EmployeeByIDValue(id).Salary
// 因为 EmployeeByIDValue(id) 是一个临时的、匿名的 struct 值,不可寻址
// EmployeeByIDValue(id).Salary = 0 // compile error!
}关键在于 Go 的可寻址性规则:
- 变量(如 var e Employee)、切片元素(s[i])、解引用指针((*p).f 或 p.f)、映射中可寻址的元素(m[k],当 m 是 map 且其 value 类型为指针或可寻址类型时需额外注意)等属于可寻址项;
- 函数调用表达式(如 f())、字面量(如 Employee{})、类型转换(如 Employee(x))等产生的值默认不可寻址,即使它们是结构体也不能对其字段直接赋值。
因此:
- EmployeeByID(id) 返回 *Employee → 解引用后 (*Employee).Salary 等价于 p.Salary(其中 p 是有效指针)→ 左值可寻址 → 允许赋值;
- EmployeeByIDValue(id) 返回 Employee → 表达式本身是临时值(temporary value) → EmployeeByIDValue(id).Salary 是对临时值字段的访问 → 不可寻址 → 编译器拒绝赋值。
⚠️ 注意事项:
- 即使你写 e := EmployeeByIDValue(id); e.Salary = 0,修改的也只是局部副本 e,不影响原始数据,且该赋值合法(因为 e 是变量,可寻址);
- 若函数返回的是指针,务必确认其指向的对象生命周期有效(例如不指向栈上已销毁的局部变量);
- Go 不允许取临时值的地址(如 &Employee{} 会报错 cannot take the address of Employee{}),这与可寻址性规则一脉相承。
总结:Go 通过严格区分“值”与“变量”的可寻址性,在语言层面杜绝了无效赋值,提升了内存安全与语义清晰度。设计 API 时,若需支持链式字段修改,应返回指针;若仅提供只读数据,则返回值类型更符合不可变意图。


















