结构体私有slice字段通过Getter返回前是否需执行copy操作？

问题背景 #

如果结构体包含私有slice字段并需要提供Getter方法，是否应该在返回该slice前执行copy操作？我希望确认直接返回私有slice是否安全——毕竟不想让调用者通过Getter的返回值修改内部私有字段。之前的测试显示返回的slice和私有字段似乎没关联，但不确定是否覆盖所有场景，也不想做不必要的copy。

测试代码（直接返回原slice） #

package main

import "fmt"

type Basket struct {
    fruits []string
}

func (b *Basket) Fruits() []string {
    return b.fruits
}

func (b *Basket) AddFruit(fruit string) {
    b.fruits = append(b.fruits, fruit)
}

func main() {
    basket := &Basket{}
    basket.AddFruit("apple")
    basket.AddFruit("banana")
    basket.AddFruit("orange")

    fruits := basket.Fruits()
    fmt.Println(fruits) // [apple banana orange]

    fruits = append(fruits, "mango")
    fmt.Println(fruits)          // [apple banana orange mango lemon pineapple]
    fmt.Println(basket.Fruits()) // [apple banana orange]
}

核心风险：测试未覆盖关键场景 #

你测试的是append触发扩容的情况——当append超过原slice容量时，Go会分配新的底层数组，此时返回的slice和私有字段的slice不再共享数组，所以修改新slice不会影响原字段。但如果调用者直接修改返回slice的现有元素，问题就暴露了：

func main() {
    basket := &Basket{}
    basket.AddFruit("apple")
    basket.AddFruit("banana")

    fruits := basket.Fruits()
    fruits[0] = "篡改后的苹果" // 直接修改返回slice的元素
    fmt.Println(basket.Fruits()) // 输出 [篡改后的苹果 banana]，私有字段被修改！
}

因为slice是引用类型，直接返回的slice和结构体内部的私有slice共享同一个底层数组。只要调用者修改返回slice的索引元素，就会直接篡改结构体的内部数据，完全破坏了私有字段的封装性。

结论与解决方案 #

• 如果需要保证私有slice字段的不可变性（外部只能读，不能改），必须在Getter中返回副本，也就是你提供的copy方案：

  func (b *Basket) Fruits() []string {
      result := make([]string, len(b.fruits))
      copy(result, b.fruits)
      return result
  }
  

• 这种copy的性能开销在大多数场景下可以忽略，是保证封装性的必要代价。
• 只有当你明确允许外部通过返回值修改内部数据时，才可以直接返回原slice，但这违背了私有字段的设计初衷，不推荐。

内容的提问来源于stack exchange，提问作者Floating Sunfish