五、Golang 中的数组Array以及Slice底层实现

本文深入探讨了Golang中的数组Array和Slice的定义、初始化、遍历及实战练习。详细介绍了切片的创建、遍历、长度与容量、切片扩容策略,以及如何使用append和sort包进行元素添加与排序。同时讨论了数组和切片作为值类型与引用类型的差异,以及多维数组的概念。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

1、Array(数组)

数组是指一系列同一类型数据的集合。数组中包含的每个数据被称为数组元素 (element),这种类型可以是任意的原始类型,比如 int string 等,也可以是用户自定义的类型。一个数组包含的元素个数被称为数组的长度。
Golang 中数组是一个长度固定的数据类型, 数组的长度是类型的一部分 ,也就是说 [5]int [10]int 是两个不同的类型。
Golang中数组的另一个特点是占用内存的连续性,也就是说数组中的元素是被分配到连续的内存地址中的,因而索引数组元素的速度非常快。
    1. 数组:是同一种数据类型的固定长度的序列。
    2. 数组定义:var a [len]int,比如:var a [5]int,数组长度必须是常量,且是类型的组成部分。一旦定义,长度不能变。
    3. 长度是数组类型的一部分,因此,var a[5] int和var a[10]int是不同的类型。
    4. 数组可以通过下标进行访问,下标是从0开始,最后一个元素下标是:len-1
    for i := 0; i < len(a); i++ {
    }
    for index, v := range a {
    }
    5. 访问越界,如果下标在数组合法范围之外,则触发访问越界,会panic
    6. 数组是值类型,赋值和传参会复制整个数组,而不是指针。因此改变副本的值,不会改变本身的值。
    7.支持 "=="、"!=" 操作符,因为内存总是被初始化过的。
    8.指针数组 [n]*T,数组指针 *[n]T。
    var arr0 [2]int
	var arr2 [3]int
	fmt.Printf("arr0:%T内容为%v,  arr2:%T,内容为%v\n" , arr0,arr0,arr2, arr2)
	
	var arr =  [...]string{"卫宫士郎","远坂樱","继国缘一"}
	fmt.Printf("aaa的类型为%T,内容为%v",arr,arr)

 2、数组定义

比如: var a [5]int , 数组的长度必须是常量,并且长度是数组类型的一部分。一旦定义,长
度不能变。 [5]int [4]int 是不同的类型。

3、数组的初始化

数组的初始化也有很多方式。,
后面直接带赋值的需要在定义的数组后加等于号

方法一

初始化数组时可以使用初始化列表来设置数组元素的值。
	var shuzu [3]int
	shuzu[0] = 1
	shuzu[1] = 2
	shuzu[2] = 3
	fmt.Println(shuzu)

	var arr3 [3]string
	arr3[0] = "卫宫士郎"
	arr3[1] = "漩涡鸣人"
	arr3[3] = "比目鱼"	 //out of bounds for 3-element array
	fmt.Println(arr3)	

方法二

按照上面的方法每次都要确保提供的初始值和数组长度一致,一般情况下我们可以让编译器
根据初始值的个数自行推断数组的长度,例如:

	var arr4 = [3]int{1,2,3}
	fmt.Println(arr4)

方法三

我们还可以使用指定索引值的方式来初始化数组,例如 :
	var arr5 = [...]int{1,2,3,4,5,6}
	fmt.Print(arr5,"数组的长度为",len(arr5))

	// 注意数组的长度,改变数组里面的值
	var arr6 = [...]string{"卫宫士郎","宋东野","斑马"}
	arr6[0] = "奥特曼" 
	fmt.Print(arr6)

	// var arr6 = [...]string{"卫宫士郎","宋东野","斑马"}
	// arr6[3] = "奥特曼" //index 3 out of bounds [0:3]
	// fmt.Print(arr6)
	// 这样的不行,需要注意数组的长度,类型;

方法四

数组的初始化 第四种方法   我们还可以使用指定索引值的方式来初始化数组

arr7 := [...]int{0:1,2:2,4:10}
fmt.Printf("数组的内容为%v,类型为%T,个数为%v",arr7,arr7,len(arr7))

4、数组的遍历

	arr7 := [...]string{"sabar","archer","rider"}
	for i := 0; i < len(arr7); i++ {
		fmt.Printf("值为%v\n",arr7[i])
		
	}

	arr1 := [...]string{"php", "nodejs", "golnag", "js"}

	for k, v := range arr1 {
		fmt.Printf("key:%v value:%v\n", k, v)
	}

5、几则练习

1、求出一个数组里面元素的和以及这些元素的平均值。 

	var sum = 0
	arr1 := [...]int{1,2,3,4,5,6,7}
	for i := 0; i < len(arr1); i++ {
		sum += arr1[i]
	}
	fmt.Printf("数组的和为%v.其平均值为%v",sum,sum/len(arr1))

 2、请求出一个数组的最大值,并得到对应的下标


1、 声明一个数组 var Arr = [...]int {1, -1, 12, 65, 11}
2、假定第一个元素就是最大值,下标就 0
3、然后从第二个元素开始循环比较,如果发现有更大,则交换
	arr2 := [...]int{21,222,312,42,33}
	max := arr2[0]
	index := 0
	for i := 0; i < len(arr2); i++ {
		if max < arr2[i]{
			max = arr2[i]
			index = i
		}
	}
	fmt.Printf("最大值:%v  最大值对应的索引值:%v", max, index)

<

<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` 时需注意潜在的**内存重新分配**问题。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

赵唯一

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值