切片类型的切片

Question

我目前正在完成精彩的 Go 之旅。 我使用以下解决方案完成了其中一项练习 (#45)：

func Pic(dx, dy int) [][]uint8 {
    pic := make([][]uint8, dy) /* type declaration */
    for i := range pic {
        pic[i] = make([]uint8, dx) /* again the type? */
        for j := range pic[i] {
            pic[i][j] = uint8((i+j)/2)
        }
    }
    return pic
}

我不明白为什么我必须使用 uint8 类型的 make 语句两次（请参阅注释在片段中）。这似乎是多余的，但我不知道如何以其他方式做到这一点。

Answer 1

明确地说，我们可以使用括号将 [][]uint8 重写为 []([]uint8)： (slices of type uint8< /代码>）。

使用 make 内置函数，对于 T 类型的切片，make(T, n) 返回一个 T 类型的切片，长度为 n，容量为 n。

因此，make([][]uint8, 2)相当于make([]([]uint8), 2)，它返回一个切片，其长度和uint8 类型切片的容量为 2，其中 uint8 类型的每个切片都初始化为零值（nil< /code> 长度和容量为的引用 零）。

多维切片是锯齿状的，类似于多维锯齿状数组。

例如，

package main

import "fmt"

func main() {
    ss := make([][]uint8, 2) // ss is []([]uint8)
    fmt.Printf("ss:    %T %v %d\n", ss, ss, len(ss))
    for i, s := range ss { // s is []uint8
        fmt.Printf("ss[%d]: %T %v %d\n", i, s, s, len(s))
    }
}

输出：

ss:    [][]uint8 [[] []] 2
ss[0]: []uint8 [] 0
ss[1]: []uint8 [] 0

Answer 2

在 Go 中没有其他方法可以做到这一点。

是的，我同意这很冗长，但是必要的。第二个 make() 语句完全独立于第一个语句。有人可能会说编译器应该能够从 pic[i] 推断类型，但目前还不能。

另一点：如果在第二种情况下省略类型，make() 语句会是什么样子？仍然需要 make() 来进行实际分配并能够指定所需的长度/容量。

作为旁注，您混淆了切片长度。该练习指出，顶级切片的长度应为 dy，而不是您在代码中输入的 dx。

Answer 3

您可以像这样初始化切片切片：

matrix2D := [][]int8{
    {1, 2, 3},
    {4, 5, 6},
}
fmt.Println(matrix2D) // [[1 2 3] [4 5 6]]