Go切片的[low:high]语法采用“左闭右开”区间设计：low为起始索引（包含），high为结束索引（不包含），结果长度恒为high - low，该设计兼顾安全性、一致性与数学简洁性。

go切片的索引机制采用“左闭右开”（inclusive-exclusive）语义：`s[low:high]` 表示从索引 `low` 开始（含），到索引 `high` 结束（不含），新切片长度严格等于 `high - low`。这一设计并非随意约定，而是源于对安全性、可组合性与边界清晰性的系统性权衡。

在你的例子中：

s := []int{1, 2, 3, 4, 5}
s2 := s[1:3] // → [2, 3]

执行过程如下：

• low = 1：取 s[1]（即第二个元素 2）作为首项；
• high = 3：停止于 s[3]（即第四个元素 4），但不包含它；
• 因此实际选取的是 s[1] 和 s[2]，共 3 - 1 = 2 个元素。

✅ 这一规则带来三大核心优势：

1. 零成本长度推导
   不需额外调用 len() —— 切片长度直接由索引差决定：len(s[low:high]) == high - low。这对编译器优化和开发者直觉都极为友好。

2. 无缝拼接与无重叠分割
   对任意有效索引 i ≤ j ≤ k，总有：

   s[i:j]  // 前段
   s[j:k]  // 后段（紧接前段，无间隙、无重叠）

   例如：s[0:2] + s[2:5] 完整覆盖 s[0:5]，天然支持分治、流式处理等模式。

3. 边界安全与直观空切片表达

   • 空切片可统一写作 s[i:i]（如 s[3:3]），长度为0且无歧义；
   • 越界检查简单：仅需验证 0 ≤ low ≤ high ≤ len(s)，无需处理“末位+1”的偏移逻辑。

⚠️ 常见误区提醒：

• ❌ s[1:3] 不是 “取第1到第3个元素”（那会是3个）；
• ❌ s[1:3] 不是 “从位置1走到位置3”，而是“从索引1开始，取2个元素”；
• ✅ 正确心法：“从索引 low 起，拿 high - low 个” —— 把 high 视为“停步哨兵”，而非“目标终点”。

? 实战技巧：
当你需要截取前 n 个元素时，直接写 s[:n]（low 省略默认为0）；
截取后 m 个元素时，写 s[len(s)-m:]（high 省略默认为 len(s)）；
删除中间一段 [i:j]？用 append(s[:i], s[j:]...) —— 这正是 slices.Delete(s, i, j) 的底层逻辑。

理解这一设计，你就掌握了Go切片最精炼的抽象内核：它不是数组的“简化版”，而是以数学区间为模型、为高效内存复用与函数式操作而生的工程化原语。