go 切片的理论最大长度受 `int` 类型范围约束，但实际可创建大小还取决于元素尺寸与系统可用内存；`struct{}` 因零大小可突破内存限制，而 `bool` 等非零尺寸类型在 `math.maxint64` 下会因安全检查直接 panic。
在 Go 中，切片（slice）的长度（len）和容量（cap）均使用内置整数类型 int 表示。这意味着——无论运行在 32 位还是 64 位平台——切片索引和长度的合法取值范围始终是 int 的取值范围。在 64 位系统上，int 通常为 64 位有符号整数（即 int64），其最大值为 math.MaxInt64（9223372036854775807）。因此，从类型系统层面看，Go 切片支持的最大长度就是 math.MaxInt64。
然而，这仅是理论上限。Go 运行时在 make 创建切片时会执行多重安全校验，真正决定能否成功分配的关键逻辑位于运行时源码的 makeslice 函数中：
func makeslice(t *slicetype, len64 int64, cap64 int64) sliceStruct {
len := int(len64)
// 检查 1：len64 是否能无损转换为 int（即不溢出）
if len64 < 0 || int64(len) != len64 {
panic(errorString("makeslice: len out of range"))
}
// 检查 2：若元素大小 > 0，验证所需内存是否超过理论上限（maxmem）
if t.elem.size > 0 && uintptr(len) > maxmem/uintptr(t.elem.size) {
panic(errorString("makeslice: len out of range"))
}
// ... 实际分配逻辑
}该逻辑包含两个核心判断：
类型转换合法性检查：int64(len) 必须等于原始 len64，否则说明 len64 超出了目标平台 int 的表示范围（例如在 32 位系统上调用 make([]int, math.MaxInt64) 会在此失败）。
✅ 在 64 位系统上，math.MaxInt64 可无损转为 int，因此此检查通过。内存可行性检查：仅当元素大小 t.elem.size > 0 时触发。运行时预估总内存需求 uintptr(len) * t.elem.size，并与内部常量 maxmem（约为 1/4 地址空间，64 位下约 2^62 字节）比较。若预估超出，则 panic "len out of range"。
正是这一检查导致了你观察到的现象差异：
- make([]bool, math.MaxInt64) → bool 占 1 字节，math.MaxInt64 * 1 ≈ 8EB，远超 maxmem（≈4PB），触发第 2 条检查，panic。
- make([]struct{}, math.MaxInt64) → struct{} 占 0 字节，maxmem / 0 在 Go 中被特殊处理为“不检查”（除零被规避），仅剩第 1 条检查，而 math.MaxInt64 在 64 位系统上合法，故成功创建。
至于 math.MaxUint32（4294967295）导致 OOM 而非 panic，是因为：
- math.MaxUint32（4294967295）≤ math.MaxInt64，可通过第 1 条检查；
- 其内存需求为 4294967295 * 1 = ~4GB，接近你机器物理内存（4GB），运行时尝试分配时因真实内存不足而触发 fatal error: runtime: out of memory —— 这是操作系统/内存管理器层面的失败，发生在安全检查之后的实际分配阶段。
? 总结关键结论：
- ✅ 理论最大长度：math.MaxInt64（64 位系统），由 int 类型决定；
- ⚠️ 实际最大长度：取决于 元素大小 × 长度 ≤ maxmem，且需满足系统物理内存充足；
- ? 零尺寸类型例外：struct{}、[0]int 等 size == 0 类型可绕过内存检查，允许创建 len == math.MaxInt64 的切片（但无实际存储开销）；
- ❗ 错误区分：
- "makeslice: len out of range" → 编译/运行时安全检查失败（类型溢出或预估内存超限）；
- "runtime: out of memory" → 安全检查通过，但操作系统无法满足实际内存分配请求。
因此，回答最初的问题：若内存不是瓶颈，Go 中可创建的最大切片长度就是 math.MaxInt64，但前提是元素类型尺寸为 0；对于任意 size > 0 的类型，最大可行长度为 maxmem / size（向下取整），且该值不会超过 math.MaxInt64。
