Golang中的空切片字面量解析

Golang中的空切片字面量解析

package main

import (
	"fmt"
	"unsafe"
)

func main() {

	var x = []int{}
	var y []int
	fmt.Println(x == nil) // why it is not nil
	fmt.Println(y == nil)
	fmt.Println(unsafe.Sizeof(x),unsafe.Sizeof(y))
	
	fmt.Printf("%T",x)
	fmt.Printf("%T",y)
}
2 回复

X 不是 nil，因为你将其初始化为一个空切片。 在第二种情况下，y 是 nil，因为它只是被声明，而 Go 将其初始化为 nil。 切片是一个指向数组的结构，其默认零值是 nil。nil 切片的长度和容量都为 0，并且没有底层数组。当我们使用 make 函数创建切片时，所有元素都被初始化为 0。

更多关于Golang中的空切片字面量解析的实战系列教程也可以访问 https://www.itying.com/category-94-b0.html


在Go语言中，空切片字面量[]int{}创建的是一个已初始化的非nil切片，而var y []int声明的是一个零值切片（nil切片）。以下是详细解析：

package main

import (
	"fmt"
	"unsafe"
)

func main() {
	var x = []int{}  // 非nil的空切片
	var y []int      // nil切片
	
	// 1. nil检查
	fmt.Println(x == nil) // false - 因为x已被初始化
	fmt.Println(y == nil) // true  - y是零值切片
	
	// 2. 内存大小相同（都是切片描述符）
	fmt.Println(unsafe.Sizeof(x), unsafe.Sizeof(y)) // 24 24（64位系统）
	
	// 3. 类型相同
	fmt.Printf("%T\n", x) // []int
	fmt.Printf("%T\n", y) // []int
	
	// 4. 底层数据结构验证
	fmt.Printf("x: len=%d, cap=%d, ptr=%p\n", len(x), cap(x), x)
	fmt.Printf("y: len=%d, cap=%d, ptr=%p\n", len(y), cap(y), y)
	
	// 5. 实际使用示例
	// nil切片可以安全地进行append操作
	y = append(y, 1, 2, 3)
	fmt.Println("After append to y:", y)
	
	// 空切片也可以正常append
	x = append(x, 4, 5, 6)
	fmt.Println("After append to x:", x)
	
	// 6. 反射验证
	fmt.Println("Is x nil?", x == nil) // false
	fmt.Println("Is y nil?", y == nil) // false（append后已非nil）
}

关键区别：

  1. []int{}：创建包含0个元素的切片，底层数组指针非nil（指向runtime.zerobase）
  2. var y []int：声明切片变量，所有字段为零值（data=nil, len=0, cap=0）

运行输出：

false
true
24 24
[]int
[]int
x: len=0, cap=0, ptr=0x11888d0
y: len=0, cap=0, ptr=0x0
After append to y: [1 2 3]
After append to x: [4 5 6]
Is x nil? false
Is y nil? false

虽然两者在大多数操作中行为相似，但在nil检查、序列化和某些库函数处理时会有差异。

回到顶部