编程语言中的Variable Shadowing（变量遮蔽）—— declaration shadows a local variable —— Consider Allow Shadowing of let Bindings

Variable Shadowing（变量遮蔽）是编程语言中比较常见的一种情况，但是由于不同语言对于这个情景的处理是不同的，所以在具体语言中这个Variable Shadowing（变量遮蔽）的表现也是不同的。

简单的说，Variable Shadowing（变量遮蔽）就是指之前已经定义了一个变量并赋值，然后再后面又重新定义和赋值，然后这就是Variable Shadowing（变量遮蔽）。

在C语言中：

声明了一个类型的变量并定义赋值，在同一命名空间范围内是不能重新声明和定义的，但是可以赋值操作，并且可以通过指针操作改变该变量的底层存储的变量类型（该变量的类型依旧保持不变，因此在使用该变量时需要强制转换）。在上一层命名空间定义的变量是不影响下层命名空间内重新定义并赋值该同名变量的，并且变量类型不受限，这也是C语言中常见的全局变量和局部变量的。

相关：

https://www.codenong.com/38533407/

https://blog.csdn.net/edsam49/article/details/122708337

在python语言中:

这个问题就比较容易，那就是全局变量并不影响局部变量，而局部变量也不影响全局变量，并且二者的类型也不受限制，这就是python语言的duck type的魅力，就是对变量不做任何限制，编码容易好上手，但也运算效率低。

在mojo语言中：

如果一个变量使用let进行绑定声明，那么这个变量就是不能改变的，类似于C语言中的constant，因此使用let定义的变量是不能进行Variable Shadowing的：

例子来源：https://github.com/modularml/mojo/issues/5

上面这个GitHub的网友认为mojo语言中使用let绑定后不允许改变变量是应该分情况的，并给出两个例子，他认为在第一个例子中编码人员是可以大概率的知道使用的变量x是否被定义过的，因此这种情况应该允许使用shadowing的，而第二个例子中编码人员可能不知道y变量是否被定义，因此这种情况才应该不允许改变let绑定的变量。

PS. 感觉这个网友提的问题很有特色，mojo语言中let绑定就是为了保证一些变量具有constant特性的，而且如果真的像他所提的那种分情况处理，那么会增加该编程语言的编程难度，而且好像意义也不大。

不过由于mojo语言还在研发阶段，也就是说语言特性还在改动，据说现在的mojo中，下面的操作是可以的：

let x=1

let x=2

但是，下面的操作是不可以的：

let x=1

x=2

PS. 对于现在的很多孩子experimental阶段的编程语言，我个人的体会就是不要去碰，不要去尝鲜，不然真的很愁人，这语言特性变动的实在要人琢磨不透。