当字段实现UnmarshalJSON时，解封嵌入式字段指针panics

Question

我有一个struct，它嵌入一个指向另一个struct的嵌入指针。当我使用默认的json.unmarshal行为时，它可以完美地工作。但是，当我为嵌入式struct的类型而不是为外部struct实现unmarshaljson时，就会出现空指针取消引用的恐慌。

如果我也为外部struct类型实现unmarshaljson，那么它就可以工作了。但是，外部结构有许多字段，我不想手动解封。

1. 为什么在其中一个而不是另一个上实现unmarshaljson会导致恐慌？
2. 有没有一种方法可以让它工作而不为外部类型实现unmarshaljson？
3. 如果没有，是否有更简单/更少手动的方法来为外部类型实现unmarshaljson？

注意：这里有一个标题类似的问题，“当嵌入式类型具有UnmarshalJSON时，JSON.Unmarshal失败”，但这里的问题与我的问题不同。

TL；DR：这个问题的其余部分只是上面的一个冗长的例子。

（示例的play.golang.org版本）

（例如，简化了--它并不真正需要自己的unmarshaljson，但它演示了这个问题。）

type Obj struct {
    X int `json:"x"`
}

type Container struct {
    *Obj
    Y int `json:"y"`
}

调用解封：

func main() {
    b := []byte(`{"x": 5, "y": 3}`)
    c := &Container{}
    err := json.Unmarshal(b, c)
    if err != nil {
        fmt.Printf("error ummarshalling json: %+v\n", err)
        return
    }
    fmt.Printf("unmarshalled: %+v --> %+v\n", c, c.Obj)
}

如果不实现任何unmarshaljson函数，就可以很好地工作：

unmarshalled: &{Obj:0x416080 Y:3} --> &{X:5}

func (o *Obj) UnmarshalJSON(b []byte) (err error) {
    m := make(map[string]int)
    err = json.Unmarshal(b, &m)
    if err != nil {
        return nil
    }
    o.X = m["x"] // the line indicated by panic
    return nil
}

panic: runtime error: invalid memory address or nil pointer dereference
[...]
main.(*Obj).UnmarshalJSON(0x0, 0x416030, 0x10, 0x10, 0x0, 0x0)
    /tmp/sandbox185809294/main.go:18 +0x130
[...]

func (c *Container) UnmarshalJSON(b []byte) (err error) {
    m := make(map[string]int)
    err = json.Unmarshal(b, &m)
    if err != nil {
        return err
    }
    c.Obj = &Obj{X: m["x"]}
    c.Y = m["y"]
    return nil
}

但是，如果真正的容器和真正的obj都有比这更多的字段，每个字段都有不同的类型，那么以这种方式手动解封容器就会变得乏味。

问题：有没有更简单的方法来防止这种恐慌？

Answer 1

因为默认行为检查nil，而您的自定义解封程序不检查。在unmarshalJSON中需要一些逻辑来检查O是否为nil并进行适当的操作，而不是假设O不是nil（通过尝试访问其中一个字段），从而触发恐慌。

func (o *Obj) UnmarshalJSON(b []byte) (err error) {
    if o == nil {
        return nil // maybe? What do you want to happen in this case?
    }
    m := make(map[string]int)
    err = json.Unmarshal(b, &m)
    if err != nil {
        return nil
    }
    o.X = m["x"] // the line indicated by panic
    return nil
}

另外，您的*obj字段不是“匿名字段”，而是嵌入式字段:https://golang.org/ref/spec#struct_types