go中的unsafe包及使用详解

2023-06-01 00:00:00 unsafe 详解

Unsafe code是一种绕过go类型安全和内存安全检查的Go代码。大多数情况,unsafe code是和指针相关的。但是要记住使用unsafe code有可能会损害你的程序,所以,如果你不完全确定是否需要用到unsafe code就不要使用它。

以下面的 unsafe.go 为例,看一下unsafe code的使用

package mainimport ( "fmt" "unsafe")func main() { var value int64 = 5 var p1 = &value var p2 = (*int32)(unsafe.Pointer(p1))

这里使用了 unsafe.Pointer() 方法,这个方法能让你创造一个 int32 的 p2 指针去指向一个 int64 的 value 变量,而这个变量是使用 p1 指针去访问的,注意这种做法是有风险的。

任何go指针都可以转化为 unsafe.Pointer 指针。

unsafe.Pointer 类型的指针可以覆盖掉go的系统类型。这毫无疑问很快,但是如果不小心或者不正确使用的话就会很危险,它给了开发者更多选择去掌控数据。

unsafe.go 后面部分如下

fmt.Println("*p1: ", *p1) fmt.Println("*p2: ", *p2) *p1 = 5434123412312431212 fmt.Println(value) fmt.Println("*p2: ", *p2) *p1 = 54341234 fmt.Println(value) fmt.Println("*p2: ", *p2)}

你可以使用一个星号( * )来解引用一个指针

运行 unsafe.go ,会得到如下的输出

*p1:  5
*p2:  5
5434123412312431212
*p2:  -930866580
54341234
*p2:  54341234

那么这个输出说明了什么呢?它告诉了我们,使用32-bit的指针无法存一个64-bit的整数型

关于unsafe包

你已经实际操作过 unsafe 包的东西了,现在来看一下为什么这个库这么特别。

首先,如果你看了 unsafe 包的源码,你可能会感到惊讶。在macOS Hight Sierra系统上,可以使用 Homebrew 安装Go 。 unsafe 源码路径在 /usr/local/Cellar/go/1.9.1/libexec/src/unsafe/unsafe.go 下面,不包含注释,它的内容如下

$ cd /usr/local/Cellar/go/1.9.1/libexec/src/unsafe/$ grep -v '^//' unsafe.go|grep -v '^$'package unsafetype ArbitraryType inttype Pointer *ArbitraryTypefunc Sizeof(x ArbitraryType) uintptrfunc Offsetof(x ArbitraryType) uintptrfunc Alignof(x ArbitraryType) uintptr

OK,其它的 unsafe 包的go代码去哪里了?答案很简单:当你import到你程序里的时候,Go编译器实现了这个unsafe库。

许多系统库,例如 runtime , syscall 和 os 会经常使用到 usafe 库

另一个usafe包的例子

我们通过一个 moreUnsafe.go 的小程序来了解unsafe库的兼容性。 moreUnsafe.go 做的事情就是使用指针来访问数组里的所有元素。

package mainimport ( "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.go0 1 -2 3 4 One more: 824634191624

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

总结

unsafe的功能很强大,它可以把任意指针转换为 unsafe.Pointer 指针,同时给了开发人员更多操作数据的手段。但是相对的,如果使用不当,则会造成不可预料的错误,这也是为什么这个包的名字被称作 unsafe 的原因,所以在你不确定是否该使用 unsafe 操作的时候,尽量不要使用它。

以上所述是小编给大家介绍的go中的unsafe包,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对站的支持!
如果你觉得本文对你有帮助,欢迎转载,烦请注明出处,谢谢!

相关文章