Golang unsafe的妙用

本文介绍如何使用Golang的unsafe包来操作结构体中的私有成员变量,包括指针转换、对齐规则及内存地址计算等内容。

unsafe.Pointer其实就是类似C的void *,在golang中是用于各种指针相互转换的桥梁。uintptr是golang的内置类型,是能存储指针的整型,uintptr的底层类型是int,它和unsafe.Pointer可相互转换。uintptr和unsafe.Pointer的区别就是:unsafe.Pointer只是单纯的通用指针类型,用于转换不同类型指针,它不可以参与指针运算;而uintptr是用于指针运算的,GC 不把 uintptr 当指针,也就是说 uintptr 无法持有对象,uintptr类型的目标会被回收。golang的unsafe包很强大,基本上很少会去用它。它可以像C一样去操作内存,但由于golang不支持直接进行指针运算,所以用起来稍显麻烦。

切入正题。利用unsafe包,可操作私有变量(在golang中称为“未导出变量”,变量名以小写字母开始),下面是具体例子。

在$GOPATH/src下建立poit包,并在poit下建立子包p,目录结构如下:

$GOPATH/src

----poit

--------p

------------v.Go

--------main.go

以下是v.go的代码:

01 package p
02  
03 import (
04     "fmt"
05 )
06  
07 type V struct {
08     i int32
09     j int64
10 }
11  
12 func (this V) PutI() {
13     fmt.Printf("i=%d\n"this.i)
14 }
15  
16 func (this V) PutJ() {
17     fmt.Printf("j=%d\n"this.j)
18 }

意图很明显,我是想通过unsafe包来实现对V的成员i和j赋值,然后通过PutI()和PutJ()来打印观察输出结果。

以下是main.go源代码:

01 package main
02  
03 import (
04     "poit/p"
05     "unsafe"
06 )
07  
08 func main() {
09     var v *p.V = new(p.V)
10     var i *int32 = (*int32)(unsafe.Pointer(v))
11     *i = int32(98)
12     var j *int64 = (*int64)(unsafe.Pointer(uintptr(unsafe.Pointer(v)) + uintptr(unsafe.Sizeof(int32(0)))))
13     *j = int64(763)
14     v.PutI()
15     v.PutJ()
16 }

当然会有些限制,比如需要知道结构体V的成员布局,要修改的成员大小以及成员的偏移量。我们的核心思想就是:结构体的成员在内存中的分配是一段连续的内存,结构体中第一个成员的地址就是这个结构体的地址,您也可以认为是相对于这个结构体偏移了0。相同的,这个结构体中的任一成员都可以相对于这个结构体的偏移来计算出它在内存中的绝对地址。

具体来讲解下main方法的实现:

1 var v *p.V = new(p.V)

new是golang的内置方法,用来分配一段内存(会按类型的零值来清零),并返回一个指针。所以v就是类型为p.V的一个指针。

1 var i *int32 = (*int32)(unsafe.Pointer(v))

将指针v转成通用指针,再转成int32指针。这里就看到了unsafe.Pointer的作用了,您不能直接将v转成int32类型的指针,那样将会panic。刚才说了v的地址其实就是它的第一个成员的地址,所以这个i就很显然指向了v的成员i,通过给i赋值就相当于给v.i赋值了,但是别忘了i只是个指针,要赋值得解引用。

1 *i = int32(98)

现在已经成功的改变了v的私有成员i的值,好开心^_^

但是对于v.j来说,怎么来得到它在内存中的地址呢?其实我们可以获取它相对于v的偏移量(unsafe.Sizeof可以为我们做这个事),但我上面的代码并没有这样去实现。各位别急,一步步来。

1 var j *int64 = (*int64)(unsafe.Pointer(uintptr(unsafe.Pointer(v)) + uintptr(unsafe.Sizeof(int32(0)))))

