qidao123.com技术社区-IT企服评测·应用市场

标题: 关于切片参数传递的问题 [打印本页]
作者: 盛世宏图    时间: 2023-5-29 12:13
标题: 关于切片参数传递的问题
前言：在 Golang 中函数之间传递变量时总是以值的方式传递的，无论是 int,string,bool,array 这样的内置类型（或者说原始的类型），还是 slice,channel,map 这样的引用类型，在函数间传递变量时，都是以值的方式传递，也就是说传递的都是值的副本。
在使用ioutil的ReadAll方法时查看了其内部实现如下，这让我很痛苦，不明白为什么要这样写。下面我们就来一探究竟。
  1. func ReadAll(r Reader) ([]byte, error) {
  2.   b := make([]byte, 0, 512)
  3.   for {
  4.     if len(b) == cap(b) {
  5.       // Add more capacity (let append pick how much).
  6.       b = append(b, 0)[:len(b)]
  7.     }
  8.     n, err := r.Read(b[len(b):cap(b)])
  9.     b = b[:len(b)+n]
  10.     if err != nil {
  11.       if err == EOF {
  12.         err = nil
  13.       }
  14.       return b, err
  15.     }
  16.   }
  17. }
复制代码
讨论这个问题之前先看一下标准库中切片的内部结构
  1. type SliceHeader struct {
  2.     Data uintptr
  3.     Len int
  4.     Cap int
  5. }
复制代码
由切片的结构定义可知，切片的结构由三个信息组成：
最开始我想将一个文件内容读取到内存，我想到的操作是这样的
  1. func f1() {
  2.   f, _ := os.Open("F:\\hello.txt")
  3.   b := make([]byte, 0, 512)
  5.   read, err := f.Read(b)
  6.   if err != nil {
  7.     return
  8.   }
  9.   fmt.Println(read)//打印0
  10.   fmt.Println(b)//打印[]
  11. }
复制代码
为什么会出现这种情况呢？我们点开f.Read方法看到 Read reads up to len(b) bytes from the File. 读取len(b) 长度byte的数据到b，那现在len(b)=0就一个字节都不会读取了。这时候你就会明白为什么上面标准库中ReadAll参数为什么要用b[len(b):cap(b)] （对切片的任何操作都会复制一个切片b[len(b):cap(b)] 操作对b切片结构体进行了复制，产生了新的切片并且新切片的len=cap=512，这也就解释了为什么数据能读入b[len(b):cap(b)] 了）。观察下面代码：
  1. func f2() {
  2.   f, _ := os.Open("F:\\hello.txt")
  3.   b := make([]byte, 0, 512)
  4.   //
  5.   c := b[len(b):cap(b)]
  6.   
  7.   fmt.Println(len(c))//512
  8.   fmt.Println(cap(c))//512
  9.   
  10.   read, err := f.Read(c)
  12.   if err != nil {
  13.     return
  14.   }
  15.   
  16.   fmt.Println(read)//512
  17.   fmt.Println(b)//[]
  18.   fmt.Println(b[:cap(b)])//[...] 打印出了数据
  19.   fmt.Println(c)//[...]打印出了和上面相同的数据
  20. }
复制代码
这就奇怪了不是说是引用传递吗，为什么现在c作为参数传进Read方法后值被改变了。这就需要看切片的内部结构了，切片本身并不承载数据。它只是一个有三个属性的结构体，传递时，就会把这个结构体的三个属性复制一份进行传递，而且复制后头指针指向相同的地址。另外还有一个重要的概念：对切片的任何操作都会复制一个切片（并不是复制切片数据，二十切片的结构体，他们指向的内存区域还是一样的），也就是复制上面说的三个属性。读取切片类型数据的另一个重要属性就是len，len是多少那就会读多少数据，虽然由b衍生出的其他结构体他们的头指针的地址是一样的，后面的数据也是一样的，但是如果你的len是0那头指针后面的数据一个byte也不属于你，也就读不出来，你有多少的len那么头指针后就有多少数据属于你。
这也就解释了为什么b始终是空的了，虽然你的头指针后面有数据被填充了，但是你的len始终是0那么数据都与你无关也是就是空了。c切片的头指针与b相同但是len和cap不同都是512。所以就能读取出头指针后512bytes的数据了。
另外还要讨论切片的扩容机制，当切片的len=cap时使用append方法会触发内置的扩容机制cap会扩大。我就有些疑问为什么是b = append(b, 0)[:len(b)] ，因为使用append函数仅仅是为了触发扩容，添加进去的0是无意义的，原来len=512现在就变成了513，再往后填充数据就会导致与原数据不一致的问题，因此要把添加的byte去除。
  1. func f3() {
  2.   f, _ := os.Open("F:\\hello.txt")
  3.   b := make([]byte, 0, 512)
  4.   for {
  5.     if len(b) == cap(b) {
  6.       // Add more capacity (let append pick how much).
  7.       //b = append(b, 0)[:len(b)]
  8.       b = append(b, 0)
  9.     }
  10.     n, err := f.Read(b[len(b):cap(b)])
  12.     b = b[:len(b)+n]
  13.     if err != nil {
  14.       if err == io.EOF {
  15.         err = nil
  16.       }
  17.       break
  18.     }
  19.   }
  20.   fmt.Println(string(b))
  21. }
复制代码
可以看到使用b = append(b, 0) 会导致部分数据失真。


免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！



欢迎光临 qidao123.com技术社区-IT企服评测·应用市场 (https://dis.qidao123.com/) Powered by Discuz! X3.4