Go语言中切片参数传递：值传递为何能修改外部切片元素？

在Go语言中，切片（slice）是一个引用类型的数据结构，它包含三个部分： 1. 指向底层数组的指针（pointer） 2. 切片的长度（length） 3. 切片的容量（capacity）

当你在函数中传递一个切片作为参数时，虽然Go语言使用的是值传递（即传递的是切片的副本），但这个副本仍然包含指向同一个底层数组的指针。因此，尽管切片本身是值传递，但你仍然可以通过这个副本修改底层数组中的元素。

具体解释

假设你有一个切片 s，并将其传递给一个函数 modifySlice：

func modifySlice(s []int) {
    s[0] = 100  // 修改切片的第一个元素
}

func main() {
    s := []int{1, 2, 3}
    modifySlice(s)
    fmt.Println(s)  // 输出: [100, 2, 3]
}

在这个例子中： - s 是一个切片，包含指向底层数组的指针、长度和容量。 - 当 s 传递给 modifySlice 时，Go语言会创建一个 s 的副本，但这个副本仍然指向同一个底层数组。 - 因此，modifySlice 函数中的 s[0] = 100 修改的是底层数组的第一个元素，这个修改会反映在原始的切片 s 中。

注意事项

1. 切片的扩容：如果你在函数中对切片进行扩容（例如使用 append），这可能会导致底层数组的重新分配。在这种情况下，函数内部的切片副本会指向一个新的底层数组，而原始的切片仍然指向原来的底层数组。因此，扩容操作不会影响原始的切片。

   func modifySlice(s []int) {
      s = append(s, 4)  // 扩容操作，可能会导致底层数组重新分配
      s[0] = 100        // 修改切片的第一个元素
   }
   
   func main() {
      s := []int{1, 2, 3}
      modifySlice(s)
      fmt.Println(s)  // 输出: [1, 2, 3]
   }
   

   在这个例子中，modifySlice 函数中的 append 操作可能会导致底层数组重新分配，因此 s[0] = 100 的修改不会反映在原始的切片 s 中。

2. 传递切片的指针：如果你希望在函数中修改切片的长度或容量，并且希望这些修改反映在原始的切片中，你可以传递切片的指针。

   func modifySlice(s *[]int) {
      *s = append(*s, 4)  // 扩容操作，修改切片的长度
      (*s)[0] = 100       // 修改切片的第一个元素
   }
   
   func main() {
      s := []int{1, 2, 3}
      modifySlice(&s)
      fmt.Println(s)  // 输出: [100, 2, 3, 4]
   }
   

   在这个例子中，modifySlice 函数通过传递切片的指针来修改切片的长度和内容，这些修改会反映在原始的切片 s 中。

总结

• Go语言中的切片是值传递，但由于切片包含指向底层数组的指针，因此可以通过切片的副本来修改底层数组中的元素。
• 如果需要对切片的长度或容量进行修改，并且希望这些修改反映在原始的切片中，可以传递切片的指针。