Go语言Vector赋值与深拷贝方法

学习Golang要努力，但是不要急！今天的这篇文章《Go语言Vector赋值与深拷贝解析》将会介绍到等等知识点，如果你想深入学习Golang，可以关注我！我会持续更新相关文章的，希望对大家都能有所帮助！

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实例中体现出来。

实现深拷贝：创建独立的副本

为了解决上述问题，确保每个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赋值与深拷贝方法》的介绍应该让你收获多多了吧！欢迎大家收藏或分享给更多需要学习的朋友吧~golang学习网公众号也会发布Golang相关知识，快来关注吧！