Go JSON Unmarshal 到指针时 null 和缺失字段怎么区分

在 PATCH 接口里，"status" 缺失通常代表“不修改”，"status": null 可能代表“清空”，而 "status": "paused" 才是“更新为新值”。如果 Go 结构体只写 *string，前两种输入都会得到 nil，业务层就丢失了一个重要区别。

普通指针只能区分“有具体值”和“没有指针”。要区分字段缺失与显式 null，应把“字段是否出现”单独保存，再用指针保存具体值。

为什么 *string 看不出 null 和缺失字段

先看最小结构体。它能很好地表示“可选字符串”，却不能表达三态：

type Request struct {
    // 指针为 nil 时，无法仅凭字段值判断输入是缺失还是 null。
    Status *string `json:"status"`
}

var req Request
_ = json.Unmarshal([]byte(`{"status":null}`), &req)
// req.Status == nil

req = Request{}
_ = json.Unmarshal([]byte(`{}`), &req)
// req.Status 仍然是 nil

标准库的规则是：指针目标遇到 null 时设为 nil，遇到普通值时必要就分配目标；结构体没有匹配到输入键时，不会改变该字段。于是 null 和缺失最终都可能落到同一个 Go 零值。

用存在性标记保留三态语义

可以定义一个只负责“是否出现”和“出现后的值”的小类型。这里不把 null 强行改成空字符串，因为空字符串本身也可能是合法输入。

type OptionalString struct {
    // Set 表示 JSON 中是否出现过 status 键。
    Set bool
    // Value 为 nil 表示出现了 null；非 nil 表示有字符串值。
    Value *string
}

func (o *OptionalString) UnmarshalJSON(data []byte) error {
    // 只要进入这个方法，就说明字段在 JSON 中出现了。
    o.Set = true
    if bytes.Equal(data, []byte("null")) {
        o.Value = nil
        return nil
    }

    var value string
    // 非 null 输入必须是字符串，类型错误直接返回给调用方。
    if err := json.Unmarshal(data, &value); err != nil {
        return err
    }
    o.Value = &value
    return nil
}

type PatchRequest struct {
    // 缺失时不会调用 OptionalString.UnmarshalJSON，Set 保持 false。
    Status OptionalString `json:"status"`
}

因此三种输入可以用下面的表判断：

把三态结果用于 PATCH 业务判断

解码之后不要只判断 Value == nil，而要先判断 Set。否则会把“客户端没有提交”误当成“客户端要求清空”。

func applyStatus(req PatchRequest, current *string) *string {
    // 字段缺失：保持数据库中的当前值不变。
    if !req.Status.Set {
        return current
    }
    // 字段出现且为 null：按接口约定清空。
    if req.Status.Value == nil {
        return nil
    }
    // 字段出现且有值：使用新状态。
    return req.Status.Value
}

还要注意目标对象的生命周期。解码 {"status":"running"} 后再复用同一个结构体解码 {}，缺失字段不会自动把旧值清掉。对于一次性的 HTTP 请求，直接创建新的 PatchRequest 最简单；如果对象必须复用，就在下一次解码前显式重置。

类型错误与接口边界怎么处理

这个类型只接受字符串或 null。输入数字、数组或对象时让 json.Unmarshal 返回类型错误，比悄悄转成字符串更安全。若字段还要区分“空字符串”和“非空字符串”，当前设计已经能做到：两者都让 Set 为 true，但 *Value 指向不同内容。

如果多个字段都需要三态，可以把 OptionalString 扩展为泛型包装器，或者分别实现 OptionalInt、OptionalBool。不要为了追求统一而把所有普通响应字段都改成指针；只有业务真的需要区分缺失、null 和零值时，才引入额外状态。

相关问题

只用 map[string]json.RawMessage 可以吗？

可以。先用 map 判断键是否存在，再把对应 RawMessage 解码成具体类型。字段较少且 DTO 结构稳定时，自定义类型更容易让业务代码保持清晰。

给 *string 加 omitempty 能区分输入吗？

不能。omitempty主要影响 Marshal 时是否输出字段，不会让 Unmarshal 记录“键是否出现”。

为什么 UnmarshalJSON 没有在缺失字段时执行？

因为缺失键没有可供解码的 JSON 值，结构体字段不会被访问，所以存在性标记应放在自定义类型的方法里，并以 Set 的默认 false 表示缺失。