为何Swift允许全局作用域变量先使用后声明，函数内却不行？

全局作用域的特殊处理：延迟初始化+默认值兜底 #

全局变量属于模块级实体，Swift会在程序启动或首次访问时延迟初始化它们。当全局变量的初始化表达式引用了尚未完成声明的其他全局变量时，编译器不会直接报错，而是会用该变量类型的默认值临时计算，完成当前变量的初始化。

比如你给出的例子：

let a = b + 4
let b = 5

print(a) // 输出4

a初始化时，b还没被赋值，Int类型的默认值是0，所以a被计算为0+4=4。等b后续被赋值为5时，a已经完成初始化，不会再重新计算，最终输出4。这种设计是为了兼容部分全局变量相互引用的场景，避免启动时的初始化循环报错，但容易产生不符合直觉的结果。

局部作用域的严格规则：声明前禁止使用 #

函数内部的局部变量遵循严格的声明-使用顺序，编译器在编译阶段就会检查局部变量是否在声明前被使用，原因包括：

• 局部变量生命周期仅在函数调用期间，逻辑更紧凑，使用未声明变量更容易引发逻辑错误；
• 局部变量没有自动默认值（除非显式指定），编译器无法用默认值“兜底”，必须确保变量使用前已正确初始化；
• 严格检查能提升代码可读性和可维护性，减少潜在bug。

比如你的函数示例：

func foo() -> Int {
    let x = y + 4 // 编译错误：Use of local variable 'y' before its declaration
    let y = 5
    return x
}

编译器直接报错，因为y被引用时还未声明，不符合局部作用域的初始化规则。

设计层面的核心差异 #

• 全局作用域变量多为模块配置、常量等，可能存在跨文件引用，宽松规则是为了保证灵活性；
• 局部作用域变量是函数内临时数据，严格规则是为了保障代码的安全性和逻辑确定性，避免开发者写出混乱代码。

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