C#中的语句块内的不变性

C#语言规范规定，对于表达式中一个简单命名的标识符，在同一个即刻闭合控制块内或者switch块内（the immediately enclosing block or switch-block）的语义是恒定不变的。这条规则确保了在一个表达式的上下文的环境中，同一个名字在一个控制块内拥有相同的含义。否则会引发编译错误，如下：

class Test{double x;

void F(bool b) {         x = 1.0;      //外围控制块     if (b) {                  int x;     //嵌套控制块是属于外围控制块, 同一个即刻闭合控制块        x = 1;             }                 }                    }

但是下面的就不会引发编译错误：

class Test{double x;

void F(bool b) {     if (b) {        x = 1.0;//指向Test.x，     }     else {        int x;//覆盖了Test.x，        x = 1;     }}}

这些编译错误在C++是不会发生的。