Golang 中的 unsafe 包详解

路多辛

已于 2023-12-19 21:49:19 修改

阅读量1.4k

点赞数 1

分类专栏： Golang系列知识讲解文章标签： golang 开发语言后端

于 2023-08-10 22:01:07 首次发布

本文链接：https://blog.csdn.net/luduoyuan/article/details/132219469

版权

Golang系列知识讲解专栏收录该内容

159 篇文章 33 订阅

订阅专栏

引言

为什么需要 unsafe 包

unsafe.Pointer 类型

unsafe.ArbitraryType 类型

unsafe.IntegerType 类型

引言

在 Go 语言中，unsafe 包是一个特殊的包，提供了一些绕过 Go 语言类型安全的操作。虽然它的名字包含“unsafe”，并不意味着它的使用总是错误的，但需要注意的是使用者需要对自己的操作负责，因为可能导致程序不稳定或不安全。unsafe 包用于在运行时进行低级别的操作。这些操作通常是不安全的，因为可以打破 Golang 的类型安全性和内存安全性，使用 unsafe 包的程序可能会影响可移植性和兼容性。本文将深入探讨 unsafe 包的功能以及使用方法。

为什么需要 `unsafe` 包

Go 语言的设计哲学之一是安全性。类型系统、内存安全等都是这种哲学的体现。然而，在某些情况下，可能需要直接操作内存或者进行一些正常情况下不被允许的类型转换。例如，当与操作系统的底层特性交互时，或者为了性能优化需要直接读写内存，这时 unsafe 包就非常有用了。

unsafe.Pointer 类型

通常用于类型转换和指针运算，定义如下：

type Pointer *ArbitraryType

可以将其他类型的指针转换为unsafe.Pointer类型，以进行低级别的操作。看个简单示例：

package main
 
import (
	"fmt"
	"unsafe"
)
 
func main() {
	i := 30
	ptr1 := &i
 
	var ptr2 *int64 = (*int64)(unsafe.Pointer(ptr1))
	*ptr2 = 8
 
	fmt.Println(i)
}

unsafe.ArbitraryType 类型

定义如下：

type ArbitraryType int

ArbitraryType 仅用于文档目的，实际上并不是 unsafe 包的一部分，用于表示任意 Go 表达式的类型。

unsafe.IntegerType 类型

定义如下：

type IntegerType int

IntegerType 仅用于文档目的，实际上并不是 unsafe 包的一部分，用于表示任意整数类型。

unsafe.Add 函数

定义如下：

func Add(ptr Pointer, len IntegerType) Pointer

用于进行指针的加法运算，将一个指针和指定的偏移量相加，得到一个新的指针。简单示例如下：

package main

import (
	"fmt"
	"unsafe"
)

func main() {
	arr := []int{1, 2, 3, 4}
	index := 2
	ptr := unsafe.Pointer(&arr[0])
	newPtr := unsafe.Add(ptr, uintptr(index)*unsafe.Sizeof(arr[0]))
	cc := (*int)(newPtr)
	fmt.Println(*cc)
	fmt.Println(newPtr)
}

unsafe.Sizeof 函数

定义如下：

func Sizeof(x ArbitraryType) uintptr

用于获取一个类型或值的字节大小。简单示例如下：

package main

import (
	"fmt"
	"unsafe"
)

func main() {
	var arr [5]int
	fmt.Println(unsafe.Sizeof(arr)) // 输出: 40
	fmt.Println(unsafe.Sizeof(0))   // 输出: 8
}

unsafe.Slice 函数

定义如下：

func Slice(ptr *ArbitraryType, len IntegerType) []ArbitraryType

用于创建一个与原始数组共享底层数据的切片。简单示例如下：

package main

import (
	"fmt"
	"unsafe"
)

func main() {
	var arr [5]int
	arr[0] = 10
	arr[1] = 20
	arr[2] = 30
	arr[3] = 40
	arr[4] = 50

	slice := unsafe.Slice(&arr[0], 3)
	fmt.Println(slice) // 输出: [10 20 30]
}

定义了一个包含5个整数的数组 arr，然后使用 unsafe.Slice 函数创建了一个从索引0开始、长度为3的切片 slice。

unsafe.Offsetof

定义如下：

func Offsetof(x ArbitraryType) uintptr

作用是返回结构体成员在内存中的位置离结构体起始处(结构体的第一个字段的偏移量都是0)的字节数。简单示例如下：

package main

import (
	"fmt"
	"unsafe"
)

type MyStruct struct {
	Field1 int64
	Field2 string
}

func main() {
	var myStruct MyStruct
	fmt.Println(unsafe.Offsetof(myStruct.Field1)) // 输出: 0
	fmt.Println(unsafe.Offsetof(myStruct.Field2)) // 输出: 8
}

unsafe.Alignof

定义如下：

func Alignof(x ArbitraryType) uintptr

返回参数对齐所需的字节数。对于某些结构体，其字段的内存对齐可能会影响到结构体所占用的内存大小。简单示例如下：

package main

import (
	"fmt"
	"unsafe"
)

type MyStruct struct {
	Field1 int
	Field2 string
}

func main() {
	fmt.Println(unsafe.Alignof(int(0)))     // 输出: 8
	fmt.Println(unsafe.Alignof(string(""))) // 输出: 8
	fmt.Println(unsafe.Alignof(MyStruct{})) // 输出: 8
}