本文深入探讨Go语言中复合类型（特别是旧版container/vector和现代切片）的赋值行为。通过示例代码，阐释了当结构体字段是指针类型时，简单的赋值操作仅复制指针值，导致多个变量共享同一底层数据，而非创建独立副本。文章提供了解决此问题的深拷贝方法，并扩展至现代Go切片的深拷贝实践，旨在帮助开发者避免常见的共享数据陷阱。
go语言以其简洁高效而闻名，但在处理数据结构，尤其是涉及指针和复合类型的赋值时，其行为有时会令初学者感到困惑。本文将深入解析go语言中旧版container/vector以及现代切片（slice）的赋值机制，揭示浅拷贝与深拷贝的本质差异，并提供正确的深拷贝实践方法，以避免潜在的数据共享问题。
Go语言中的赋值语义：值拷贝的本质
在Go语言中，所有的赋值操作（包括函数参数传递）都是值拷贝。这意味着，当你将一个变量赋值给另一个变量时，实际上是复制了该变量的值。然而，对于复合类型，特别是当其内部包含指针时，这个“值”的含义就变得微妙。
如果一个结构体字段本身是一个指针（例如 *vector.Vector 或 *[]int），那么复制的“值”就是这个指针本身的内存地址。这意味着新旧变量的指针都指向了同一块底层数据。因此，通过任一指针修改底层数据，都会影响到所有指向该数据的变量。这就是所谓的“浅拷贝”或“引用传递”的表象。
旧版container/vector的陷阱与浅拷贝问题
在Go语言的早期版本中，container/vector包提供了一种动态数组的实现。原始问题中的代码正是利用了这一点：
package mainimport ( "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: %vn", 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 mainimport ( "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: %vn", 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向量，彼此的操作
以上就是Go语言中旧版Vector（及现代切片）的赋值与深拷贝机制解析的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1392399.html
微信扫一扫 
支付宝扫一扫 
