百度360必应搜狗淘宝本站头条
当前位置:网站首页 > 编程网 > 正文

unsafe—内存操作 un-buffered 内存

yuyutoo 2024-10-11 21:40 5 浏览 0 评论

unsafe包含绕过Go程序类型安全的操作。

导入unsafe的包可能不可移植,并且不受Go 1兼容性指南的保护。

unsafe.Pointer 四种特殊操作

Pointer表示指向任意类型的指针,Pointer类型有四种特殊操作不适用于其他类型:

  • 任何类型的指针值都可以转换为Pointer。
  • Pointer可以被转换为任何类型的指针值。
i:=unsafe.Pointer(new(interface{}))
*(*int)(i)=2
fmt.Println(*(*int)(i))
//输出:
3
  • uintptr可以转换为Pointer。
  • Pointer可以转换为uintptr。

因此Pointer可以无视类型系统,读写任意内存,应该特别小心使用。

unsafe.Pointer 六种使用模式

涉及Pointer的以下模式有效:(不使用这些模式的代码目前可能无效或将来无效)

即使是下面的有效模式也有重要的警告。

运行go vet可以帮助找到不符合这些模式的Pointer的使用,但是没有找到不代表代码一定有效

(1)将*T1指针转换为*T2。


如果T2不大于T1并且两者共享等效的内存布局,则此转换允许将一种类型的数据重新解释为另一种类型的数据。

例如math.Float64bits的实现:

func Float64bits(f float64) uint64 {
 return *(*uint64)(unsafe.Pointer(&f))
}

(2)将*Pointer 转换为*uintptr(不转回 *Pointer)


将Pointer转换为uintptr会产生指向内存地址的整数值,这种uintptr的通途通常是用来打印。

通常情况下将uintptr转换回Pointer是无效的,因为uintptr是一个整数,不是引用类型。

将Pointer转换为uintptr会创建一个没有指针语义的整数值。

即使uintptr保存某个对象的地址,如果对象移动,垃圾收集器也不会更新该uintptr的值,uintptr也不会保持该对象不被回收。

其余模式枚举了从uintptr到Pointer的唯一有效转换。

(3)使用算术将Pointer转换为uintptr并转回Pointer


如果p指向已分配的对象,则可以通过转换为uintptr,添加偏移量以及转换回指针来推进对象,如:

p = unsafe.Pointer(uintptr(p) + offset)

此模式最常见的用途是访问结构中的字段或数组的元素:

//等效于 f := unsafe.Pointer(&s.f)
f := unsafe.Pointer(uintptr(unsafe.Pointer(&s)) + unsafe.Offsetof(s.f))
//等效于 e := unsafe.Pointer(&x[i])
e := unsafe.Pointer(uintptr(unsafe.Pointer(&x[0])) + i*unsafe.Sizeof(x[0]))

以这种方式添加和减去指针的偏移量都是有效的。

在所有情况下,结果必须继续指向原始分配的对象,否则:

var a = "hello"
b := &a
fmt.Println(*(*string)(unsafe.Pointer(^^uintptr(unsafe.Pointer(b)))),":",unsafe.Pointer(^uintptr(unsafe.Pointer(b))))
fmt.Println(*(*string)(unsafe.Pointer(^uintptr(unsafe.Pointer(b)))))
`输出:`
hello : 0xffffff3ffffefe1f
unexpected fault address 0xffffff3ffffefe1f
fatal error: fault
[signal SIGSEGV: segmentation violation code=0x1 addr=0xffffff3ffffefe1f pc=0x1091f4b]
// 可以看出第一条可以正常打印,第二条打印语句失败。

与C不同,将指针推进到原始分配的末尾是无效的,如:

var s typeName
end = unsafe.Pointer(uintptr(unsafe.Pointer(&s)) + unsafe.Sizeof(s))
fmt.Println("end:",*(*string)(end))
`输出:`
panic: runtime error: invalid memory address or nil pointer dereference

在分配空间之外的端点是无效的,如:

n := 2
b := make([]byte, n)
fmt.Println(len(b))
end := unsafe.Pointer(uintptr(unsafe.Pointer(&b[0])) + uintptr(n))
fmt.Println("end:", (*reflect.SliceHeader)(end).Len)
`输出:`
2
end: 734649689214812160

