Golang Array 数组 和 Slice 切片

本文详细介绍了Go语言中的数组与切片的概念、初始化方式、访问方法及使用技巧,包括数组的固定长度、元素访问、遍历、赋值特性以及切片的灵活长度、追加元素、引用特性等。同时,对比了数组与切片在功能上的差异,如长度调整、内存管理等。此外,还提供了实例代码,帮助读者更好地理解和应用这些基础知识。
一 数组简介
       数组是内置(build-in)类型,是一组同类型数据的集合,它是值类型,通过从0开始的下标索引访问元素值。在初始化后长度是固定的,无法修改其长度。当作为方法的参数传入时将复制一份数组而不是引用同一指针。数组的长度也是其类型的一部分,通过内置函数len(array)获取其长度。
   
     注意:和C中的数组相比,又是有一些不同的

       1. Go中的数组是值类型,换句话说,如果你将一个数组赋值给另外一个数组,那么,实际上就是将整个数组拷贝一份
     2. 如果Go中的数组作为函数的参数,那么实际传递的参数是一份数组的拷贝,而不是数组的指针。这个和C要区分开。因此,在Go中如果将数组作为函数的参数传递的话,那效率就肯定没有传递指针高了。
     3. array的长度也是Type的一部分,这样就说明[10]int和[20]int是不一样的。array的结构用图示表示是这样的:
                                             
len表示数组的长度,后面的int储存的是实际数据



二 数组初始化

初始化数组的初始化有多种形式,查看示例代码 
         [5] int {1,2,3,4,5}
长度为5的数组,其元素值依次为:1,2,3,4,5
     
        [5] int {1,2}
长度为5的数组,其元素值依次为:1,2,0,0,0 。在初始化时没有指定初值的元素将会赋值为其元素类型int的默认值0,string的默认值是""


       [...] int {1,2,3,4,5}
长度为5的数组,其长度是根据初始化时指定的元素个数决定的

       [5] int { 2:1,3:2,4:3}
长度为5的数组,key:value,其元素值依次为:0,0,1,2,3。在初始化时指定了2,3,4索引中对应的值:1,2,3

       [...] int {2:1,4:3}
长度为5的数组,起元素值依次为:0,0,1,0,3。由于指定了最大索引4对应的值3,根据初始化的元素个数确定其长度为5赋值与使用

三 数组的访问
   数组通过下标访问元素,可修改其元素值
arr :=[...] int {1,2,3,4,5}
arr[4]=arr[1]+len(arr)      //arr[4]=2+5

通过for遍历数组元素

arr := [5]int{5, 4, 3}

for index, value := range arr {
    fmt.Printf("arr[%d]=%d \n", index, value)
}

for index := 0; index < len(arr); index++ {
    fmt.Printf("arr[%d]=%d \n", index, arr[index])
}

数组是值类型,将一个数组赋值给另一个数组时将复制一份新的元素

arr2 := [5]int{1, 2} 
arr5 := arr2
arr5[0] = 5
arr2[4] = 2
fmt.Printf(" arr5= %d \n arr2=%d \n arr5[0]==arr2[0]= %s \n", arr5, arr2, arr5[0] == arr2[0])

OutPut:
 arr5=[5 2 0 0 0] 
 arr2=[1 2 0 0 2] 
 arr5[0]==arr2[0]= false

