ICode9

精准搜索请尝试: 精确搜索
首页 > 其他分享> 文章详细

go同构符合类型:定长数组和变长切片

2022-07-27 23:31:24  阅读:41  来源: 互联网

标签:同构 int 元素 var 变长 数组 类型 go foo


数组

go数组的两个属性:

长度固定

同构元素组成

声明

var arr [N]T

Go 编译器需要在编译阶段就知道数组类型的长度,所以,我们只能用整型数字面值或常量表达式作为 N 值。

如果两个数组类型的元素类型 T 与数组长度 N 都是一样的,那么这两个数组类型是等价的,如果有一个属性不同,它们就是两个不同的数组类型。

func foo(arr [5]int) {}
func main() {
    var arr1 [5]int
    var arr2 [6]int
    var arr3 [5]string

    foo(arr1) // ok
    foo(arr2) // 错误:[6]int与函数foo参数的类型[5]int不是同一数组类型
    foo(arr3) // 错误:[5]string与函数foo参数的类型[5]int不是同一数组类型
}  

数组类型不仅是逻辑上的连续序列,而且在实际内存分配时也占据着一整块内存。Go 编译器在为数组类型的变量实际分配内存时,会为 Go 数组分配一整块、可以容纳它所有元素的连续内存,如下图所示:

 

 

定义

未显式初始化

不进行显式初始化,那么数组中的元素值就是它类型的零值

var arr1 [6]int // [0 0 0 0 0 0]

显式初始化

var arr2 = [6]int {
    11, 12, 13, 14, 15, 16,
} // [11 12 13 14 15 16]

var arr3 = [...]int { 
    21, 22, 23,
} // [21 22 23]
fmt.Printf("%T\n", arr3) // [3]int

使用下标进行初始化

var arr4 = [...]int{
    99: 39, // 将第100个元素(下标值为99)的值赋值为39,其余元素值均为0
}
fmt.Printf("%T\n", arr4) // [100]int

如果下标值超出数组长度范畴,或者是负数,那么 Go 编译器会给出错误提示,防止访问溢出。

多维数组

var mArr [2][3][4]int

总结:

数组类型变量是一个整体,这就意味着一个数组变量表示的是整个数组。无论是参与迭代,还是作为实际参数传给一个函数 / 方法,Go 传递数组的方式都是纯粹的值拷。

切片

解决数组的两个不足点:

1.固定的元素个数

2.传值机制下导致的开销较大

声明

var nums = []int{1, 2, 3, 4, 5, 6}

切片有自己的长度,只不过这个长度不是固定的,而是随着切片中元素个数的变化而变化的

添加元素append

nums = append(nums, 7) // 切片变为[1 2 3 4 5 6 7
fmt.Println(len(nums)) // 7

 

标签:同构,int,元素,var,变长,数组,类型,go,foo
来源: https://www.cnblogs.com/wanghaokun/p/16526986.html

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有