
go语言以其简洁高效而闻名,但在处理数据结构,尤其是涉及指针和复合类型的赋值时,其行为有时会令初学者感到困惑。本文将深入解析go语言中旧版container/vector以及现代切片(slice)的赋值机制,揭示浅拷贝与深拷贝的本质差异,并提供正确的深拷贝实践方法,以避免潜在的数据共享问题。
在Go语言中,所有的赋值操作(包括函数参数传递)都是值拷贝。这意味着,当你将一个变量赋值给另一个变量时,实际上是复制了该变量的值。然而,对于复合类型,特别是当其内部包含指针时,这个“值”的含义就变得微妙。
如果一个结构体字段本身是一个指针(例如 *vector.Vector 或 *[]int),那么复制的“值”就是这个指针本身的内存地址。这意味着新旧变量的指针都指向了同一块底层数据。因此,通过任一指针修改底层数据,都会影响到所有指向该数据的变量。这就是所谓的“浅拷贝”或“引用传递”的表象。
在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向量,彼此的操作
以上就是Go语言中旧版Vector(及现代切片)的赋值与深拷贝机制解析的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号