Question

另一个usafe包的例子

在这一节，你会了解到更多关于 unsafe 库的东西，以及通过一个 moreUnsafe.go 的小程序来了解unsafe库的兼容性。 moreUnsafe.go 做的事情就是使用指针来访问数组里的所有元素。

package main

import (
    "fmt"
    "unsafe"
)

func main() {
    array := [...]int{0, 1, -2, 3, 4}
    pointer := &array[0]
    fmt.Print(*pointer, " ")
    memoryAddress := uintptr(unsafe.Pointer(pointer)) + unsafe.Sizeof(array[0])
    for i := 0; i < len(array)-1; i++ {
        pointer = (*int)(unsafe.Pointer(memoryAddress))
        fmt.Print(*pointer, " ")
        memoryAddress = uintptr(unsafe.Pointer(pointer)) + unsafe.Sizeof(array[0])
    }

首先， pointer 变量指向 array[0] 的地址， array[0] 是整型数组的第一个元素。接下来指向整数值的 pointer 变量会传入 unsafe.Pointer() 方法，然后传入 uintptr 。最后结果存到了 memoryAddress 里。

unsafe.Sizeof(array[0]) 是为了去访问下一个数组元素，这个值是每个元素占的内存大小。每次for循环遍历，都会把这个值加到 memoryAddress 上，这样就能获取到下一个数组元素的地址。*pointer的*符号对指针进行解引用，然后返回了所存的整数值。

后面部分代码如下：

    fmt.Println()
    pointer = (*int)(unsafe.Pointer(memoryAddress))
    fmt.Print("One more: ", *pointer, " ")
    memoryAddress = uintptr(unsafe.Pointer(pointer)) + unsafe.Sizeof(array[0])
    fmt.Println()
}

这里，我们尝试使用指针和内存地址去访问一个不存在的数组元素。由于使用 unsafe 包，Go编译器不会捕捉到这样的逻辑错误，因而会产生一些不可预料的事情。

执行 moreUnsafe.go ，会产生如下的输出：

$ go run moreUnsafe.go
0 1 -2 3 4 
One more: 824634191624

现在，你使用指针访问了Go数组里的所有元素。但是，这里真正的问题是，当你尝试访问无效的数组元素，程序并不会出错而是会返回一个随机的数字。