ループ内のローカルスコープの矛盾

Question

コンパイルエラーが発生する理由が混乱していますCS0136 "ローカルまたはパラメータを定義するためにその名前が囲まれたローカルスコープで使用されているため、このスコープでは宣言できません"その種のループの？ ループ内に最初にが入っていませんか？

 static void Main(string[] args) 
    { 
     for (int i = 0; i < 10; i++) 
     { 
      int a = 0; 
     } 

     int a = 1; 
    } 

それはこの変形に宣言される前に、なぜコンパイラがあるエラーCS0841は、ローカル変数「b」を使用することはできませんされていない場合

static void Main(string[] args) 
    { 
     for (int i = 0; i < 10; i++) 
     { 
      int a = b; 
     } 

     int b = 1; 
    } 

がここに矛盾があると、なぜこの制限がなされていますために？

Answer 1

最初の関数では、関数自体は可変スコープです。 Sinatrが述べたように、囲みスコープを宣言することはできますが、このスコープは一般関数のスコープと矛盾しません。 John Skeet（Why can't a duplicate variable name be declared in a nested local scope?）が述べたように、問題は、子スコープ内に新しいaを宣言しようとする試みが、実際には宣言されていない親aを参照する違法な試みであるとコンパイラが判断したことです。

第2の関数では、変数が宣言される前に変数bに対処しようとしているという違いがあります。あなたは、ループ内で

int a = b; 

を呼び出し、その後、ループが終了した後にのみ、あなたが（内部で囲み、 `{}あなたは別の内部必ず使用` A`ためにブロックをスコープでき

int b = 1;