注意?: unsafe.Pointer和uintptr相互转换必须出现在一个表达式中,它们之间只有介入算术,在转换回Pointer之前,uintptr不能存储在变量中,如:

u := uintptr(p)
p = unsafe.Pointer(u + offset)

请注意,指针必须指向已分配的对象,因此它不会是nil,转换nil指针无效,如:

u := unsafe.Pointer(nil)
p := unsafe.Pointer(uintptr(u) + offset)

(4)在调用syscall.Syscall时将Pointer转换为uintptr


syscall中的Syscall函数将它们的uintptr参数直接传递给操作系统,然后操作系统可能会根据调用的详细信息将其中的一些重新解释为指针。

也就是说,系统调用实现隐式地将某些参数从uintptr转换回指针。

如果必须将指针参数转换为uintptr以用作参数,则该转换必须出现在调用表达式本身中:

syscall.Syscall(SYS_READ, uintptr(fd), uintptr(unsafe.Pointer(p)), uintptr(n))
//实现在:go1.12beta2/src/syscall/asm_linux_amd64.s

编译器将被引用的已经分配的对象保留,并且在调用完成之前不会移动,来处理在汇编中实现的函数调用的参数列表中将Pointer转换为uintptr的参数,即使仅从对象的类型中看起来在调用期间不再需要该对象。

要使编译器识别此模式,转换必须出现在参数列表中:

例如:

u := uintptr(unsafe.Pointer(p))
syscall.Syscall(SYS_READ, uintptr(fd), u, uintptr(n))
//在系统调用期间uintptr隐式转换回Pointer之前,uintptr不能存储在变量中

(5)将reflect.Value.Pointer或reflect.Value.UnsafeAddr的结果从uintptr转换为Pointer


reflect的名为Pointer和UnsafeAddr的方法返回类型是uintptr而不是unsafe.Pointer,是为了防止调用者在没有先导入unsafe包的情况下将结果更改为任意类型。

但是,这意味着结果很脆弱,并且必须像下面所示在调用后在同一表达式中立即转换为Pointer:

p := (*int)(unsafe.Pointer(reflect.ValueOf(new(int)).Pointer()))

与上述情况一样,在转换之前存储结果无效:

u := reflect.ValueOf(new(int)).Pointer()
p := (*int)(unsafe.Pointer(u))

(6)reflect.SliceHeader或reflect.StringHeader Data字段与Pointer相互转换


与(5)一样,反射数据结构SliceHeader和StringHeader将字段Data声明为uintptr,防止调用者在没有先导入unsafe包的情况下将结果更改为任意类型。

但是,这意味着SliceHeader和StringHeader仅在解释实际切片或字符串值的内容时有效。

var s = "hello"
var a = "你好"
hdr := (*reflect.StringHeader)(unsafe.Pointer(&s))
hdr.Data = (*reflect.StringHeader)(unsafe.Pointer(&a)).Data
hdr.Len = len(a) //长度必须不小于a,否则会截断
fmt.Printf("s:%v,len(s):%v\na:%v,len(a):%v\t", s, len(s), a, len(a))
`输出:`
s:你好,len(s):6
a:你好,len(a):6
//该种方法可以直接绕过类型系统,直接修改底层 Data 地址,
//避免在长字符串赋值时大量的内存拷贝,毕竟 Data 才8个字节。

上面例子中,hdr.Data实际上是一种引用字符串头中的底层指针uintprt。

通常,reflect.SliceHeader和reflect.StringHeader只能用作*reflect.SliceHeader和*reflect.StringHeader指向实际的切片或字符串,而不是普通的结构,程序不应声明或分配这些结构类型的变量。

例如:

var a = "你好"
var hdr reflect.StringHeader
hdr.Data = (*reflect.StringHeader)(unsafe.Pointer(&a)).Data
hdr.Len = len(a)
s:= *(*string)(unsafe.Pointer(&hdr)) //&a可能已经丢失

tips:类型声明和类型别名区别

package main
import "fmt"
type A = int
type I int
func main() {
 v := 100
 var a A = v // 不报错
 var i I = v // 编译报错,`cannot use v (type int) as type I in assignment`
 //但是可以强转,temp:=(I)(v) 
 //或 I--->int,
 //var v I
 //temp:=(int)(v)
 fmt.Println(a,i)
}

相关推荐

Mysql和Oracle实现序列自增(oracle创建序列的sql)

