go 的 for 循环初始化语句仅允许短变量声明（如 `i := 0`），不支持带 `var` 的显式类型声明；但可通过类型转换（如 `int64(0)`）实现指定类型变量的初始化。
在 Go 中，for 循环的初始化语句语法有明确限制：它只接受短变量声明（short variable declaration），即形如 i := 0 的写法，而不接受标准的 var 声明语句（如 var i int64 = 0）。这是由 Go 语言规范严格定义的——《Go Language Specification: For statements》 明确指出：
The init statement may be a short variable declaration...
这意味着以下写法是合法的：
for i := int64(0); i < 10; i++ {
fmt.Printf("i = %d, type = %T\n", i, i) // i = 0, type = int64
}此处 i := int64(0) 是一次短变量声明，右侧的 int64(0) 是一个带类型的字面量表达式，Go 编译器据此推导出 i 的类型为 int64。
而以下写法是语法错误，会在编译时报 syntax error: unexpected var, expecting semicolon or newline：
// ❌ 错误：for 初始化中不允许使用 var 声明
for var i int64 = 0; i < 10; i++ {}同样，下面这种“先声明后赋值”的分步写法虽能运行，但失去了循环变量的作用域优势（i 在循环外仍可访问，可能引发意外副作用）：
// ⚠️ 不推荐：i 泄露到循环外，且代码冗长
var i int64
for i = 0; i < 10; i++ {
// ...
}✅ 最佳实践建议：
- 优先使用 T(value) 类型转换实现类型控制，简洁且保持作用域封闭；
- 若需多个不同类型的初始化变量，可组合使用，如：
for i, j := int64(0), float64(1.0); i < 5; i++ { j *= 2 } - 避免在循环外声明循环变量——这违背 Go “最小作用域”原则，也降低代码可读性与安全性。
总之，这不是设计疏漏，而是 Go 为保持语法简洁性与一致性所做的有意取舍：统一用短变量声明承载初始化逻辑，再通过表达式类型推导满足类型需求。
