go语言以其简洁高效而闻名，但在处理数据结构，尤其是涉及指针和复合类型的赋值时，其行为有时会令初学者感到困惑。本文将深入解析go语言中旧版container/vector以及现代切片（slice）的赋值机制，揭示浅拷贝与深拷贝的本质差异，并提供正确的深拷贝实践方法，以避免潜在的数据共享问题。
Go语言中的赋值语义：值拷贝的本质
在Go语言中，所有的赋值操作（包括函数参数传递）都是值拷贝。这意味着，当你将一个变量赋值给另一个变量时，实际上是复制了该变量的值。然而，对于复合类型，特别是当其内部包含指针时，这个“值”的含义就变得微妙。
如果一个结构体字段本身是一个指针（例如 *vector.Vector 或 *[]int），那么复制的“值”就是这个指针本身的内存地址。这意味着新旧变量的指针都指向了同一块底层数据。因此，通过任一指针修改底层数据，都会影响到所有指向该数据的变量。这就是所谓的“浅拷贝”或“引用传递”的表象。
旧版container/vector的陷阱与浅拷贝问题
在Go语言的早期版本中，container/vector包提供了一种动态数组的实现。原始问题中的代码正是利用了这一点：
package main
import (
"container/vector" // 注意：此包已废弃
"fmt"
)
type Move struct {
x0, y0, x1, y1 int
}
type PegPuzzle struct {
movesAlreadyDone *vector.Vector // 注意：这是一个指向vector的指针
}
func (p *PegPuzzle) InitPegPuzzle() {
// 原始代码：p.movesAlreadyDone = vector.New(0);
// 正确的旧版初始化：
p.movesAlreadyDone = new(vector.Vector)
}
func NewChildPegPuzzle(parent *PegPuzzle) *PegPuzzle {
retVal := new(PegPuzzle)
// 问题所在：这里只是复制了指针，而非底层vector的数据
retVal.movesAlreadyDone = parent.movesAlreadyDone
return retVal
}
func (p *PegPuzzle) doMove(move Move) {
p.movesAlreadyDone.Push(move)
}
func (p *PegPuzzle) printPuzzleInfo() {
fmt.Printf("-----------START----------------------\n")
fmt.Printf("moves already done: %v\n", p.movesAlreadyDone)
fmt.Printf("------------END-----------------------\n")
}
func main() {
p := new(PegPuzzle)
p.InitPegPuzzle()
cp1 := NewChildPegPuzzle(p)
cp1.doMove(Move{1, 1, 2, 3})
cp1.printPuzzleInfo() // 此时 cp1 的 movesAlreadyDone 包含 {1,1,2,3}
cp2 := NewChildPegPuzzle(p)
cp2.doMove(Move{3, 2, 5, 1})
cp2.printPuzzleInfo() // 此时 cp2 的 movesAlreadyDone 包含 {1,1,2,3} 和 {3,2,5,1}
// 为什么？因为 cp1 和 cp2 共享了 p.movesAlreadyDone 指向的同一个 vector 实例
}在上述代码中，PegPuzzle结构体的movesAlreadyDone字段被定义为*vector.Vector，这意味着它是一个指向vector.Vector实例的指针。当调用NewChildPegPuzzle函数时，retVal.movesAlreadyDone = parent.movesAlreadyDone这行代码仅仅是将parent的movesAlreadyDone指针的值（即内存地址）复制给了retVal的movesAlreadyDone。结果是，cp1、cp2以及最初的p都指向了同一个vector.Vector实例。因此，任何通过cp1.doMove或cp2.doMove对该vector进行的修改，都会在所有共享该vector的PegPuzzle实例中体现出来。
立即学习“go语言免费学习笔记（深入）”；
实现深拷贝：创建独立的副本
为了解决上述问题，确保每个PegPuzzle实例拥有自己独立的movesAlreadyDone数据副本，我们需要执行深拷贝。对于旧版container/vector，可以使用其提供的InsertVector方法来复制整个向量的内容。
package main
import (
"container/vector"
"fmt"
)
// Move 结构体定义不变
type Move struct {
x0, y0, x1, y1 int
}
// PegPuzzle 结构体定义不变
type PegPuzzle struct {
movesAlreadyDone *vector.Vector
}
func (p *PegPuzzle) InitPegPuzzle() {
p.movesAlreadyDone = new(vector.Vector)
}
// 修正后的 NewChildPegPuzzle，实现深拷贝
func NewChildPegPuzzle(parent *PegPuzzle) *PegPuzzle {
retVal := new(PegPuzzle)
retVal.InitPegPuzzle() // 初始化新的vector实例
// 使用 InsertVector 将父向量的内容复制到新向量中
// 这会创建一个独立的 vector 副本
retVal.movesAlreadyDone.InsertVector(0, parent.movesAlreadyDone)
return retVal
}
// doMove 方法不变
func (p *PegPuzzle) doMove(move Move) {
p.movesAlreadyDone.Push(move)
}
// printPuzzleInfo 方法不变
func (p *PegPuzzle) printPuzzleInfo() {
fmt.Printf("-----------START----------------------\n")
fmt.Printf("moves already done: %v\n", p.movesAlreadyDone)
fmt.Printf("------------END-----------------------\n")
}
func main() {
p := new(PegPuzzle)
p.InitPegPuzzle()
cp1 := NewChildPegPuzzle(p)
cp1.doMove(Move{1, 1, 2, 3})
cp1.printPuzzleInfo() // cp1 的 movesAlreadyDone 包含 {1,1,2,3}
cp2 := NewChildPegPuzzle(p)
cp2.doMove(Move{3, 2, 5, 1})
cp2.printPuzzleInfo() // cp2 的 movesAlreadyDone 仅包含 {3,2,5,1}
// 此时 cp1 和 cp2 各自拥有独立的 vector 实例，互不影响
}通过在NewChildPegPuzzle中先初始化一个新的vector.Vector实例，然后使用InsertVector(0, parent.movesAlreadyDone)将父向量的所有元素复制到新的实例中，我们成功地创建了一个独立的副本。现在，cp1和cp2各自拥有独立的movesAlreadyDone向量，彼此的操作
