Go 语言不支持在 for range 语句中直接声明变量类型（如 for x int, y string = range arr），但可通过循环外预声明变量并使用赋值形式 for a, b = range arr 实现类型显式化。
go 语言不支持在 `for range` 语句中直接声明变量类型（如 `for x int, y string = range arr`），但可通过循环外预声明变量并使用赋值形式 `for a, b = range arr` 实现类型显式化。
在 Go 中，for range 循环的变量声明语法是受限的：仅支持 := 短变量声明，不支持带类型的显式声明（例如 for i int, v string = range s 是非法语法）。这是由 Go 语言规范明确限定的——range 子句后的变量必须通过 := 初始化，或通过 = 进行赋值（此时变量需已预先声明）。
✅ 正确做法：先声明变量，再在循环中赋值
package main
import "fmt"
func main() {
arr := [4]string{"foo", "bar", "baz", "qux"}
var index int
var value string
for index, value = range arr {
fmt.Println(index, value) // 输出: 0 foo, 1 bar, ...
}
}此处 index 和 value 在循环前已明确定义为 int 和 string 类型，for ... = range 语句仅执行赋值操作，完全合法且类型安全。
⚠️ 注意事项：
- 不可混用
:=与预声明变量（如for index, value := range arr会重新声明同名变量，导致编译错误）； - 若变量已在外层作用域声明，务必确保其类型与
range返回值兼容（range数组/切片返回int, T，rangemap 返回K, V）； - 多数情况下，推荐使用语义化命名 +
:=（如for i, s := range arr），既简洁又具备自文档性，无需强制显式标注类型。
? 总结：Go 的设计哲学强调简洁与一致性，类型推导在绝大多数场景下足够清晰可靠。仅当存在特殊需求（如避免闭包捕获、明确接口约束或静态分析要求）时，才需采用预声明 + = 赋值方式。日常开发中，优先选择 for index, item := range collection ——它更符合 Go 的惯用法（idiomatic Go），也更易读、易维护。
