go 数组长度在编译期即固定且不可变，len() 返回的是类型定义的容量（如 [100]int 恒为 100），而非运行时“有效元素个数”；go 不跟踪数组中哪些元素被显式赋值，所有未初始化位置均自动设为对应类型的零值。
go 数组长度在编译期即固定且不可变，len() 返回的是类型定义的容量（如 [100]int 恒为 100），而非运行时“有效元素个数”；go 不跟踪数组中哪些元素被显式赋值，所有未初始化位置均自动设为对应类型的零值。
在 Go 中，数组（[N]T）是值类型，其长度是类型的一部分——这意味着 [5]int 和 [6]int 是完全不同的、不兼容的类型。当你声明var check [100]int，Go 立即分配一块连续内存，容纳 100 个int，并**全部初始化为零值0`**。因此：
package main
import "fmt"
func main() {
var check [100]int
fmt.Println("Array length (type-defined):", len(check)) // 输出：100
fmt.Println("First element:", check[0]) // 输出：0（零值）
fmt.Println("Last element:", check[99]) // 输出：0（零值）
}你观察到 len(check) 输出 100，这完全正确——它反映的是该数组固有的、不可更改的尺寸，而非“当前有多少个非零/非默认值元素”。Go 语言不提供内置机制来统计“已显式赋值的元素个数”，因为这违背了数组的设计哲学：数组是确定大小、内存布局严格的底层结构，其语义强调完整性与可预测性，而非动态状态追踪。
⚠️ 常见误解澄清：
- ❌ 不存在 size() 函数（size 不是 Go 内置函数，调用会报编译错误）；
- ❌ len() 不是“获取已填充数量”，而是“获取类型声明的长度”；
- ❌ 数组不会自动“收缩”或记录使用状态——即使你只给 check[0] = 42 赋值，其余 99 个元素仍存在且为 0。
✅ 正确的替代方案：使用 slice
若你需要动态管理元素数量（例如追加、截断、统计非零项），应转向 slice（[]T），它是对底层数组的轻量级引用，具备运行时可变的 len 和 cap：
package main
import "fmt"
func main() {
// 使用 slice 替代固定数组，支持动态增长
var data []int // 零值 slice，len=0, cap=0
data = append(data, 10) // 添加一个元素
data = append(data, 20)
data = append(data, 30)
fmt.Println("Slice length (current elements):", len(data)) // 输出：3
fmt.Println("Slice capacity:", cap(data)) // 输出：可能为 3 或更大（取决于底层数组分配）
// 若需统计非零元素（示例逻辑）
nonZeroCount := 0
for _, v := range data {
if v != 0 {
nonZeroCount++
}
}
fmt.Println("Non-zero elements count:", nonZeroCount) // 输出：3
}? 总结建议：
- ✅ 用数组：当数据大小在编译期已知、需栈上分配、强调内存局部性或与 C 互操作时（如 [32]byte 表示哈希、[4]float64 表示向量）；
- ✅ 用 slice：绝大多数业务场景——需要增删、遍历、传递、或关心“当前逻辑长度”时；
- ⚠️ 切勿尝试用数组模拟动态集合——这不仅低效，更易引发逻辑错误（如误判 0 是否为有效数据）。
理解 len() 在数组与 slice 中语义的一致性（均返回当前逻辑长度），是掌握 Go 数据结构的关键起点：数组的 len 恒等于其类型长度，而 slice 的 len 可随 append/copy 等操作动态变化。
