go语言的数组和切片的区别

本文深入探讨了Go语言中数组与切片的概念及使用差异。通过代码示例,详细解析了切片作为数组的封装,以及两者在遍历过程中的行为特性。切片被视为数组的动态视窗,其长度定义了可见元素的数量。

数组和切片的理解

我们可以把切片看做是对数组的一层简单的封装,因为在每个切片的底层数据结构中,一定会包含一个数组。
数组可以被叫做切片的底层数组,而切片也可以被看作是对数组的某个连续片段的引用。切片代表的窗口也会被划分成一个一个的小格子,就像我们家里的窗户那样。每个小格子都对应着其底层数组中的某一个元素。
这个数组就是切片slice的底层数组,而这个窗口就是切片slice本身。slice的长度实际上指明的就是这个窗户的宽度,
决定了你透过slice,可以看到其底层数组中的哪几个连续的元素。

使用一个for循环来演示两者的区别

package main

import (
	"fmt"
	"reflect"
)

func main() {
	fmt.Println("slice test 1")
	sliceTest := []int{1, 2, 3, 4, 5, 6}
	for i := range sliceTest {
		if i == 2 {
			sliceTest[i] |= i
			fmt.Println(i, "i type", reflect.TypeOf(i))
		}
		//fmt.Println(i)
	}

	//string test
	fmt.Println("string test")
	stringTest := [6]int{1, 2, 3, 4, 5, 6}
	maxItem := len(stringTest) - 1
	for j, test2 := range stringTest {
		if j == maxItem {
			stringTest[0] += test2
			fmt.Println("maxItem", maxItem, "j", j, "test2", test2)
			fmt.Println("test2 type", reflect.TypeOf(test2))
			fmt.Printf("Printf stringTest test2 type %T\n", test2)
		} else {
			fmt.Println("strBefor", stringTest)
			stringTest[j+1] += test2
			//这里test2只是执行range时stringTest的一个副本。
			//在循环中test2不会随着stringTest内容的变化而变化
			fmt.Println("test2 value", test2)
			fmt.Println("strAfter", stringTest)
			fmt.Println("~~~~~~~~~~~")
		}
	}
	//fmt.Println(test2)
	fmt.Println(stringTest)

	//slice test 2
	fmt.Println("slice test 2")
	sliceTest2 := []int{0, 2, 3, 4, 5, 6}
	maxItem2 := len(sliceTest2) - 1
	for j, windowsToString := range sliceTest2 {
		if j == maxItem2 {
			sliceTest2[0] += windowsToString
			fmt.Println("maxItem2", maxItem2, "j", j, "windowsToString", windowsToString)
			fmt.Println("windowsToString type", reflect.TypeOf(windowsToString))
			fmt.Printf("Printf sliceTest windowsToString type %T\n", windowsToString)
		} else {
			fmt.Println("sBefor", sliceTest2)
			//这里windowsToString执行range后对sliceTest2的一个新的切片副本。
			//就像是新开了一扇窗户(windowsToString),透过这扇窗户
			//可以看到对面窗户(sliceTest2)里的风景(数组)。
			sliceTest2[j+1] += windowsToString
			fmt.Println("windowsToString value", windowsToString)
			fmt.Println("sAfter", sliceTest2)
			fmt.Println("###################")
		}
	}
	fmt.Println(sliceTest2)
}

运行结果:

Printf stringTest test2 type int
[7 3 5 7 9 11]
slice test 2
sBefor [0 2 3 4 5 6]
windowsToString value 0
sAfter [0 2 3 4 5 6]
sBefor [0 2 3 4 5 6]
windowsToString value 2
sAfter [0 2 5 4 5 6]
sBefor [0 2 5 4 5 6]
windowsToString value 5
sAfter [0 2 5 9 5 6]
sBefor [0 2 5 9 5 6]
windowsToString value 9
sAfter [0 2 5 9 14 6]
sBefor [0 2 5 9 14 6]
windowsToString value 14
sAfter [0 2 5 9 14 20]
maxItem2 5 j 5 windowsToString 20
windowsToString type int
Printf sliceTest windowsToString type int
[20 2 5 9 14 20]

