Question

C#中作用域与初始化的问题

如图1，for循环使用局部值初始化了d，而在循环外试图访问d，产生了错误，这个可以理解。然而如图2，当把for去掉，但同样使d在局部作用域中赋值，为什么这时在外部就可以访问d了？d的值不应该仍然是局部作用域中的值么？另外，如图3，为什么当这段语句处于死循环中时，就可以通过编译？可以看到后面的Console处于不可访问状态，是不是C#编译器只考虑可以访问的代码的正确性，无视根本访问不到的代码？





Answer 1

根据编译时的情况来看，for 块里的代码到底会不会执行，是未知的，因为 for 的第二项条件（i != 2）是否为 true 是要等到运行时才能知道的，编译时不可能知道
那也就是说，因为编译时对 d 的初次赋值是否会发生是不确定的，所以之后的代码编译就会出错
而你第二张图的代码，那个块里的代码肯定会被执行的，所以编译就不会出错
至于第三张图，我想或许是因为编译器把 while(true) 看作是一定会执行的，所以也不会出错了

追问

按这么理解确实说得通。但是从作用域的角度解释，书上说for循环里对d的初始化是用的局部变量，出了局部作用域，在外部就无法获取d的内容了。那为什么普通的局部作用域不可以达到这样的效果呢？

追答

当然可以获取 d 啊，因为你的 d 是在作用域外声明的啊
除非，你在 for 块里又定义一个同名的 d，那这个 d 就会覆盖作用域外的 d

追问

可是d是在局部作用域里赋值的呀，这样它所持有的不应该是局部变量么？书上对for的那个例子就是这样解释的

追答

不啊，你的 d 是在外面声明的，所以 d 的作用域大于 for 的作用域

追问

这个我清楚，但是d是在for里使用局部变量值进行内存开辟与初始化的啊，这样d引用的是局部变量，出了局部作用域，d所指向的内容就无法获取到了，所以不能在外部输出d的内容。这是我对第一个的理解。但是就是不明白为什么这个道理放在普通的局部作用域就失效了

追答

你可以试试看按照第一张图的代码，在 for 块之后用 &d，看能不能输出 d 的内存地址

追问

真心向您请教，前辈。因为我个人C++用的比较多，对于C#的这种存储的思想还在琢磨

追答

C++ 也是啊。。。定义一个变量但不赋值的话，它在栈中也是分配了的啊

追问

确实是分配了呀。但是C#不是规定了不允许未赋值就使用么，C++是可以使用默认初始值的呀。

追答

C++ 的局部变量在没初始化的情况下是不会赋默认值的，所以你可能会看到随机值

追问

对啊。但是很多编译器是允许使用的。但是C#是坚决不能不赋值就用。所以我这不就来问跟这个有关的问题了么……那是不是书上的解释不合理呢……

追答

所以 C# 就是为了避免读取到随机值（烫烫烫烫），所以才禁止读取从未赋值的变量

追问

可以理解这个规定。那求解到底是不是书上的解释错了……😳

Answer 2

第一张图片是因为你是使用了没有初始化的变量
第二张图片你的这种写法就是d的作用域里边进行了赋值
第三章图片是因为你写了一个死循环 后边的代码被标记为不可到达的语句

其他不懂可以追问

追问

第二个图里，花括号里的作用域难道不是局部作用域么？为什么是d的作用域？