Go JSONJSON null 解码到指针后状态不符合预期怎么办

Go 用 encoding/json 解码后，指针字段突然变成 nil，或者明明没有传某个字段却读到了旧值，通常不是 JSON “随机改了内存”，而是把显式 null、字段缺失和结构体复用混在了一起。对指针字段来说，null 的语义就是清空指针；对普通值类型来说，null 通常不会覆盖原值。先把输入状态分开，排查就会变得很直接。

一、先把 null、缺失和具体值分开

最容易误判的输入是下面三种：

{
  "nickname": null,
  "age": 0
}

这里的 nickname 是“字段存在，值为 null”；如果整个 JSON 对象里没有 nickname，则是“字段缺失”；如果写成 "nickname":"小林"，才是“字段存在且有具体值”。这三个状态在接口更新、补丁请求和配置合并中往往代表不同动作。

普通指针可以很好地表达“有值/没有值”，但它不天然记录“没有值是因为字段缺失，还是因为对方明确传了 null”。文章中的图1把输入值、Unmarshal 和目标指针的静态关系画在一起，重点看目标状态分组，而不要把它当作运行截图。

二、按 Unmarshal 的指针规则观察状态变化

Go 官方 encoding/json 文档给出的规则很明确：解码 JSON 指针时，先处理输入是否为 null。输入是 null，指针被设为 nil；输入不是 null，如果指针当前为 nil，解码器会分配一个新值，再把 JSON 内容写进去。

package main

import (
	"encoding/json"
	"fmt"
)

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

type Request struct {
	Profile *Profile `json:"profile"`
}

func main() {
	var req Request

	// 非 null 输入会让 nil 指针获得一个新的 Profile 目标值。
	_ = json.Unmarshal([]byte(`{"profile":{"name":"小林"}}`), &req)
	fmt.Println(req.Profile != nil, req.Profile.Name)

	// 显式 null 的语义是清空指针，而不是保留旧 Profile。
	_ = json.Unmarshal([]byte(`{"profile":null}`), &req)
	fmt.Println(req.Profile == nil)
}

上例里两次解码使用同一个结构体，第二次的显式 null 会把 Profile 清空。要注意，json.Unmarshal 的返回错误仍然应该处理；示例为了突出状态变化才把错误赋给空白标识符，生产代码应保留错误上下文。

三、结构体复用时，缺失字段为什么会留下旧值

null 和缺失字段的差异，常在复用目标变量时暴露。解码 JSON 对象时，输入中没有出现的字段不会自动替换成零值；如果上一次解码已经给字段写过值，下一次输入缺失该字段，它可能继续保留旧状态。

type Patch struct {
	Name  string  `json:"name"`
	Email *string `json:"email"`
}

func applyTwoPayloads() error {
	var patch Patch

	// 第一次写入旧状态，后续缺失 name 时不会凭空表示“清空”。
	if err := json.Unmarshal([]byte(`{"name":"旧名称","email":null}`), &patch); err != nil {
		return err
	}

	// 第二次输入没有 name；复用 patch 前要先决定业务是否允许保留旧值。
	return json.Unmarshal([]byte(`{"email":"new@example.com"}`), &patch)
}

修复方式取决于协议：如果每次输入都是完整对象，解码前把目标结构体重新置零；如果输入本来就是局部补丁，就不能简单地把“字段缺失”解释成清空，而应让更新逻辑明确区分保留和删除。

四、需要三态语义时显式建模

当接口需要表达“没传就不改、传 null 就删除、传具体值就更新”，可以把“是否出现”单独保存，再把值放在指针里。一个简单做法是实现 UnmarshalJSON 的小包装类型：

type OptionalString struct {
	Set   bool
	Value *string
}

func (o *OptionalString) UnmarshalJSON(data []byte) error {
	// 进入方法就代表字段出现；null 仍然用 nil 表示明确清空。
	o.Set = true
	if string(data) == "null" {
		o.Value = nil
		return nil
	}

	var value string
	if err := json.Unmarshal(data, &value); err != nil {
		return err // 非字符串输入继续暴露类型错误。
	}
	o.Value = &value
	return nil
}

这样，字段缺失时 Set 保持为 false；字段为 null 时是 Set=true 且 Value=nil；字段为字符串时则是两者都已设置。若项目已有通用的可选值类型，优先复用它，避免在每个请求结构体里重复定义一套语义。

五、按错误边界完成回归检查

回归用例至少覆盖：全新零值结构体解码、复用结构体时字段缺失、显式 null、合法具体值、错误类型，以及自定义 UnmarshalJSON 是否需要接收 null。如果只测试“有值”的成功路径，很容易把字段缺失和明确清空混成同一个结果。

相关问题

JSON null 解码到 string 会变成空字符串吗？

不会按普通赋值逻辑把它当成空字符串；对非指针等目标类型，null 通常不改变原值且不产生错误。要表达可空字符串，使用指针或显式的可选值类型更清楚。

为什么重新创建结构体能解决旧值问题？

因为字段缺失不会自动覆盖目标对象。每次用零值目标开始解码，可以避免上一次请求的字段残留；但补丁语义仍应通过字段存在性建模，而不是依赖清零掩盖协议差异。