<think>好的,我现在需要回答用户关于Golang中数组切片区别的问题。首先,我得回忆一下自己之前学过的相关知识,并结合用户提供的引用内容来整理答案。 用户给出的引用资料挺多的,我需要仔细看看每个引用提到的内容。比如引用[1]提到切片是对数组的连续片段的引用,属于引用类型,并且数据结构包含指针、长度容量。引用[3]也类似,说明切片由指针、长度容量组成,是数组的引用。而引用[5]则提到了如何基于数组创建切片,以及直接创建切片的方法。 接下来,数组切片的主要区别应该包括它们的定义、内存结构、传递方式、初始化方法以及容量特性等方面。数组是值类型,切片是引用类型,这点可能在函数传参时有不同的表现。比如数组作为参数传递时会复制整个数组,而切片传递的是引用,不会复制底层数组。 然后,我需要考虑用户可能的疑问点,比如长度是否固定、内存管理上的差异,以及nil切片切片区别。引用[4]提到空切片指针不为nil,而nil切片指针为nil,但它们的操作效果一样,这点可能需要解释清楚。 另外,用户提供的示例代码中有数组切片的声明方式,比如使用make创建切片,或者基于数组生成切片。这些例子可以用来对比两者的不同初始化方法。 在组织内容时,应该分点列出,结构清晰,每个区别点单独说明。同时,要使用用户要求的格式,比如行内公式用$...$,独立公式用$$...$$,但这里可能用不上太多数学公式,所以主要注意中文回答引用标识的添加。 最后,生成的相关问题需要围绕数组切片区别,可能涉及使用场景、性能影响、底层实现等,确保问题有针对性,帮助用户深入理解。 现在需要检查是否遗漏了重要的区别点,比如切片的动态扩容机制,这也是切片数组的重要不同之处。引用中提到的容量(cap)在切片中是可变的,而数组长度固定,这一点必须强调。 总结下来,回答的结构应该是先概述,再分点详细说明每个区别,引用对应的引用资料,并在末尾添加相关问题。确保语言准确,符合用户的要求。</think>### Golang 数组 vs 切片 区别 解释 在 Golang 中,数组切片是两种不同的数据结构,主要区别如下: --- #### 1. **定义与类型** - **数组(Array)** 数组是**值类型**,长度固定,声明时必须指定长度。例如: ```go var arr [3]int // 长度为3的整型数组 ``` - **切片(Slice)** 切片是**引用类型**,基于数组实现,长度可变。其底层数据结构包含三个字段: ```go type slice struct { array unsafe.Pointer // 指向底层数组的指针[^1][^3] len int // 当前元素个数 cap int // 容量(cap ≥ len) } ``` --- #### 2. **内存分配与传递** - **数组** - 赋值或传参时会**复制整个数组**,内存开销较大。 - 示例: ```go a := [2]int{1, 2} b := a // b是a的完整副本 ``` - **切片** - 赋值或传参时仅传递**引用**(指针、长度、容量),底层数组共享。 - 示例: ```go s1 := []int{1, 2} s2 := s1 // s2与s1共享底层数组 ``` --- #### 3. **初始化方式** - **数组** 显式指定长度,元素类型长度共同决定数组类型: ```go arr1 := [2]int{1, 2} // 长度为2的数组 arr2 := [...]int{1, 2} // 编译器推断长度[^5] ``` - **切片** 可通过多种方式创建: - 基于数组截取: ```go array := [5]int{1,2,3,4,5} slice := array[1:3] // 包含元素2,3,容量为4[^5] ``` - 直接创建: ```go s1 := make([]int, 2, 4) // 长度2,容量4[^1] s2 := []int{1, 2} // 自动初始化底层数组 ``` --- #### 4. **容量与动态扩容** - **数组** 长度固定,无法扩容。 - **切片** - 容量(`cap`)表示底层数组可容纳的元素上限。 - 当切片长度超过容量时,会触发动态扩容(通常按 2 倍容量扩展)[^3]。 - 示例: ```go s := []int{1, 2} s = append(s, 3) // 容量不足时扩容 ``` --- #### 5. **空值与 nil** - **数组** 无 `nil` 状态,始终有固定长度。 - **切片** - `nil` 切片:指针为 `nil`,长度容量为 0。 - 空切片:指针非 `nil`(如 `make([]int, 0)`),但行为 `nil` 切片一致[^4]。 - 示例: ```go var s1 []int // nil切片 s2 := []int{} // 空切片 ``` --- #### 6. **应用场景** - **数组** 适合固定长度、无需修改的场景(如配置表)。 - **切片** 适合动态数据集合(如读取文件内容、网络流处理)。 --- ### 性能与注意事项 - **数组**的复制开销大,需谨慎用于函数参数传递。 - **切片**通过引用共享底层数组,修改切片可能影响其他引用。 - 使用 `append` 时需注意潜在的**内存重新分配**问题。 ---
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值