Go语言中传递切片至函数后无法修改原切片，递归场景如何解决？

我完全懂你现在的困扰——Go里所有参数都是值传递，当你把切片传给函数后，在函数里用append追加元素，原切片并不会同步更新，就像你给出的示例那样：

package main

import "fmt"

func addToNumbs(nums []int) []int {
    nums = append(nums, 4)
    fmt.Println(nums) // 输出: [1 2 3 4]
    return nums
}

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

这背后的核心原因是切片本身是一个包含指针、长度和容量的小型结构体：当你把切片作为参数传递时，传递的是这个结构体的副本。如果append操作没有触发底层数组的扩容，副本里的指针还是指向原底层数组，这时候修改切片元素会影响原切片；但一旦append导致扩容，副本就会指向一个全新的底层数组，原切片和函数内的切片就彻底分离了——哪怕你的示例里没触发扩容，也只是修改了副本的切片结构体（长度字段变了），原切片的长度还是原来的3，所以外部看不到新增的元素。

针对这个问题，尤其是你提到的递归场景，有两个清晰的解决思路：

• 返回修改后的切片并重新赋值：这是最直观的方式，在函数调用处接收返回的新切片，覆盖原变量，比如把你的代码调整为：

  func main() {
      nums := []int{1, 2, 3}
      nums = addToNumbs(nums) // 接收返回的更新后切片
      fmt.Println(nums) // 输出: [1 2 3 4]
  }
  

• 递归场景下持续传递并返回切片：在递归过程中，每一层都把更新后的切片传递给下一层递归，最终把最底层的结果逐层返回，这样就能保证所有修改都能同步到上层。举个简单的递归示例：

  func recursiveAppend(nums []int, depth int) []int {
      if depth == 0 {
          return nums
      }
      nums = append(nums, depth)
      return recursiveAppend(nums, depth-1)
  }
  
  func main() {
      nums := []int{1,2,3}
      nums = recursiveAppend(nums, 3)
      fmt.Println(nums) // 输出: [1 2 3 3 2 1]
  }
  

这样就能确保递归过程中所有的切片修改都能被保留，最终得到你预期的结果。

内容的提问来源于stack exchange，提问作者Lansana Camara