对…的`的迭代顺序。。。范围`当索引是隐式的

Question

https://golang.org/ref/spec#For_range

对于带有range子句的语句

对于数组、指向数组的指针或切片值a，索引迭代值按递增顺序生成，从元素索引0开始。如果最多存在一个迭代变量，范围循环将生成从0到len（a）-1的迭代值，并且不会索引到数组或切片本身。对于nil切片，迭代次数为0。

根据规范，遍历Go中的线性数据结构（数组、切片或字符串）将始终按索引增加的顺序获取其中的每个元素。

for i, v := range []int{11, 22, 33, 44} {
    fmt.Println(i, v)
}

但问题是我在说明书中找不到保证，

这个带有隐式索引迭代值的范围迭代结束子句也将始终保持相同的顺序：

for _, v := range []int{11, 22, 33, 44} {
    fmt.Println(v)
}

我上面的两个例子总是以同样的顺序执行吗？

我想他们知道，但我还没听到promise。

对。。。当索引迭代值由空白标识符（下划线<代码> <代码> >表示时，范围< /代码>工作？




Answer 1

这在规范中，但我认为你忽略了一些东西。有迭代值和迭代变量。

对于每个条目，它将迭代值分配给相应的迭代变量（如果存在），然后执行块。

您的报价是指迭代值：

对于数组、指向数组的指针或切片值a，从元素索引0开始按递增顺序生成索引迭代值。如果最多存在一个迭代变量，范围循环将生成从0到len（a）-1的迭代值，并且不会索引到数组或切片本身。

如您所见，无论迭代变量有多少，迭代值总是以递增的顺序，从元素索引0开始。

第二个迭代值总是a[i]，其中i对应于第一个迭代值，索引：

Range expression                          1st value          2nd value

array or slice  a  [n]E, *[n]E, or []E    index    i  int    a[i]       E