Kotlin中val声明变量在for循环内的工作原理及同名变量写法合法性解析

嘿，这个问题问得很关键，刚好戳中了Kotlin作用域和val特性的结合点，我来给你详细拆解一下～

Kotlin中val在for循环内部的工作原理 #

首先得明确：for循环里用val声明的循环变量，每一次迭代都会创建一个全新的独立变量，而不是对同一个变量进行修改。

Kotlin的for循环本质是迭代器模式的语法糖，当你写for (val item in collection)时，编译器会帮你处理迭代逻辑：每次从集合里取出下一个元素，然后在当前迭代的作用域内创建一个新的val变量item，把元素赋值给它。这个变量的生命周期只限于当前这一次迭代的代码块，迭代结束后就会被销毁，下一次迭代会重新创建一个新的item变量。

因为val的特性是不可重新赋值，而每次迭代的新变量只赋值一次，完全符合val的要求，所以这种写法是安全且合规的。

你给出的代码是否合法可行？ #

答案是：完全合法，而且运行结果和你预期的一致——会打印1到10的数字。

你看这段代码：

fun main() {
    val i = 1
    for (i in 1..10) println(i)
}

这里的两个i是完全独立的变量：

• 外部的val i = 1属于main函数的顶层作用域；
• for循环里的i属于循环体的局部作用域，每次迭代都会新建一个，它会“遮蔽”外部的i——也就是说在循环体内部，你访问到的是这个局部的i，而外部的i依然存在，只是在循环里看不到而已。

如果不信，你可以扩展一下代码验证：

fun main() {
    val i = 1
    println("循环前的i: $i") // 输出1
    for (i in 1..10) {
        println("循环内的i: $i") // 依次输出1到10
    }
    println("循环后的i: $i") // 还是输出1，外部的i根本没被改动
}

这就是Kotlin作用域规则的体现：内部作用域可以声明与外部同名的变量，两者互不干扰，只是内部变量会暂时覆盖外部的可见性。

内容的提问来源于stack exchange，提问作者Nagaraj N