Go内置range遍历数组子切片时下索引边界行为不一致问题

核心原因 #

Go 中对切片执行切片表达式（比如s[low:high]）时会生成新切片，而range遍历返回的索引是「传入range的新切片」的相对索引，不是原切片的绝对索引，这是你观察到行为差异的根本原因。

两种场景的具体分析 #

1. 截断上边界时为什么看起来正常？ #

当你执行range array[:5]时，生成的新切片起始索引和原切片一致（low默认是0），新切片的索引0~4完全对应原切片的索引0~4，所以你用range返回的i直接访问原切片array[i]刚好匹配，不会出问题。

2. 截断下边界时为什么不符合预期？ #

当你执行range array[2:]时，生成的新切片的起始位置指向原切片索引为2的元素，新切片自身的索引是从0开始计数的：

• 新切片索引0 → 原切片索引2
• 新切片索引1 → 原切片索引3
• 后续以此类推

此时你拿range返回的i（从0开始递增的新切片相对索引）直接访问原切片array[i]，拿到的自然是原切片前N个元素，和你的预期不符。

正确的遍历写法 #

如果不需要用到索引，直接取range返回的第二个元素值即可：

// 遍历从索引2开始的所有元素，输出符合预期
for _, v := range array[2:] {
    fmt.Printf("%d ", v)
}

如果需要用到原切片的绝对索引，手动加上偏移量即可：

offset := 2
for i := range array[offset:] {
    originalIdx := i + offset
    // 这里originalIdx就是元素在原切片中的真实索引
    fmt.Printf("原索引%d: %d ", originalIdx, array[originalIdx])
}

内容的提问来源于stack exchange，提问作者Adam Woolhether