另一个usafe包的例子

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

  1. package main
  2. import (
  3. "fmt"
  4. "unsafe"
  5. )
  6. func main() {
  7. array := [...]int{0, 1, -2, 3, 4}
  8. pointer := &array[0]
  9. fmt.Print(*pointer, " ")
  10. memoryAddress := uintptr(unsafe.Pointer(pointer)) + unsafe.Sizeof(array[0])
  11. for i := 0; i < len(array)-1; i++ {
  12. pointer = (*int)(unsafe.Pointer(memoryAddress))
  13. fmt.Print(*pointer, " ")
  14. memoryAddress = uintptr(unsafe.Pointer(pointer)) + unsafe.Sizeof(array[0])
  15. }

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

  1. 后面部分代码如下:
  1. fmt.Println()
  2. pointer = (*int)(unsafe.Pointer(memoryAddress))
  3. fmt.Print("One more: ", *pointer, " ")
  4. memoryAddress = uintptr(unsafe.Pointer(pointer)) + unsafe.Sizeof(array[0])
  5. fmt.Println()

}

  1. 这里,我们尝试使用指针和内存地址去访问一个不存在的数组元素。由于使用```unsafe```包,Go编译器不会捕捉到这样的逻辑错误,因而会产生一些不可预料的事情。
  2. 执行```moreUnsafe.go```,会产生如下的输出:

$ go run moreUnsafe.go 0 1 -2 3 4 One more: 824634191624 ``` 现在,你使用指针访问了Go数组里的所有元素。但是,这里真正的问题是,当你尝试访问无效的数组元素,程序并不会出错而是会返回一个随机的数字。