检查切片容量是否足够 - 对 `len(slice) > 1` 和 `newCap > 2*len(slice)` 进行判断

各位小伙伴们，大家好呀！看看今天我又给各位带来了什么文章？本文标题是《检查切片容量是否足够 - 对 `len(slice) > 1` 和 `newCap > 2*len(slice)` 进行判断》，很明显是关于Golang的文章哈哈哈，其中内容主要会涉及到等等，如果能帮到你，觉得很不错的话，欢迎各位多多点评和分享！

在《go 编程语言》一书中，作者给出了以下 append() 函数的代码示例，该函数接受 []int 和 int 作为参数，并相应地处理调整大小：

// gopl.io/ch4/append
func appendInt(x []int, y int) []int {
    var z []int
    zlen := len(x) + 1
    if zlen <= cap(x) {
        // There is room to grow. Extend the slice.
        z = x[:zlen]
    } else {
        // There is insufficient space. Allocate a new array.
        // Grow by doubling, for amortized linear complexity.
        zcap := zlen
        if zcap < 2*len(x) { // Question: Why not len(x) > 1?
            zcap = 2 * len(x)
        }
        z = make([]int, zlen, zcap)
        copy(z, x)
    }
    z[len(x)] = y
    return z 
}

问题

为什么最里面的检查写成 if zcap < 2*len(x) 而不是等效的 if len(x) > 1 ？

后者对我来说更清晰，它表明如果初始切片的长度为 0 或 1，我们在附加新元素后不会分配额外的容量。

zcap < 2*len(x) 和 len(x) > 1 等价的详细信息

我们可以看到，zcap 的值是从 zlen 分配的，而 len(x) + 1 的值又是 len(x) + 1，所以如果我们排列不等式：

zcap < 2*len(x)

代入 zcap := zlen 后，我们得到：

zlen < 2*len(x)

代入 zlen := len(x) + 1 后，我们得到：

len(x) + 1 < 2*len(x)

重新排列后，我们得到：

len(x) > 1

解决方案

你是对的，zcap < 2*len(x) 相当于 len(x) > 1。您可以在此函数中将 zcap < 2*len(x) 完全替换为 len(x) > 1 。

但是根据来源code，还有另一个名为appendslice的函数。在此功能中，您无法进行替换。

我认为作者使用 zcap < 2*len(x) 只是为了保持两个函数的一致性。这里的主要目的是避免频繁分配。

以上就是《检查切片容量是否足够 - 对 `len(slice) > 1` 和 `newCap > 2*len(slice)` 进行判断》的详细内容，更多关于的资料请关注golang学习网公众号！