Go JSON Unmarshal 复用结构体时旧指针字段为什么残留

如果一个 struct 被连续传给 json.Unmarshal，第二份 JSON 没有写到的字段不会自动恢复零值。指针字段因此会继续指向上一份数据；只有输入明确出现 null，指针才会被置为 nil。处理接口响应、消息消费或对象池数据时，最稳妥的做法是：一次解析对应一个新的目标值；确实要复用时，先清零，或把“未提供”和“明确为空”设计成可区分的状态。

先用最小复现确认旧指针从哪里来

下面的两个对象共用一个 Profile 目标。第二份 JSON 只有 name，没有 profile，所以旧指针仍然存在：

package main

import (
	"encoding/json"
	"fmt"
)

type Profile struct {
	City string `json:"city"`
}

type User struct {
	Name    string   `json:"name"`
	Profile *Profile `json:"profile"`
}

func main() {
	var user User
	// 第一次输入建立一个非空指针。
	_ = json.Unmarshal([]byte(`{"name":"小林","profile":{"city":"杭州"}}`), &user)
	// 第二次没有 profile 字段，不会主动清掉 user.Profile。
	_ = json.Unmarshal([]byte(`{"name":"小周"}`), &user)
	fmt.Printf("name=%s, profileNil=%t, city=%s\n",
		user.Name, user.Profile == nil, user.Profile.City)
}

输出中的 profileNil=false 不是 Unmarshal 把第二份 JSON 猜成了杭州，而是目标结构体原本就保留着那个指针。这里如果直接把接口返回对象交给后续业务，很容易把上一条记录误认为当前记录。

把缺失字段、null 和对象字段分开判断

这三个输入看起来都像“没有有效内容”，但 encoding/json 的处理不同：

尤其要注意，null 不是“所有 Go 字段都赋零值”的通用指令。它对指针、切片、map 和 interface 会置为 nil；对 string、int、bool 等非指针字段通常不改变原值。若业务需要强制清空普通字段，必须先清零目标，或使用临时输入结构记录字段是否出现。

非空指针接收对象时，旧的嵌套字段也可能合并

复用问题不止是“指针还在”。当旧指针指向一个已有对象，而第二份 JSON 只更新其中一个键时，未出现的嵌套字段也可能留在原对象里：

type Profile struct {
	City  string `json:"city"`
	Level int    `json:"level"`
}

func mergeExample() {
	user := User{Profile: &Profile{City: "杭州", Level: 3}}
	// 只更新 city；level 仍属于原来的非零目标。
	_ = json.Unmarshal([]byte(`{"profile":{"city":"深圳"}}`), &user)
	fmt.Println(user.Profile.City, user.Profile.Level) // 深圳 3
}

这对“补丁对象”可能正是想要的行为，对“完整快照”却是数据污染。判断标准不是 JSON 长得像不像完整对象，而是调用方是否把本次输入当作全量替换。

按数据语义选择安全的复用方式

全量响应最简单：每次声明一个新变量，天然得到零值起点。

func decodeSnapshot(data []byte) (User, error) {
	var user User
	// 新目标避免把上一次响应带入本次快照。
	if err := json.Unmarshal(data, &user); err != nil {
		return User{}, err
	}
	return user, nil
}

func decodeIntoExisting(data []byte, user *User) error {
	// 只有确认输入是全量快照时才先清零再复用。
	*user = User{}
	return json.Unmarshal(data, user)
}

如果输入是 PATCH，不能简单清零，否则“字段缺失”就失去“保持原值”的含义。这时可以先解码到 map[string]json.RawMessage，按键是否存在分别处理；或者定义带指针的补丁 DTO，再由业务层把补丁应用到实体，避免把 JSON 解析语义直接当作更新规则。

用三个断言覆盖真正容易出错的边界

回归测试至少要覆盖字段缺失、明确 null、部分对象三种输入。测试重点是“目标初始已有旧值”，否则复用 bug 很难暴露：

func TestProfilePresence(t *testing.T) {
	cases := []struct {
		name string
		data string
		wantNil bool
	}{
		{"缺失字段", `{}`, false},
		{"明确清空", `{"profile":null}`, true},
	}
	for _, tc := range cases {
		t.Run(tc.name, func(t *testing.T) {
			user := User{Profile: &Profile{City: "旧值"}}
			if err := json.Unmarshal([]byte(tc.data), &user); err != nil {
				t.Fatal(err) // 输入错误要让测试直接失败。
			}
			if (user.Profile == nil) != tc.wantNil {
				t.Fatalf("profile nil=%v, want %v", user.Profile == nil, tc.wantNil)
			}
		})
	}
}

项目若把 JSON 当全量快照，建议统一封装“新目标解析”入口；若把它当部分更新，建议明确 Patch DTO 和字段存在性。不要用“再调用一次 Unmarshal 就会覆盖干净”作为假设。

常见问题

JSON 缺少普通 string 字段也会残留吗？

会。字段缺失通常不改目标原值，这个规则并不只针对指针。指针之所以更显眼，是因为它还保留了上一对象的身份。

把字段写成 null 能清空嵌套结构吗？

对指针字段可以，结果是指针为 nil；对普通结构体字段不能把它当作通用清零操作。

复用结构体一定要先手动清零吗？

不一定。全量快照可用新变量或清零后解析；PATCH/增量对象应保留缺失字段，并在业务层按字段存在性应用。

参考：encoding/json.Unmarshal 官方文档。文中示例围绕目标对象复用语义重新编写。