静态类型语言中的变量类型是永久的吗？

Question

我的理解是，静态类型语言在运行时之前会“检查”变量类型。

我认为这意味着 int 类型的 var 永远不能是字符串类型？这是否意味着变量类型不能在整个程序（在静态类型语言中）更改（在同一范围内）？

有人提到“可变阴影”，但我很确定这只适用于不同的范围。

var i = 'hi';
function foo() {
    var i = 1;
}

我对 var 阴影的理解是，全局范围内的 i 与 foo 函数范围内的 i 是不同的变量，因此它们的类型是永久且不相关的（在静态语言中，JS 不是）。对吗？

Answer 1

有人提到“可变阴影”，但我很确定这只适用于不同的范围。

这取决于您对“范围”的定义，例如，Rust 允许您所说的那种阴影，即使在单个块内：

fn main() {
    let a: str = "hello";
    let a: i32 = 3;
}

可以说影子变量的声明隐含地结束了前一个变量的范围。但要引用from the Rust book：

请注意，隐藏名称不会改变或破坏它所绑定的值，并且该值将继续存在，直到超出范围，即使它不再可以通过任何方式访问。