02.3.5 另一个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里。

后面部分代码如下:
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数组里的所有元素。但是,这里真正的问题是,当你尝试访问无效的数组元素,程序并不会出错而是会返回一个随机的数字。

Last updated