Go语言中切片（Slice）的预分配与填充：指针类型和值类型的最佳实践-Golang-PHP中文网

Go语言中切片（Slice）的预分配与填充：指针类型和值类型的最佳实践

霞舞

发布： 2025-10-14 10:02:28

原创

157人浏览过

Go语言中切片（Slice）的预分配与填充：指针类型和值类型的最佳实践

本文深入探讨了go语言中切片（slice）预分配和填充的两种主要策略，特别是针对指针类型切片的处理。通过解析make函数中长度与容量参数的作用，以及append操作的行为，本文提供了两种go语言惯用的方法：直接索引赋值填充已预分配长度的切片，以及预分配容量后通过append动态填充切片，旨在帮助开发者高效且准确地管理切片内存。

理解Go语言切片的初始化与内存管理

在Go语言中，切片（slice）是对底层数组的抽象，提供了动态长度的能力。make函数是创建切片的主要方式，其常用签名是 make([]Type, length, capacity)：

length（长度）：切片当前包含的元素数量。
capacity（容量）：底层数组可以容纳的元素总数。

当只提供两个参数 make([]Type, length) 时，容量默认等于长度。理解这两个概念对于正确预分配和填充切片至关重要。

例如，mySlice := make([]*UselessStruct, 5) 会创建一个长度为5、容量为5的切片。由于其元素类型是指针，切片会被初始化为5个nil指针。如果元素类型是值类型，如 mySlice := make([]UselessStruct, 5)，则切片会被初始化为5个UselessStruct{}（即零值结构体）。

预分配与填充指针类型切片

当我们需要一个包含特定数量指针的切片，并希望在预分配内存后填充这些指针时，常见的误区是使用 make([]*Type, N) 后再进行 append 操作。

立即学习“go语言免费学习笔记（深入）”；

常见误区示例：

以下代码试图预分配5个UselessStruct指针的切片，然后通过append填充：

package main

import "fmt"

type UselessStruct struct {
    a int
    b int
}

func main() {
    mySlice := make([]*UselessStruct, 5) // 创建一个长度为5的切片，包含5个nil指针
    for i := 0; i != 5; i++ {
        mySlice = append(mySlice, &UselessStruct{}) // 追加新的指针
    }
    fmt.Println(mySlice)
    // 输出示例：[<nil> <nil> <nil> <nil> <nil> 0xc0... 0xc0... ...]
    fmt.Printf("Length: %d, Capacity: %d\n", len(mySlice), cap(mySlice))
}

登录后复制

输出结果会显示切片长度变为10，且前5个元素是nil。这是因为 make([]*UselessStruct, 5) 已经创建了一个包含5个nil元素的切片。append操作会在现有元素的末尾添加新元素，而不是替换已有的nil元素。

为了正确地预分配并填充指针切片，Go语言提供了两种惯用且高效的方法。

方法一：直接索引赋值填充（推荐）

这种方法适用于你明确知道切片最终长度，并希望直接在预分配的空间中创建并存储元素的情况。

package main

import "fmt"

type UselessStruct struct {
    a int
    b int
}

func main() {
    mySlice := make([]*UselessStruct, 5) // 创建一个长度为5的切片，包含5个nil指针
    for i := range mySlice {
        mySlice[i] = new(UselessStruct) // 为每个索引分配并赋值一个新的UselessStruct指针
    }
    fmt.Println(mySlice)
    // 预期输出示例：[0xc0... 0xc0... 0xc0... 0xc0... 0xc0...] (5个不同的指针地址)
    fmt.Printf("Length: %d, Capacity: %d\n", len(mySlice), cap(mySlice))
}

登录后复制

解释：make([]*UselessStruct, 5) 创建了一个长度为5的切片，其底层数组已经分配了5个指针的空间，并默认初始化为nil。通过 for i := range mySlice 遍历切片，并使用 mySlice[i] = new(UselessStruct)，我们直接将新创建的UselessStruct的指针赋值给切片中对应索引位置的nil指针，从而替换了nil值。这种方法确保了切片的最终长度就是我们期望的5，并且所有元素都是有效的指针。

云雀语言模型

