Go 语言中切片的三种特殊状态

更新时间：2023年06月15日 10:56:19 作者：老錢

我们今天要来讲一个非常细节的小知识，这个知识被大多数 Go 语言的开发者无视了，它就是切片的三种特殊状态 —— 「零切片」、「空切片」和「nil 切片」，感兴趣的朋友跟随小编一起看看吧

我们今天要来讲一个非常细节的小知识，这个知识被大多数 Go 语言的开发者无视了，它就是切片的三种特殊状态 —— 「零切片」、「空切片」和「nil 切片」。

切片被视为 Go 语言中最为重要的基础数据结构，使用起来非常简单，有趣的内部结构让它成了 Go 语言面试中最为常见的考点。切片的底层是一个数组，切片的表层是一个包含三个变量的结构体，当我们将一个切片赋值给另一个切片时，本质上是对切片表层结构体的浅拷贝。结构体中第一个变量是一个指针，指向底层的数组，另外两个变量分别是切片的长度和容量。

type slice struct {
  array unsafe.Pointer
  length int
  capcity int
}

我们今天要讲的特殊状态之一「零切片」其实并不是什么特殊的切片，它只是表示底层数组的二进制内容都是零。比如下面代码中的 s 变量就是一个「零切片」

var s = make([]int, 10)
fmt.Println(s)
------------
[0 0 0 0 0 0 0 0 0 0]

如果是一个指针类型的切片，那么底层数组的内容就全是 nil

var s = make([]*int, 10)
fmt.Println(s)
------------
[<nil> <nil> <nil> <nil> <nil> <nil> <nil> <nil> <nil> <nil>]

零切片还是比较易于理解的，这部分我也就不再以钻牛角尖的形式继续自我拷问。

下面我们要引入「空切片」和「nil 切片」，在理解它们的区别之前我们先看看一个长度为零的切片都有那些形式可以创建出来

var s1 []int
var s2 = []int{}
var s3 = make([]int, 0)
// new 函数返回是指针类型，所以需要使用 * 号来解引用
var s4 = *new([]int)
fmt.Println(len(s1), len(s2), len(s3), len(s4))
fmt.Println(cap(s1), cap(s2), cap(s3), cap(s4))
fmt.Println(s1, s2, s3, s4)
----------------
0 0 0 0
0 0 0 0
[] [] [] []

上面这四种形式从输出结果上来看，似乎一摸一样，没区别。但是实际上是有区别的，我们要讲的两种特殊类型「空切片」和「 nil 切片」，就隐藏在上面的四种形式之中。

我们如何来分析三面四种形式的内部结构的区别呢？接下里要使用到 Go 语言的高级内容，通过 unsafe.Pointer 来转换 Go 语言的任意变量类型。

因为切片的内部结构是一个结构体，包含三个机器字大小的整型变量，其中第一个变量是一个指针变量，指针变量里面存储的也是一个整型值，只不过这个值是另一个变量的内存地址。我们可以将这个结构体看成长度为 3 的整型数组 [3]int。然后将切片变量转换成 [3]int。

var s1 []int
var s2 = []int{}
var s3 = make([]int, 0)
var s4 = *new([]int)
var a1 = *(*[3]int)(unsafe.Pointer(&s1))
var a2 = *(*[3]int)(unsafe.Pointer(&s2))
var a3 = *(*[3]int)(unsafe.Pointer(&s3))
var a4 = *(*[3]int)(unsafe.Pointer(&s4))
fmt.Println(a1)
fmt.Println(a2)
fmt.Println(a3)
fmt.Println(a4)
---------------------
[0 0 0]
[824634199592 0 0]
[824634199592 0 0]
[0 0 0]

从输出中我们看到了明显的神奇的让人感到意外的难以理解的不一样的结果。

其中输出为 [0 0 0] 的 s1 和 s4 变量就是「 nil 切片」，s2 和 s3 变量就是「空切片」。824634199592 这个值是一个特殊的内存地址，所有类型的「空切片」都共享这一个内存地址。

var s2 = []int{}
var s3 = make([]int, 0)
var a2 = *(*[3]int)(unsafe.Pointer(&s2))
var a3 = *(*[3]int)(unsafe.Pointer(&s3))
fmt.Println(a2)
fmt.Println(a3)
var s5 = make([]struct{ x, y, z int }, 0)
var a5 = *(*[3]int)(unsafe.Pointer(&s5))
fmt.Println(a5)
--------
[824634158720 0 0]
[824634158720 0 0]
[824634158720 0 0]

用图形来表示「空切片」和「 nil 切片」如下

空切片指向的 zerobase 内存地址是一个神奇的地址，从 Go 语言的源代码中可以看到它的定义

