Go语言中两种结构体初始化方式的差异探究

先明确两种初始化的核心区别：

• b := Student{Name:"Bob"}：直接生成值类型的Student实例，变量b就是结构体本身，类型为Student。
• pb := &Student{Name:"Bob", Age:8,}：生成Student实例后取其内存地址，返回的是指向结构体的指针，变量pb的类型为*Student。

关于第二个方式是否返回指针 #

是的，&是Go的取地址运算符，&Student{...}会先在内存中创建一个Student实例，再把这个实例的地址赋值给pb，所以pb本质是指向该结构体的指针。

为什么修改字段的语法看起来相同？ #

这是Go提供的指针自动解引用语法糖。比如你写pb.Name = "Alice"，编译器会自动把它转换成(*pb).Name = "Alice"——帮你省去了解引用的步骤，所以看起来和值类型修改字段的语法一致，但底层逻辑有区别：

• 修改b.Name：直接操作b对应的结构体实例本身（内存可能在栈或堆上，由逃逸分析决定）。
• 修改pb.Name：先通过指针找到它指向的结构体实例，再修改该实例的字段。

解引用后的功能差异 #

对pb解引用得到*pb，它的类型是Student，和b的类型一致，但要注意两个关键点：

1. 修改(*pb).Name和pb.Name的效果完全相同，都是修改指针指向的原结构体实例的字段。
2. 如果你把*pb赋值给新变量，比如c := *pb，那么c是原结构体的副本——修改c的字段不会影响pb指向的原实例，但修改b的字段就是修改自身。

适用场景选择 #

优先用值类型初始化（b := Student{...}）的场景：

• 结构体体积小，复制内存的成本可以忽略，比如仅包含几个基础类型字段的小结构体（如坐标点type Point struct{ X, Y int }）。
• 需要值语义：希望每个变量都是独立的副本，修改互不影响，比如作为函数参数传递时，不想让函数内部修改原结构体的数据。
• 要作为map的键：Go中指针不能作为map的键（因为指针不可比较），而值类型结构体只要所有字段都可比较，就能作为map键。

优先用指针类型初始化（pb := &Student{...}）的场景：

• 结构体体积大，复制成本高：用指针传递或赋值时，只需要传递一个内存地址（通常8字节），避免频繁复制大结构体的内存，提升性能。
• 需要引用语义：多个变量要共享同一个结构体的状态，或者函数需要修改传入的结构体字段（比如修改用户信息的函数）。
• 实现接口需求：如果某个接口的方法接收者是指针类型，只有结构体指针实例才能实现该接口，值类型实例不行。
• 需要表示"不存在"的状态：指针可以直接赋值为nil，用来表示没有对应的结构体实例（比如查询数据库未找到时返回nil），而值类型结构体无法表示nil状态。

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