云雀是一款由字节跳动研发的语言模型，通过便捷的自然语言交互，能够高效的完成互动对话

查看详情

方法二：预分配容量，然后通过 append 填充

这种方法适用于你预估了切片的最终容量，但初始长度为0，然后逐步通过 append 操作添加元素的情况。这种方式在元素数量不确定但又想避免频繁重新分配内存时非常有用。

package main

import "fmt"

type UselessStruct struct {
    a int
    b int
}

func main() {
    mySlice := make([]*UselessStruct, 0, 5) // 创建一个长度为0，容量为5的切片
    for i := 0; i < 5; i++ {
        mySlice = append(mySlice, &UselessStruct{}) // 追加新的UselessStruct指针
    }
    fmt.Println(mySlice)
    // 预期输出示例：[0xc0... 0xc0... 0xc0... 0xc0... 0xc0...] (5个不同的指针地址)
    fmt.Printf("Length: %d, Capacity: %d\n", len(mySlice), cap(mySlice))
}

登录后复制

解释：make([]*UselessStruct, 0, 5) 创建了一个长度为0但容量为5的切片。这意味着底层数组已经分配了容纳5个元素的空间，但切片目前没有任何元素。每次调用 append 时，新元素会被添加到切片的末尾，切片的长度会增加，但只要未超出容量，就不会发生底层数组的重新分配，从而提高了效率。

预分配与填充值类型切片

对于值类型切片，例如 []UselessStruct，原理与指针类型切片类似。

常见误区示例：

package main

import "fmt"

type UselessStruct struct {
    a int
    b int
}

func main() {
    mySlice := make([]UselessStruct, 5) // 长度为5，包含5个零值结构体
    for i := 0; i != 5; i++ {
        mySlice = append(mySlice, UselessStruct{}) // 追加新的零值结构体
    }
    fmt.Println(mySlice)
    // 输出示例：[{0 0} {0 0} {0 0} {0 0} {0 0} {0 0} {0 0} {0 0} {0 0} {0 0}]
}

登录后复制

输出结果会显示切片长度为10。同样，append是在现有元素之后添加，而不是替换。

解决方案：

与指针类型切片一样，我们可以采用直接索引赋值的方式：

package main

import "fmt"

type UselessStruct struct {
    a int
    b int
}

func main() {
    mySlice := make([]UselessStruct, 5) // 创建一个长度为5的切片，包含5个零值结构体
    for i := range mySlice {
        mySlice[i] = UselessStruct{a: i + 1, b: i + 10} // 为每个索引赋值新的UselessStruct实例
    }
    fmt.Println(mySlice)
    // 预期输出：[{1 11} {2 12} {3 13} {4 14} {5 15}]
    fmt.Printf("Length: %d, Capacity: %d\n", len(mySlice), cap(mySlice))
}

登录后复制

或者预分配容量后使用 append：

package main

import "fmt"

type UselessStruct struct {
    a int
    b int
}

func main() {
    mySlice := make([]UselessStruct, 0, 5) // 创建一个长度为0，容量为5的切片
    for i := 0; i < 5; i++ {
        mySlice = append(mySlice, UselessStruct{a: i + 1, b: i + 10}) // 追加新的UselessStruct实例
    }
    fmt.Println(mySlice)
    // 预期输出：[{1 11} {2 12} {3 13} {4 14} {5 15}]
    fmt.Printf("Length: %d, Capacity: %d\n", len(mySlice), cap(mySlice))
}

登录后复制

注意事项与最佳实践

明确意图：
- 如果你确切知道切片最终的长度，并且希望在预分配的内存位置上填充元素，那么直接索引赋值 (make([]Type, N) 后 mySlice[i] = ...) 是最清晰和推荐的方式。它避免了额外的nil元素或零值元素的产生。
- 如果你预估了切片的最大容量，但元素是动态添加的，或者你希望从一个空切片开始构建，那么预分配容量后使用 append (make([]Type, 0, N) 后 mySlice = append(...)) 是更合适的选择。它能有效减少内存重新分配的开销。
**

以上就是Go语言中切片（Slice）的预分配与填充：指针类型和值类型的最佳实践的详细内容，更多请关注php中文网其它相关文章！