go 切片 转字符串_研究这么细致:字节切片相关的编译器漏洞和标准库设计失误...

假如一个类型MyByte定义如下,如何将一个[]MyByte切片值和一个[]byte切片值互相转换为对方的类型?

c2d1248adcfb200572805ed9a76fe7cf.png

如上例所示,在Go中,这两个类型的值之间的类型转换是非法的。因为Go规定两个切片只有在它们的类型的底层类型(underlying type)相同的情况下才能转换到对方的类型。而一个非定义类型(undefined type)的底层类型为此非定义类型本身。类型[]MyByte和[]byte均为非定义类型,所以它们的底层类型不同,从而它们的值也就不能转换到对方的类型。

难道真没有办法实现它们之间的转换了?有,而且有好几种。第一种方法是使用类型非安全指针来实现双向转换,另外两种方法只能实现单向转换。另外的这两种方法要么利用了编译器的漏洞,要么利用了reflect标准库包的设计失误。

先看使用类型非安全指针的实现。

5228dfc54ec963ae7f58da1e481ba6ad.png

在使用类型非安全指针的实现中,转换结果和原切片共享底层元素。

利用标准编译器的bug,我们可以将一个[]byte切片值转换为类型[]MyByte。转换结果和原切片不共享底层元素。

499234fcc31abd2a5ebca480c4c6d2c9.png

Go白皮书提到一个字节切片可以转换为一个字符串,反之亦然。但是什么是字节切片类型呢?底层类型为[]byte的切片类型还是元素类型的底层类型为byte的切片类型?如果字节切片类型定义为元素类型的底层类型为byte的切片类型,则[]MyByte和[]byte都可称为字节切片类型。如果字节切片类型定义为底层类型为[]byte的切片类型,则只有[]byte可以被称为字节切片类型。我们认为标准编译器采纳了底层类型为[]byte的切片类型才称为字节切片这一定义,因为下面这个程序使用标准编译器是编译不过的。

dcb2ddcceb4e896fed72134009fb4ae8.png

但是,标准编译器(v1.12)却认为转换[]MyByte("abc")是合法的。这显然是一个漏洞。

对于码点切片(rune slice)和字符串之间的转换,同样的情况也存在。

对于gccgo编译器来说,此漏洞是对称的,因而更严重。此更严重的漏洞使得上述两种类型的值之间的转换是双向有效的。比如,下面这段代码使用gccgo(v8.0)编译是没问题的。

be896e6a42c05a15dc838b90f9a22520.png

事实上,gccgo编译器在内置copy和append函数的实现中也存在着同样的漏洞。

91669e5dbaa41ef71f24a5542927b3f2.png

第三种方法利用了reflect标准库包的设计失误。此失误导致将[]MyByte值单向转换为类型[]byte是可行的,虽然这违反了Go类型系统确定的规则。使用第三种方法得到的结果切片和原切片共享底层元素。

aa5345d2972f70b53d7f6da5d496dedf.png

喜欢本文的朋友,欢迎关注“Go语言中文网”:

ca71a5207637dcfcf5eccf86eb78611e.png

本文作者:老貘,Go101作者

原文链接:https://mp.weixin.qq.com/s/5fmnBu2CjgZgY4TTk80B0w

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值