//// runtime/malloc.go
// base address for all 0-byte allocations
var zerobase uintptr
// 分配对象内存
func mallocgc(size uintptr, typ *_type, needzero bool) unsafe.Pointer {
	...
	if size == 0 {
		return unsafe.Pointer(&zerobase)
	}
    ...
}
//// runtime/slice.go
// 创建切片
func makeslice(et *_type, len, cap int) slice {
  ...
     p := mallocgc(et.size*uintptr(cap), et, true)
	 return slice{p, len, cap}
}

最后一个问题是：「 nil 切片」和「空切片」在使用上有什么区别么？

答案是完全没有任何区别！No！不对，还有一个小小的区别！请看下面的代码

package main
import "fmt"
func main() {
	var s1 []int
	var s2 = []int{}
	fmt.Println(s1 == nil)
	fmt.Println(s2 == nil)
	fmt.Printf("%#v\n", s1)
	fmt.Printf("%#v\n", s2)
}
-------
true
false
[]int(nil)
[]int{}

所以为了避免写代码的时候把脑袋搞昏的最好办法是不要创建「空切片」，统一使用「 nil 切片」，同时要避免将切片和 nil 进行比较来执行某些逻辑。这是官方的标准建议。

The former declares a nil slice value, while the latter is non-nil but zero-length. They are functionally equivalent—their len and cap are both zero—but the nil slice is the preferred style.

「空切片」和「 nil 切片」有时候会隐藏在结构体中，这时候它们的区别就被太多的人忽略了，下面我们看个例子

type Something struct {
	values []int
}
var s1 = Something{}
var s2 = Something{[]int{}}
fmt.Println(s1.values == nil)
fmt.Println(s2.values == nil)
--------
true
false

可以发现这两种创建结构体的结果是不一样的！

「空切片」和「 nil 切片」还有一个极为不同的地方在于 JSON 序列化

type Something struct {
	Values []int
}
var s1 = Something{}
var s2 = Something{[]int{}}
bs1, _ := json.Marshal(s1)
bs2, _ := json.Marshal(s2)
fmt.Println(string(bs1))
fmt.Println(string(bs2))
---------
{"Values":null}
{"Values":[]}

Ban! Ban! Ban! 它们的 json 序列化结果居然也不一样！

到此这篇关于Go 语言中切片的三种特殊状态的文章就介绍到这了,更多相关Go 语言切片内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！

您可能感兴趣的文章:

Go
切片

详解Go语言中的iface和eface
Go 是 Google 开发的一种编译型、并发型，并具有垃圾回收功能的编程语言，这篇文章主要介绍了Go语言中的iface和eface,需要的朋友可以参考下
2023-07-07
Golang 断言与闭包使用解析
这篇文章主要介绍了Golang 断言与闭包使用解析，Go中的断言用于判断变量的类型，更多相关内容需要的朋友可以参考一下
2022-07-07
从入门到精通:Go语言XML数据解析指南
Go语言的XML包提供了强大的数据解析功能,让你轻松处理各种XML格式的数据,这个指南将带你深入了解如何使用Go语言的XML包,快速上手XML数据解析,准备好开启XML解析之旅了吗?Let's Go!
2024-03-03
Go语言中使用gorm小结
这篇文章主要给大家介绍了Go语言中如何使用gorm，文中介绍的很详细，有需要的朋友们可以参考借鉴，下面来一起看看吧。
2016-12-12
Go内存节省技巧简单实现方法
这篇文章主要为大家介绍了Go内存节省技巧简单实现方法详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪
2023-01-01
浅谈Go语言的error类型
这篇文章主要介绍了浅谈Go语言的error类型，具有很好的参考价值，希望对大家有所帮助。一起跟随小编过来看看吧
2020-12-12
Go语言基础go install命令使用示例详解
这篇文章主要为大家介绍了Go语言基础go install命令的使用示例详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪
2021-11-11
使用Go语言实现发送HTTP请求并给GET添加参数
在开发Web应用程序时，我们经常需要向服务器发送HTTP请求，本文将介绍一下使用Go语言发送HTTP请求，并给GET请求添加参数的方法，感兴趣的小伙伴可以了解一下
2023-07-07
详解如何在Go语言中调用C源代码
这篇文章主要为大家详细介绍了如何在Go语言中调用C语言源代码，文中的示例代码讲解详细，对我们学习或工作有一定的帮助，需要的可以参考一下
2022-05-05
GoLang中的互斥锁Mutex和读写锁RWMutex使用教程
RWMutex是一个读/写互斥锁，在某一时刻只能由任意数量的reader持有或者一个writer持有。也就是说，要么放行任意数量的reader，多个reader可以并行读；要么放行一个writer，多个writer需要串行写
2023-01-01