其实我们已经知道v是有两个成员的,包括i和j,并且在定义中,i位于j的前面,而i是int32类型,也就是说i占4个字节。所以j是相对于v偏移了4个字节。您可以用uintptr(4)或uintptr(unsafe.Sizeof(int32(0)))来做这个事。unsafe.Sizeof方法用来得到一个值应该占用多少个字节空间。注意这里跟C的用法不一样,C是直接传入类型,而golang是传入值。之所以转成uintptr类型是因为需要做指针运算。v的地址加上j相对于v的偏移地址,也就得到了v.j在内存中的绝对地址,别忘了j的类型是int64,所以现在的j就是一个指向v.j的指针,接下来给它赋值:

1 *j = int64(763)

好吧,现在貌视一切就绪了,来打印下:

1 v.PutI()
2 v.PutJ()

如果您看到了正确的输出,那恭喜您,您做到了!

但是,别忘了上面的代码其实是有一些问题的,您发现了吗?

在p目录下新建w.go文件,代码如下:

01 package p
02  
03 import (
04     "fmt"
05     "unsafe"
06 )
07  
08 type W struct {
09     b byte
10     i int32
11     j int64
12 }
13  
14 func init() {
15     var w *W = new(W)
16     fmt.Printf("size=%d\n", unsafe.Sizeof(*w))
17 }

需要修改main.go的代码吗?不需要,我们只是来测试一下。w.go里定义了一个特殊方法init,它会在导入p包时自动执行,别忘了我们有在main.go里导入p包。每个包都可定义多个init方法,它们会在包被导入时自动执行(在执行main方法前被执行,通常用于初始化工作),但是,最好在一个包中只定义一个init方法,否则您或许会很难预期它的行为)。我们来看下它的输出:

1 size=16

等等,好像跟我们想像的不一致。来手动计算一下:b是byte类型,占1个字节;i是int32类型,占4个字节;j是int64类型,占8个字节,1+4+8=13。这是怎么回事呢?这是因为发生了对齐。在struct中,它的对齐值是它的成员中的最大对齐值。每个成员类型都有它的对齐值,可以用unsafe.Alignof方法来计算,比如unsafe.Alignof(w.b)就可以得到b在w中的对齐值。同理,我们可以计算出w.b的对齐值是1,w.i的对齐值是4,w.j的对齐值也是4。如果您认为w.j的对齐值是8那就错了,所以我们前面的代码能正确执行(试想一下,如果w.j的对齐值是8,那前面的赋值代码就有问题了。也就是说前面的赋值中,如果v.j的对齐值是8,那么v.i跟v.j之间应该有4个字节的填充。所以得到正确的对齐值是很重要的)。对齐值最小是1,这是因为存储单元是以字节为单位。所以b就在w的首地址,而i的对齐值是4,它的存储地址必须是4的倍数,因此,在b和i的中间有3个填充,同理j也需要对齐,但因为i和j之间不需要填充,所以w的Sizeof值应该是13+3=16。如果要通过unsafe来对w的三个私有成员赋值,b的赋值同前,而i的赋值则需要跳过3个字节,也就是计算偏移量的时候多跳过3个字节,同理j的偏移可以通过简单的数学运算就能得到。

比如也可以通过unsafe来灵活取值:

01 package main
02  
03 import (
04     "fmt"
05     "unsafe"
06 )
07  
08 func main() {
09     var b []byte = []byte{'a''b''c'}
10     var c *byte = &b[0]
11     fmt.Println(*(*byte)(unsafe.Pointer(uintptr(unsafe.Pointer(c)) + uintptr(1))))
12 }

关于填充,FastCGI协议就用到了。