Mysql和Oracle实现序列自增/*ORACLE设置自增序列oracle本身不支持如mysql的AUTO_INCREMENT自增方式,我们可以用序列加触发器的形式实现,假如有一个表T_WORKM...

关于Oracle数据库12c 新特性总结(oracle数据库19c与12c)

概述今天主要简单介绍一下Oracle12c的一些新特性,仅供参考。参考:http://docs.oracle.com/database/121/NEWFT/chapter12102.htm#NEWFT...

MySQL CREATE TABLE 简单设计模板交流

推荐用MySQL8.0(2018/4/19发布,开发者说同比5.7快2倍)或同类型以上版本....

mysql学习9:创建数据库(mysql5.5创建数据库)

前言:我也是在学习过程中,不对的地方请谅解showdatabases;#查看数据库表createdatabasename...

MySQL面试题-CREATE TABLE AS 与CREATE TABLE LIKE的区别

执行"CREATETABLE新表ASSELECT*FROM原表;"后,新表与原表的字段一致,但主键、索引不会复制到新表,会把原表的表记录复制到新表。...

Nike Dunk High Volt 和 Bright Spruce 预计将于 12 月推出

在街上看到的PandaDunk的超载可能让一些球鞋迷们望而却步,但Dunk的浪潮仍然强劲,看不到尽头。我们看到的很多版本都是为女性和儿童制作的,这种新配色为后者引入了一种令人耳目一新的新选择,而...

美国多功能舰载雷达及美国海军舰载多功能雷达系统技术介绍

多功能雷达AN/SPY-1的特性和技术能力,该雷达已经在美国海军服役了30多年,其修改-AN/SPY-1A、AN/SPY-1B(V)、AN/SPY-1D、AN/SPY-1D(V),以及雷神...

汽车音响怎么玩,安装技术知识(汽车音响怎么玩,安装技术知识视频)

全面分析汽车音响使用或安装技术常识一:主机是大多数人最熟习的音响器材,有关主机的各种性能及规格,也是耳熟能详的事,以下是一些在使用或安装时,比较需要注意的事项:LOUDNESS:几年前的主机,此按...

【推荐】ProAc Response系列扬声器逐个看

有考牌(公认好声音)扬声器之称ProAcTablette小音箱,相信不少音响发烧友都曾经,或者现在依然持有,正当大家逐渐掌握Tablette的摆位设定与器材配搭之后,下一步就会考虑升级至表现更全...

#本站首晒# 漂洋过海来看你 — BLACK&DECKER 百得 BDH2000L无绳吸尘器 开箱

作者:初吻给了烟sco混迹张大妈时日不短了,手没少剁。家里有了汪星人,吸尘器使用频率相当高,偶尔零星打扫用卧式的实在麻烦(汪星人:你这分明是找借口,我掉毛是满屋子都有,铲屎君都是用卧式满屋子吸的,你...

专题|一个品牌一件产品(英国篇)之Quested(罗杰之声)

Quested(罗杰之声)代表产品:Q212FS品牌介绍Quested(罗杰之声)是录音监听领域的传奇品牌,由英国录音师RogerQuested于1985年创立。在成立Quested之前,Roger...

常用半导体中英对照表(建议收藏)(半导体英文术语)

作为一个源自国外的技术,半导体产业涉及许多英文术语。加之从业者很多都有海外经历或习惯于用英文表达相关技术和工艺节点,这就导致许多英文术语翻译成中文后,仍有不少人照应不上或不知如何翻译。为此,我们整理了...

Fyne Audio F502SP 2.5音路低音反射式落地音箱评测

FyneAudio的F500系列,有新成员了!不过,新成员不是新的款式,却是根据原有款式提出特别版。特别版产品在原有型号后标注了SP字样,意思是SpecialProduction。Fyne一共推出...

有哪些免费的内存数据库(In-Memory Database)

以下是一些常见的免费的内存数据库:1.Redis:Redis是一个开源的内存数据库,它支持多种数据结构,如字符串、哈希表、列表、集合和有序集合。Redis提供了快速的读写操作,并且支持持久化数据到磁...

RazorSQL Mac版(SQL数据库查询工具)

RazorSQLMac特别版是一款看似简单实则功能非常出色的SQL数据库查询、编辑、浏览和管理工具。RazorSQLformac特别版可以帮你管理多个数据库,支持主流的30多种数据库,包括Ca...

取消回复欢迎 发表评论: