本文旨在深入探讨 Go 语言中结构体嵌套时，使用值类型和指针类型的区别。通过分析内存分配、共享以及适用场景，帮助开发者根据实际需求做出更合理的选择，从而编写出更高效、更易于维护的代码。
在 Go 语言中，结构体是一种复合数据类型，允许我们将不同类型的字段组合在一起。当一个结构体包含另一个结构体时，我们可以选择使用值类型或指针类型来嵌套。这两种方式在内存分配、数据共享等方面存在显著差异，理解这些差异对于编写高效、可靠的 Go 代码至关重要。
值类型嵌套
当一个结构体包含另一个结构体的值类型时，例如：
type foo_ struct {
st uint8
nd uint8
}
type bar struct {
rd uint8
foo foo_
}
在这种情况下，bar 结构体中会直接嵌入一个 foo_ 结构体的实例。这意味着，当我们声明一个 bar 类型的变量时，会同时为 rd 字段和 foo 字段分配内存。foo 字段拥有自己的独立内存空间，存储着 foo_ 结构体的数据。
var b bar // 声明 b
此时，b 变量在内存中占据的空间大小为 rd 字段的大小加上 foo 字段的大小。对 b.foo 的修改不会影响到其他任何变量。
指针类型嵌套
与值类型不同，当一个结构体包含另一个结构体的指针类型时，例如：
type barP struct {
rd uint8
foo *foo_
}
barP 结构体中的 foo 字段是一个指向 foo_ 结构体的指针。这意味着，当我们声明一个 barP 类型的变量时，只会为 rd 字段和 foo 指针分配内存。foo 指针本身并不包含 foo_ 结构体的数据，而是存储着 foo_ 结构体实例的内存地址。
var bp barP // 声明 bp bp.foo = new(foo_) // 分配 bp.foo 指向的 foo_ 结构体实例的内存
在使用 bp.foo 之前，我们需要使用 new 函数或者取地址符 & 来为 foo_ 结构体分配内存，并将内存地址赋值给 bp.foo 指针。如果没有进行分配，bp.foo 的值将为 nil，对其进行解引用会导致程序崩溃。
数据共享：
与值类型不同，多个 barP 类型的变量可以共享同一个 foo_ 结构体实例。这意味着，如果多个 barP 类型的变量的 foo 指针指向同一个 foo_ 结构体实例，那么对该 foo_ 结构体实例的修改将会影响到所有指向它的 barP 变量。
如何选择
选择使用值类型还是指针类型，取决于具体的应用场景和需求。以下是一些指导原则：
- 数据所有权和生命周期： 如果一个结构体拥有另一个结构体的所有权，并且希望控制其生命周期，那么使用值类型可能更合适。当包含结构体被销毁时，其内部的结构体也会被销毁。
- 数据共享和修改： 如果需要多个结构体共享同一个数据，并且希望能够通过修改一个结构体来影响其他结构体，那么使用指针类型是更好的选择。
- 性能考虑： 值类型在赋值和传递时会进行复制，这可能会导致性能开销。指针类型则只传递内存地址，开销较小。但是，如果频繁地对指针进行解引用，也可能会影响性能。
- 内存占用： 指针类型本身只占用较小的内存空间，但是需要额外的内存来存储指向的结构体实例。值类型则直接在包含结构体中分配内存。
- Nil 值： 指针类型可以为 nil，这可以用来表示某个值不存在或者未初始化。值类型则不能为 nil。
示例：发票系统
以下是一个简单的发票系统的示例，展示了如何根据实际需求选择值类型或指针类型：
type address struct {
street string
city string
}
type warehouse struct {
address string
}
type invoice struct {
name string
billing address
shipping *address
warehouse *warehouse
}
在这个例子中，invoice 结构体包含了 billing 字段，类型为 address 的值类型。这意味着每张发票都必须包含一个账单地址。shipping 字段是一个指向 address 结构体的指针，这意味着发货地址是可选的。如果 shipping 为 nil，则表示发货地址与账单地址相同。warehouse 字段也是一个指向 warehouse 结构体的指针，表示发货仓库。由于仓库的数量通常是有限的，因此可以使用指针类型来实现共享。
总结
在 Go 语言中，选择使用值类型还是指针类型来嵌套结构体，是一个重要的设计决策。理解这两种方式的差异，可以帮助我们编写出更高效、更易于维护的代码。希望本文能够帮助读者更好地理解 Go 语言中结构体的使用。