<think>好的,用户想了解Golangunsafe.Sizeof的用法和引入目的。首先,我需要回忆一下这个函数的基本信息。根据引用[4],unsafe.Sizeof返回的是类型的大小,以字节为单位,但不会计算可能引用的内存,比如切片的话,返回的是描述符的大小,而不是底层数组的大小。 用户可能需要知道这个函数的使用场景,比如在需要精确控制内存布局或者进行底层操作时。比如在处理结构体内存对齐,或者与C语言交互的时候,知道每个类型的大小很重要。引用[2]和[3]中的例子显示,切片的大小是24字节,这可能是因为切片的结构包含指针、长度和容量。 然后要解释引入的目的。根据引用[4]和[5],这个函数属于unsafe包,所以主要用于低级别的编程,比如优化内存使用或与外部系统交互时。比如结构体的字段顺序不同可能导致大小不同,使用unsafe.Sizeof可以查看每个字段的大小,帮助调整结构体布局减少内存占用。 接下来要考虑用户可能的疑问,比如为什么字符串的Sizeof返回的是16字节(在64位系统)。根据引用[5],字符串结构体包含Data和Len两个字段,各占8字节和int的大小,所以总共是16字节。需要说明这点,避免用户误解为字符串内容的大小。 还要提醒用户注意使用unsafe包的注意事项,比如不同平台的结果可能不同,比如int的大小取决于系统位数。此外,频繁使用unsafe可能导致代码不可移植或存在安全风险,需要谨慎使用。 最后,生成相关问题时要覆盖常见的使用场景、注意事项、与其他函数的对比,以及实际应用例子。比如性能优化、结构体内存对齐、与C交互的例子等,帮助用户进一步探索。</think>### Golangunsafe.Sizeof的用法及引入目的 #### 一、基本用法 `unsafe.Sizeof` 是Go语言 `unsafe` 包提供的函数,用于**获取变量或类型的底层内存占用大小(以字节为单位)**。其语法为: ```go unsafe.Sizeof(x) // 返回uintptr类型的值 ``` **特点**: 1. **类型描述符大小**:对于引用类型(如切片、字符串、映射),返回的是其**描述符**的大小,而非实际数据占用的内存[^2][^4]。 2. **编译期计算**:结果在编译时确定,无需运行时分配内存[^4]。 3. **内存对齐影响**:结果包含因内存对齐产生的填充字节[^4]。 #### 二、代码示例 ```go package main import ( "fmt" "unsafe" ) type Data struct { a int32 // 4字节 b bool // 1字节(可能填充为4字节) } func main() { var s string var slice []int data := Data{} fmt.Println("string类型大小:", unsafe.Sizeof(s)) // 输出16(64位系统) fmt.Println("切片描述符大小:", unsafe.Sizeof(slice)) // 输出24 fmt.Println("结构体Data大小:", unsafe.Sizeof(data)) // 输出8(含对齐填充) } ``` #### 三、核心应用场景 1. **内存布局优化** 通过分析结构体字段的内存对齐情况,调整字段顺序以减少填充空间: ```go type A struct { // 总大小12字节 a bool // 1字节 + 3填充 b int32 // 4字节 c bool // 1字节 + 3填充 } type B struct { // 总大小8字节 a bool // 1字节 c bool // 1字节 + 2填充 b int32 // 4字节 } ``` 2. **C语言交互** 在调用C函数时,需确保Go类型与C结构体大小一致: ```go /* #include <stdint.h> struct CData { int32_t num; char flag; }; */ import "C" type GoData struct { num int32 flag byte } func validate() { if unsafe.Sizeof(GoData{}) != C.sizeof_struct_CData { panic("内存布局不匹配") } } ``` 3. **底层系统编程** 例如实现自定义内存池时,精确计算对象内存需求。 #### 四、引入目的 1. **提供底层内存控制能力** 允许开发者绕过Go类型安全限制,直接操作内存,用于性能关键场景[^4]。 2. **兼容性需求** 在与硬件交互或实现系统级功能(如操作系统内核、驱动开发)时,需精确控制内存布局[^1]。 3. **性能分析工具开发** 帮助开发者分析程序内存占用,例如实现内存分析器时统计对象大小。 #### 五、注意事项 1. **平台依赖性** `int` 类型大小随系统架构变化(32位系统4字节,64位系统8字节)。 2. **非安全操作** `unsafe` 包可能引发内存错误,需通过 `go vet` 静态检查: ```bash go vet -unsafeptr ./... ``` 3. **替代方案优先** 常规开发应优先使用 `reflect.Type.Size()`,仅在必要时使用 `unsafe.Sizeof`。
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值