如果在定义变量之前给值赋值会发生什么？(ALGOL范围规则集)

Question

在具有范围规则的语言(如ALGOL中)中，允许在定义变量之前为变量赋值，即声明在其整个{块}中有效。例如，在Pascal和Java (命名空间和方法可见性)中使用ALGOL作用域规则集。

下面的示例将打印42。

print i;
int i = 42;

但是在下面的代码片段中会发生什么呢？

i = 21;
print i;
int i = 42;

Answer 1

这个问题不能从语言不可知论的角度来回答。这很可能无法在特定于语言的编译器不可知论的视角中得到回答。行为将由编译器本身决定。

一个示例Algol-68编译器将为i创建符号，然后逐行迭代特定块，因此将打印21。

其他编译器可能会以不同的方式处理这一问题，从而导致错误或42，但很可能与上面的示例类似。