go 中数组长度由类型决定且不可变，len() 返回的是编译期固定的元素总数（如 [100]int 恒为 100），而非运行时“已赋值元素个数”；若需动态管理元素数量，应使用切片（slice）而非数组。
go 中数组长度由类型决定且不可变，len() 返回的是编译期固定的元素总数（如 [100]int 恒为 100），而非运行时“已赋值元素个数”；若需动态管理元素数量，应使用切片（slice）而非数组。
在 Go 语言中，len() 是获取数组长度的唯一标准且正确的方式，但它返回的不是“当前有多少元素被显式赋值”，而是该数组类型的固有长度——这是 Go 类型系统的核心设计。
例如：
package main
import "fmt"
func main() {
var check [100]int
fmt.Println(len(check)) // 输出：100
}
这段代码输出 100 完全正确，且符合预期。因为 var check [100]int 声明了一个类型为 [100]int 的数组，其长度 100 是类型的一部分（就像 int32 和 int64 是不同类型一样），[99]int 和 [100]int 在 Go 中是完全不兼容的两个类型。因此 len(check) 在编译期即确定为常量 100，运行时不会、也不能改变。
⚠️ 关键澄清：Go 数组中不存在“未设置”或“空槽位”的概念。
当你声明 var check [100]int，Go 会立即用 int 类型的零值（即 0）初始化全部 100 个元素。该数组从诞生起就“装满了 100 个 0”。你无法通过 len() 或任何其他内置机制查询“其中有多少个是用户后来改写的”，因为这不属于数组语义——Go 不追踪写入历史，只保证内存布局和类型安全。
✅ 正确场景对比：
| 场景 | 数据结构 | len() 含义 | 是否可变 | 示例 |
|---|---|---|---|---|
| 固定容量、栈上分配、值语义拷贝 | 数组 [N]T | 类型长度 N（编译期常量） | ❌ 不可变 | var a [5]string → len(a) == 5 |
| 动态长度、堆上底层数组、引用语义 | 切片 []T | 当前元素个数（运行时可变） | ✅ 可通过 append 等改变 | s := []int{1,2} → len(s)==2；s = append(s, 3) → len(s)==3 |
如果你的真实需求是“统计已显式添加的有效元素数量”，那么你应该使用切片：
package main
import "fmt"
func main() {
// ✅ 推荐：用切片动态管理元素
var items []int // 初始 len=0, cap=0
items = append(items, 10) // len=1
items = append(items, 20) // len=2
fmt.Println("当前有效元素数:", len(items)) // 输出：2
fmt.Printf("底层数组容量: %d\n", cap(items)) // 可能为 2 或更大（自动扩容）
}
? 进阶提示：
- len() 对数组是零开销操作（直接读取类型元数据），对切片是读取运行时 header 字段，均高效安全；
- 对 nil 切片或 nil map 调用 len() 是合法的，返回 0；但对 nil channel 调用 len() 也返回 0（表示缓冲区当前无元素）；
- 切勿尝试 x.len() —— len 是内置函数，不是方法，点号调用会触发编译错误：undefined (type []int has no field or method len)。
总结：Go 的数组是类型安全、内存可控的底层构件，其长度恒定是优势而非限制。若业务逻辑需要“可增长的集合”，请拥抱切片——它是 Go 为动态数据场景精心设计的抽象，而 len() 在切片上下文中才真正体现“当前元素数量”的语义。
