Scala变量可在定义前使用的原因？多运行环境表现解惑

这是个非常典型的Scala初始化顺序问题，不同环境的表现差异其实都围绕着Scala的变量绑定和初始化规则，咱们一步步拆解清楚：

核心原理：词法作用域 vs 执行顺序 #

Scala和Java的变量规则不一样——它允许你引用词法作用域内存在但尚未初始化的变量，编译器不会直接报错（除非开启严格检查模式）。

简单说：只要变量在同一个代码块/作用域里有定义（哪怕写在引用之后），词法分析阶段就能找到这个变量的绑定，编译就能通过；但执行的时候，变量的初始化是严格按代码顺序来的，如果引用发生在赋值之前，你拿到的就是变量的默认初始值（引用类型是null，值类型比如Int就是0）。

接下来逐个看你遇到的场景：

1. IntelliJ直接运行脚本的情况 #

当你在IntelliJ里直接跑一段没有包装在类/对象里的Scala代码，这段代码会被自动包装成一个匿名类的构造方法。执行顺序就是你写的代码顺序：

• 第一行print(test)执行时，test已经被词法绑定，但还没被赋值，所以输出null
• 第二行才完成test的赋值，但这时候已经过了输出的时机

另外IntelliJ默认没开启最严格的初始化检查警告，所以你看不到任何提示。

2. Scala REPL的情况 #

REPL是交互式环境，它会把你输入的整段代码当作一个整体处理，但它的初始化检查比普通脚本更严格——会主动弹出Reference to uninitialized value test的警告，提醒你引用了还没初始化的变量。

但执行逻辑和脚本是一样的：先执行print(test)输出null，再完成test的变量定义，所以你会看到null加上变量定义的反馈信息。

3. sbt里的App对象情况 #

这里的关键是App特质的延迟初始化机制：
Scala的App特质继承了DelayedInit，它会把对象体里的执行语句（比如println、print）延迟到main方法里执行，但成员变量val test是在对象初始化阶段（也就是main方法运行前）就完成赋值的。你说只输出了Hello Scala，大概率是因为print(test)没有换行，输出的内容和sbt的其他日志混在一起没被注意到，或者输出缓冲的问题，但核心是这段代码能编译通过的原因还是符合前面说的词法作用域规则——test在作用域里存在，所以编译没问题。

总结一下 #

Scala允许提前引用变量的核心是词法作用域优先于执行顺序，编译阶段只检查变量是否在作用域内存在，不检查初始化时机；而运行时的结果则完全取决于代码的执行顺序。不同环境的差异只是它们对代码的包装方式、警告检查严格程度不同而已。

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