如何理解Julia中不引入新作用域的begin块的行为逻辑？

首先明确两个核心基础规则：

• begin块本身不会引入新作用域，它的唯一作用是将多个零散的表达式打包为一个整体表达式，执行时按顺序求值所有子表达式，返回最后一个子表达式的结果，作用域规则完全和它所在的外层作用域保持一致。
• 全局作用域下使用local关键字声明的变量，作用范围与它所在的顶层表达式绑定，出了这个表达式的范围，该局部变量就会自动失效。

第一段代码运行逻辑 #

x = 1
begin
   local x = 0
   for i = 1:10
      x += 10
   end
end
println(x)

整个begin块是一个独立的顶层表达式，块内声明的local x = 0作用范围覆盖整个begin块，包括块内嵌套的for循环（for循环本身会引入嵌套作用域，默认继承外层作用域的变量）。所以for循环里修改的是这个局部变量x，不会影响全局作用域的x。begin块执行完成后局部x销毁，全局x的值还是1，因此println(x)输出1，你的初始猜测是正确的。

第二段代码运行逻辑 #

x = 1
local x = 0
for i = 1:10
    x += 10
end
println(x)

这段代码里local x = 0是一个单独的顶层表达式，它声明的局部x的作用范围只限于这一行表达式本身，到后续的for循环顶层表达式时，这个局部x已经失效。此时for循环访问的是全局作用域的x，10次循环每次加10，最终全局x的值为1 + 10*10 = 101，因此输出101。你之前的猜测存在小偏差：不是local x = 0没有生效，是它的作用范围只覆盖了自身所在的单独表达式，没有覆盖到后面的for循环。

补充验证 #

你可以运行下面这段代码进一步验证规则：

x = 1
begin
    local x = 0
    for i = 1:10
        x += 10
    end
    println(x) # 输出10，读取的是begin块内的局部x
end
println(x) # 输出1，全局x未被修改

运行后会先后输出10和1，进一步说明begin块并没有引入新作用域，只是把多个表达式打包成了一个顶层表达式，所以块内的local声明作用范围覆盖整个块，出块后自动失效。

内容的提问来源于stack exchange，提问作者Yi Chu