(*[1 << 30]C.YourType) 在 CGo 中究竟做了什么？

Question

在 Golang wiki 中的 "Turning C arrays into Go slices" 下，有一段代码演示了如何创建由 C 数组支持的 Go 切片。

import "C"
import "unsafe"
...
        var theCArray *C.YourType = C.getTheArray()
        length := C.getTheArrayLength()
        slice := (*[1 << 30]C.YourType)(unsafe.Pointer(theCArray))[:length:length]

谁能准确解释一下 (*[1 << 30]C.YourType) 的作用？它如何将 unsafe.Pointer 变成 Go 切片？

Answer 1

*[1 << 30]C.YourType 本身不做任何事情，它是一种类型。具体来说，它是一个指向大小为 1 << 30、具有 C.YourType 值的数组的指针。大小是任意的，仅表示需要在主机系统上有效的上限。

你在第三个表达式中所做的是 type conversion。这会将 unsafe.Pointer 转换为 *[1 << 30]C.YourType.

然后，您将获取转换后的数组值，并将其转换为带有 full slice expression 的切片（切片表达式不需要取消引用数组值，因此无需用 * 作为值的前缀，即使它是一个指针）。

你可以像这样扩展它：

// unsafe.Pointer to the C array
unsafePtr := unsafe.Pointer(theCArray)

// convert unsafePtr to a pointer of the type *[1 << 30]C.YourType
arrayPtr := (*[1 << 30]C.YourType)(unsafePtr)

// slice the array into a Go slice, with the same backing array
// as theCArray, making sure to specify the capacity as well as
// the length.
slice := arrayPtr[:length:length]

此构造已被 go1.17 中的通用 unsafe.Slice 函数取代：

slice := unsafe.Slice(theCArray, length)

(*[1 << 30]C.YourType) 在 CGo 中究竟做了什么？

What does (*[1 << 30]C.YourType) do exactly in CGo?

go

cgo