Go语言中new初始化嵌套结构体时NestedTwoHandler为nil？如何深初始化？

这个问题我之前也碰到过，核心原因是对Go里new关键字的作用理解有点偏差～

为什么NestedTwoHandler是nil？ #

Go的new(T)关键字只会做两件事：

1. 为T类型的变量分配一块内存
2. 将这块内存设置为T类型的零值，然后返回指向这块内存的指针

对于结构体类型来说，它的零值是所有字段都取各自类型的零值。你定义的TwoHandler里，NestedTwoHandler是一个指针类型（*NestedTwoHandler），而指针类型的零值就是nil——所以用new(TwoHandler)创建实例时，这个字段自然就是nil，不会自动帮你递归创建嵌套的结构体实例。

你的代码输出里的{<nil>}，就是TwoHandler实例的零值状态：它的NestedTwoHandler字段是nil，没有指向任何内存地址。

如何创建深度嵌套的空结构体？ #

如果你希望所有嵌套的指针字段都指向一个空的结构体实例，有几种可行的方法：

方法1：使用结构体字面量手动初始化所有层级

直接在创建外层结构体时，逐层初始化嵌套的指针字段：

func main() {
    app := &App{
        OneHandler: new(OneHandler),
        TwoHandler: &TwoHandler{
            NestedTwoHandler: &NestedTwoHandler{
                NestedNestedTwoHandler: new(NestedNestedTwoHandler),
            },
        },
    }
    fmt.Println(*app)
    fmt.Println(*app.OneHandler)
    fmt.Println(*app.TwoHandler)
    fmt.Println(*app.TwoHandler.NestedTwoHandler)
    fmt.Println(*app.TwoHandler.NestedTwoHandler.NestedNestedTwoHandler)
}

运行后你会看到所有嵌套字段都有对应的内存地址，最内层的NestedNestedTwoHandler是空结构体{}。

方法2：编写构造函数封装初始化逻辑

如果需要多次创建这类嵌套结构体，写一个构造函数会更方便，把所有层级的初始化逻辑封装起来：

func NewNestedNestedTwoHandler() *NestedNestedTwoHandler {
    return new(NestedNestedTwoHandler)
}

func NewNestedTwoHandler() *NestedTwoHandler {
    return &NestedTwoHandler{
        NestedNestedTwoHandler: NewNestedNestedTwoHandler(),
    }
}

func NewTwoHandler() *TwoHandler {
    return &TwoHandler{
        NestedTwoHandler: NewNestedTwoHandler(),
    }
}

func main() {
    app := &App{
        OneHandler: new(OneHandler),
        TwoHandler: NewTwoHandler(),
    }
    // 后续打印逻辑和之前一致
}

这样每次调用NewTwoHandler()都会得到一个完全初始化的嵌套结构体实例，不用重复写多层初始化代码。

方法3：逐层手动new并赋值

如果层级特别多，也可以分开逐个创建实例再赋值：

func main() {
    nestedNested := new(NestedNestedTwoHandler)
    nested := &NestedTwoHandler{NestedNestedTwoHandler: nestedNested}
    twoHandler := &TwoHandler{NestedTwoHandler: nested}
    
    app := &App{
        OneHandler: new(OneHandler),
        TwoHandler: twoHandler,
    }
    // 打印验证
}

验证结果 #

用上面的方法修改后，你会得到类似这样的输出（内存地址会不同）：

{0x19583c 0x1040c130}
{}
{0x1040c138}
{0x1040c140}
{}

这就符合你预期的：每个嵌套的指针字段都指向一个有效的结构体实例，最内层是空结构体。

内容的提问来源于stack exchange，提问作者Samkit Jain