Go语言数组初始化基础
go语言中的数组是值类型，具有固定长度。数组的长度是其类型的一部分，例如 [4]int 和 [5]int 是两种不同的类型。初始化数组最常用的方式是使用复合字面量（composite literal），其基本语法为 [长度]类型{元素列表}。
常见误区与正确姿势
在其他编程语言（如C/C++）中，有时可以直接使用花括号列表来初始化数组或结构体，例如：
// C/C++ 风格的聚合初始化
float mat[16] = {
1, 0, 0, 0,
0, 1, 0, 0,
0, 0, 1, 0,
0, 0, 0, 1
};然而，在Go语言中，这种不带类型前缀的直接列表初始化是不允许的。此外，原始问题中使用了Go语言中不存在的 float 类型，Go语言提供了 float32 和 float64 来表示浮点数。
错误示例（Go语言中不合法）：
// func identityMat4() [16]float { // 错误：'float' 不是 Go 语言的有效类型
// return { // 错误：缺少类型前缀，不能直接使用花括号列表初始化
// 1, 0, 0, 0,
// 0, 1, 0, 0,
// 0, 0, 1, 0,
// 0, 0, 0, 1 }
// }正确初始化方法：
立即学习“go语言免费学习笔记（深入）”；
在Go语言中，初始化定长数组需要使用 [长度]类型{元素列表} 的形式。当所有元素都被列出时，可以使用省略号 ... 让编译器自动计算数组长度，这极大地提高了代码的简洁性和灵活性。
以下是一个在Go语言中正确初始化一个4x4单位矩阵（表示为[16]float64数组）的示例：
package main
import "fmt"
// identityMat4 函数返回一个 4x4 的单位矩阵，表示为 [16]float64 数组
func identityMat4() [16]float64 {
// 使用复合字面量初始化数组
// [...] 表示编译器将根据提供的元素数量自动推断数组长度
return [...]float64{
1, 0, 0, 0, // 矩阵第一行
0, 1, 0, 0, // 矩阵第二行
0, 0, 1, 0, // 矩阵第三行
0, 0, 0, 1, // 矩阵第四行
}
}
func main() {
mat := identityMat4()
fmt.Println("生成的单位矩阵数组：", mat)
fmt.Println("数组长度：", len(mat))
fmt.Println("\n--- 其他数组初始化方式示例 ---")
// 1. 零值初始化：声明数组但未显式赋值时，所有元素会被初始化为其类型的零值
var arr1 [5]int // arr1 为 [0 0 0 0 0]
fmt.Println("1. 零值初始化:", arr1)
// 2. 部分初始化：可以只初始化数组的一部分元素。未初始化的元素将默认为其类型的零值。
arr2 := [5]int{1, 2} // arr2 为 [1 2 0 0 0]
fmt.Println("2. 部分初始化:", arr2)
// 3. 指定索引初始化：可以通过指定索引来初始化特定位置的元素。
arr3 := [5]int{0: 10, 4: 50} // arr3 为 [10 0 0 0 50]
fmt.Println("3. 指定索引初始化:", arr3)
// 4. 全量初始化（显式长度）：明确指定数组长度并提供所有元素。
arr4 := [4]string{"Go", "is", "awesome", "!"}
fmt.Println("4. 全量初始化（显式长度）:", arr4)
}在上述示例中：
- [16]float64 定义了一个包含16个 float64 类型元素的数组。
- [...]float64{...} 中的 ... 告诉Go编译器根据花括号内提供的元素数量来确定数组的长度。由于提供了16个元素，数组的长度将被自动推断为16。
注意事项
- 数组与切片（Slice）的区别： Go语言中的数组是定长的，一旦声明长度就不能改变。而切片（slice）是动态长度的，更常用于实际开发中需要可变长度序列的场景。虽然它们在语法上有些相似，但底层机制和使用方式有本质区别。
- 类型匹配： 复合字面量中的元素类型必须与数组声明的元素类型兼容。例如，不能将字符串直接赋值给 int 类型的数组元素。
- 省略号 ... 的作用： ... 仅在初始化数组时用于推断长度，不能用于声明数组类型（例如 var arr [...]int 是不允许的，必须是 var arr [5]int 或 arr := [...]int{...}）。
- 零值原则： Go语言的零值原则确保了数组在未完全初始化时，其余元素也能拥有明确的初始状态（例如数字类型为0，布尔类型为false，字符串类型为空字符串），避免了未定义行为。
总结
Go语言的数组初始化通过复合字面量提供了一种清晰、安全且灵活的方式来定义和赋值定长数组。理解 [...]类型{} 语法，特别是省略号 ... 的用法，对于高效编写Go代码至关重要。虽然切片在日常开发中更为常用，但掌握数组的初始化机制是理解Go语言数据结构基础的重要一步，有助于我们更好地理解Go语言的设计哲学。
