go 语言支持多种数组初始化方式，包括短变量声明、显式类型声明及带索引的复合字面量，它们在语义上等价，可根据可读性与上下文灵活选择。
go 语言支持多种数组初始化方式，包括短变量声明、显式类型声明及带索引的复合字面量，它们在语义上等价，可根据可读性与上下文灵活选择。
在 Go 中，数组是值类型，长度是其类型的一部分，因此 [3]int 和 [5]int 是完全不同的类型。初始化数组时，Go 提供了多种语法形式，均能实现“声明 + 初始化”一步完成，不存在“只能用 :=”的限制。
✅ 等效的初始化写法
以下六种写法完全等价，均声明并初始化一个类型为 [3]int、值为 {369, 0, 963} 的变量：
a := [3]int{369, 0, 963} // 短变量声明（最常用）
b := [...]int{369, 0, 963} // 使用 ... 让编译器推导长度（结果仍是 [3]int）
var c = [3]int{369, 0, 963} // 显式声明 + 类型推导
var d [3]int = [3]int{369, 0, 963} // 完整显式：类型 + 复合字面量
var e [3]int = [...]int{369, 0, 963} // 混合写法：左侧指定类型，右侧用 ... 推导
var f = [...]int{369, 0, 963} // 类型与长度均由右侧推导
⚠️ 注意：var a [3]int = [3]int{...} 中右侧必须显式写出 [3]int（不能省略为 {...}），否则会报错：cannot use [...]int{...} as [3]int value in assignment —— 因为 [...]int 和 [3]int 虽然底层相同，但属于不同字面量类型，需显式转换或保持一致。
? 高级技巧：带索引的复合字面量
Go 允许在数组/切片字面量中使用键值对语法（keyed elements），显式指定某索引位置的值，未指定位置将自动填充零值（int 的零值为 0）：
g := [3]int{369, 2: 963} // 等价于 [3]int{369, 0, 963}
h := [...]int{369, 2: 963} // 编译器推导长度为 3 → [...]int{369, 0, 963}
i := [5]int{0: 1, 4: 9} // [5]int{1, 0, 0, 0, 9}
这种写法特别适合稀疏初始化或设置末尾元素，提升代码可读性与维护性。
? 关键注意事项
- 数组长度必须在编译期确定，且不可更改；
- 使用 ... 仅用于复合字面量右侧（如 [...]int{}），表示由元素个数自动推导长度；它不能用于变量声明左侧（如 var x [...]int 是非法语法）；
- 若字面量中部分元素省略，Go 会自动用对应类型的零值填充（如 int→0, string→"", *T→nil）；
- 所有初始化方式均在栈上分配内存（小数组）或可能逃逸至堆（大数组或被取地址时），性能无本质差异，选择应以清晰性和团队规范为准。
综上，Go 不仅支持显式数组初始化，而且提供了丰富、安全、富有表现力的语法选项。合理运用 :=、var + 类型、... 推导及索引标记，能让数组初始化既简洁又精准。
