Go语言中make()与[]T{}初始化切片的差异

针对你给出的两种切片初始化代码，核心差异可以从初始状态、容量控制、适用场景三个维度拆解：

1. 初始元素与长度差异 #

• make([]int, 5, 10)：
  这种方式会创建一个包含*5个int类型零值（0）*的切片，初始长度为5。后续调用append添加的元素会直接追加在这5个零值之后，执行完append(slice1, 1, 2, 3, 4)后，slice1的元素是[0, 0, 0, 0, 0, 1, 2, 3, 4]，长度变为9。
• []int{1, 2, 3, 4}：
  字面量初始化会直接用你指定的元素填充切片，初始长度等于元素个数（4），切片内的元素就是1, 2, 3, 4，没有零值填充。

2. 容量控制差异 #

• make方式支持显式指定切片的容量（第三个参数）：
  这里设置的容量为10，意味着底层数组的长度是10。在调用append时，只要切片长度不超过10，就不会触发底层数组的扩容操作，能减少内存分配的开销。
• 字面量初始化的切片：
  容量默认等于当前长度（4）。如果后续append的元素数量超过这个容量，Go会自动扩容底层数组（小容量时通常扩容为原容量的2倍，大容量时为1.25倍），扩容会涉及内存拷贝，性能有一定损耗。

3. 适用场景差异 #

• 当你提前知道切片需要容纳的元素数量范围，或者需要预留空间避免频繁扩容时，优先用make并指定容量，比如处理批量数据、循环追加大量元素的场景，能提升性能。
• 当你已经明确知道切片的初始元素，且不需要额外预留空间时，用字面量初始化更简洁直观，代码可读性更高。

验证代码示例 #

你可以通过打印切片的元素、长度和容量来直观看到差异：

import "fmt"

func main() {
    slice1 := make([]int, 5, 10)
    slice1 = append(slice1, 1, 2, 3, 4)
    fmt.Println("slice1元素:", slice1)       // 输出: [0 0 0 0 0 1 2 3 4]
    fmt.Println("slice1长度:", len(slice1)) // 输出: 9
    fmt.Println("slice1容量:", cap(slice1)) // 输出: 10

    slice2 := []int{1, 2, 3, 4}
    fmt.Println("slice2元素:", slice2)       // 输出: [1 2 3 4]
    fmt.Println("slice2长度:", len(slice2)) // 输出: 4
    fmt.Println("slice2容量:", cap(slice2)) // 输出: 4
}

内容的提问来源于stack exchange，提问作者raul dangio