四 切片简介
 
      数组的长度不可改变,在特定场景中这样的集合就不太适用,Go中提供了一种灵活,功能强悍的内置类型Slices切片(“动态数组"),与数组相比切片的长度是不固定的,可以追加元素,在追加时可能使切片的容量增大。切片中有两个概念:一是len长度,二是cap容量,长度是指已经被赋过值的最大下标+1,可通过内置函数len()获得。容量是指切片目前可容纳的最多元素个数,可通过内置函数cap()获得。切片是引用类型,因此在当传递切片时将引用同一指针,修改值将会影响其他的对象。

五 切片的使用
       Slice并不是真正意义上的动态数组,而是一个引用类型。slice总是指向一个底层array,slice的声明也可以像array一样,只是不需要长度。
// 和声明array一样,只是少了长度         var fslice []int

接下来我们可以声明一个slice,并初始化数据,如下所示:

slice := []byte {'a', 'b', 'c', 'd'}

slice可以从一个数组或一个已经存在的slice中再次声明。slice通过array[i:j]来获取,其中i是数组的开始位置,j是结束位置,但不包含array[j],它的长度是j-i

// 声明一个含有10个元素元素类型为byte的数组
var ar = [10]byte {'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j'}

// 声明两个含有byte的slice
var a, b []byte

// a指向数组的第3个元素开始,并到第五个元素结束,
a = ar[2:5]
//现在a含有的元素: ar[2]、ar[3]和ar[4]

// b是数组ar的另一个slice
b = ar[3:5]
// b的元素是:ar[3]和ar[4]

注意slice和数组在声明时的区别:声明数组时,方括号内写明了数组的长度或使用...自动计算长度,而声明slice时,方括号内没有任何字符。

它们的数据结构如下所示

     

slice有一些简便的操作

  • slice的默认开始位置是0,ar[:n]等价于ar[0:n]
  • slice的第二个序列默认是数组的长度,ar[n:]等价于ar[n:len(ar)]
  • 如果从一个数组里面直接获取slice,可以这样ar[:],因为默认第一个序列是0,第二个是数组的长度,即等价于ar[0:len(ar)]

下面这个例子展示了更多关于slice的操作:

// 声明一个数组
var array = [10]byte{'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j'}
// 声明两个slice
var aSlice, bSlice []byte

// 演示一些简便操作
aSlice = array[:3] // 等价于aSlice = array[0:3] aSlice包含元素: a,b,c
aSlice = array[5:] // 等价于aSlice = array[5:10] aSlice包含元素: f,g,h,i,j
aSlice = array[:]  // 等价于aSlice = array[0:10] 这样aSlice包含了全部的元素

// 从slice中获取slice
aSlice = array[3:7]  // aSlice包含元素: d,e,f,g,len=4,cap=7
bSlice = aSlice[1:3] // bSlice 包含aSlice[1], aSlice[2] 也就是含有: e,f
bSlice = aSlice[:3]  // bSlice 包含 aSlice[0], aSlice[1], aSlice[2] 也就是含有: d,e,f
bSlice = aSlice[0:5] // 对slice的slice可以在cap范围内扩展,此时bSlice包含:d,e,f,g,h
bSlice = aSlice[:]   // bSlice包含所有aSlice的元素: d,e,f,g

slice是引用类型,所以当引用改变其中元素的值时,其它的所有引用都会改变该值,例如上面的aSlicebSlice,如果修改了aSlice中元素的值,那么bSlice相对应的值也会改变。

从概念上面来说slice像一个结构体,这个结构体包含了三个元素:

  • 一个指针,指向数组中slice指定的开始位置
  • 长度,即slice的长度
  • 最大长度,也就是slice开始位置到数组的最后位置的长度

    Array_a := [10]byte{'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j'}
    Slice_a := Array_a[2:5]
    

上面代码的真正存储结构如下图所示


对于slice有几个有用的内置函数:

  • len 获取slice的长度
  • cap 获取slice的最大容量
  • append 向slice里面追加一个或者多个元素,然后返回一个和slice一样类型的slice
  • copy 函数copy从源slicesrc中复制元素到目标dst,并且返回复制的元素的个数
注:append函数会改变slice所引用的数组的内容,从而影响到引用同一数组的其它slice。 但当slice中没有剩余空间(即(cap-len) == 0)时,此时将动态分配新的数组空间。返回的slice数组指针将指向这个空间,而原数组的内容将保持不变;其它引用此数组的slice则不受影响。 初始化切片可以通过数组来初始化,也可以通过内置函数make()初始化 .初始化时len=cap,在追加元素时如果容量cap不足时将按cap的2倍扩容 查看示例代码,在线运行示例代码

六 常用的初始化方法:
       s :=[] int {1,2,3 }
直接初始化切片,[]表示是切片类型,{1,2,3}初始化值依次是1,2,3.其cap=len=3
     
       s := arr[:]
初始化切片s,是数组arr的引用
     
      s := arr[startIndex:endIndex]
将arr中从下标startIndex到endIndex-1 下的元素创建为一个新的切片
     
      s := arr[startIndex:]
缺省endIndex时将表示一直到arr的最后一个元素
     
     s := arr[:endIndex]
缺省startIndex时将表示从arr的第一个元素开始
     
   s1 := s[startIndex:endIndex]
通过切片s初始化切片s1
   
    s :=make([]int,len,cap)
通过内置函数make()初始化切片s,[]int 标识为其元素类型为int的切片

赋值与使用切片是引用类型,在使用时需要注意其操作。切片可以通过内置函数append(slice []Type,elems ...Type)追加元素,elems可以是一排type类型的数据,也可以是slice,因为追加的一个一个的元素,因此如果将一个slice追加到另一个slice中需要带上"...",这样才能表示是将slice中的元素依次追加到另一个slice中。另外在通过下标访问元素时下标不能超过len大小,如同数组的下标不能超出len范围一样。

   s :=append(s,1,2,3,4)
   s :=append(s,s1…)

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值