本文旨在深入探讨 Go 语言中结构体嵌套时，使用值类型和指针类型的区别。通过示例代码和详细解释，帮助读者理解两种方式的内存管理、共享特性以及适用场景，从而在实际开发中做出更合理的选择。
在 Go 语言中，结构体嵌套是构建复杂数据结构的常用方式。当一个结构体包含另一个结构体时，我们可以选择使用值类型或指针类型来嵌入。这两种方式在内存管理、数据共享等方面存在显著差异，理解这些差异对于编写高效、健壮的 Go 程序至关重要。
值类型嵌套
当一个结构体 bar 嵌入另一个结构体 foo_ 的值类型时，bar 结构体实例会包含 foo_ 结构体实例的完整副本。这意味着，bar 结构体实例在内存中分配空间时，也会为 foo_ 结构体实例分配空间。
type foo_ struct {
st uint8
nd uint8
}
type bar struct {
rd uint8
foo foo_
}
var b bar // 声明 b上述代码中，bar 类型的变量 b 在声明时，会同时为 rd 和 foo 字段分配内存。foo 字段是 foo_ 结构体的一个完整副本。修改 b.foo 中的字段不会影响其他任何 foo_ 结构体实例。
指针类型嵌套
当一个结构体 barP 嵌入另一个结构体 foo_ 的指针类型时，barP 结构体实例只包含指向 foo_ 结构体实例的指针。这意味着，barP 结构体实例本身并不拥有 foo_ 结构体实例的内存空间。
type foo_ struct {
st uint8
nd uint8
}
type barP struct {
rd uint8
foo *foo_
}
var bp barP // 声明 bp
bp.foo = new(foo_) // 分配 bp.foo 指向的内存上述代码中，barP 类型的变量 bp 在声明时，会为 rd 和 foo 字段分配内存。但是，foo 字段仅仅是一个指向 foo_ 结构体的指针，其初始值为 nil。在使用 bp.foo 之前，必须使用 new(foo_) 或其他方式为 foo_ 结构体实例分配内存，并将指针赋值给 bp.foo。
重要提示： 如果没有为 bp.foo 分配内存，直接访问 bp.foo 会导致空指针引用错误。
何时使用值类型 vs. 指针类型
选择使用值类型还是指针类型取决于具体的需求和场景。
-
值类型：
- 当需要拥有结构体实例的独立副本时。
- 当结构体实例较小，复制成本不高时。
- 当希望避免多个结构体实例共享同一份数据时。
-
指针类型：
- 当需要多个结构体实例共享同一份数据时。
- 当结构体实例较大，复制成本较高时。
- 当需要在函数内部修改结构体实例，并希望修改能够反映到函数外部时。
- 当结构体实例可能为空时（可以使用 nil 指针表示）。
示例：发票系统
考虑一个发票系统，其中包含账单地址和送货地址。
type address struct {
street string
city string
}
type warehouse struct {
address string
}
type invoice struct {
name string
billing address
shipping *address
warehouse *warehouse
}在这个例子中：
- billing 字段使用值类型 address，因为每张发票都必须有一个账单地址，并且账单地址是发票的固有属性。
- shipping 字段使用指针类型 *address，因为送货地址可能与账单地址相同，也可能不同。如果送货地址为空，则表示送货地址与账单地址相同。
- warehouse 字段使用指针类型 *warehouse，因为公司可能只有几个仓库，多个发票可以共享同一个仓库的信息，避免重复存储。
总结
在 Go 语言中，结构体嵌套时选择值类型或指针类型，需要根据实际情况进行权衡。值类型提供数据的独立性，而指针类型提供数据的共享和灵活性。理解它们的区别，可以帮助我们编写更高效、更健壮的 Go 程序。 记住，选择合适的类型可以提高代码的可读性和可维护性，并避免潜在的错误。
