forループで宣言された変数はローカル変数ですか？

私はかなり長い間C＃を使用してきましたが、次のことに気付いたことがありません。

 public static void Main()
 {
     for (int i = 0; i < 5; i++)
     {

     }

     int i = 4;  //cannot declare as 'i' is declared in child scope                
     int A = i;  //cannot assign as 'i' does not exist in this context
 }

では、この名前の変数を宣言できない場合、なぜforブロックの外で 'i'の値を使用できないのですか？

forループで使用されるイテレーター変数は、そのスコープ内でのみ有効であると思いました。

forループ内とforループ外の両方で同じ名前の変数を定義できないのは、外側のスコープの変数が内側のスコープで有効であるためです。これが許可された場合、forループ内に2つの「i」変数が存在することを意味します。

参照：MSDNスコープ

具体的には：

local-variable-declaration（セクション8.5.1）で宣言されたローカル変数のスコープは、宣言が行われるブロックです。

そして

forステートメントのforイニシャライザ（セクション8.8.3）で宣言されたローカル変数のスコープは、forイニシャライザ、for条件、forイテレータ、およびforステートメントに含まれるステートメントです。

また、ローカル変数宣言（C＃仕様のセクション8.5.1）

具体的には：

local-variable-declarationで宣言されたローカル変数のスコープは、宣言が行われるブロックです。ローカル変数のlocal-variable-declaratorの前にあるテキストの位置でローカル変数を参照すると、エラーになります。ローカル変数のスコープ内で、同じ名前の別のローカル変数または定数を宣言すると、コンパイル時エラーになります。

（エンファシス鉱山。）

つまり、iforループ内のスコープはforループです。iforループの外側のスコープは、メインメソッド全体と forループが。の2つの発生があることを意味しますi上記のように無効なループ内。

あなたが許可されていないint A = i;理由int iは、forループ内での使用に限定されているためです。したがって、forループの外側からはアクセスできなくなります。

ご覧のとおり、これらの問題は両方ともスコープの結果です。最初の問題（int i = 4;）はi、forループスコープ内に2つの変数をもたらします。一方int A = i;、スコープ外の変数にアクセスすることになります。

代わりiに、メソッド全体をスコープとするように宣言し、それをメソッドとforループスコープの両方で使用できます。これにより、どちらのルールにも違反しなくなります。

public static void Main()
{
    int i;

    for (i = 0; i < 5; i++)
    {

    }

    // 'i' is only declared in the method scope now, 
    // no longer in the child scope -> valid.
    i = 4;

    // 'i' is declared in the method's scope -> valid. 
    int A = i;
}

編集：

もちろん、C＃コンパイラを変更して、このコードを非常に有効にコンパイルできるようにすることもできます。結局これは有効です：

for (int i = 0; i < 5; i++)
{
    Console.WriteLine(i);
}

for (int i = 5; i > 0; i--)
{
    Console.WriteLine(i);
}

しかし、次のようなコードを記述できることは、コードの可読性と保守性にとって本当に有益でしょうか。

public static void Main()
{
    int i = 4;

    for (int i = 0; i < 5; i++)
    {
        Console.WriteLine(i);
    }

    for (int i = 5; i > 0; i--)
    {
        Console.WriteLine(i);
    }

    Console.WriteLine(i);
}

ここで間違いの可能性について考えてください。最後のi出力は0または4ですか。これは非常に小さな例です。追跡と追跡が非常に簡単ですがi、別の名前でアウターを宣言するよりも、保守性と可読性がはるかに低くなります。

注意：

C＃のスコープルールはC ++のスコープルールとは異なります。C ++では、変数は、宣言された場所からブロックの終わりまでの範囲内にのみ存在します。これにより、コードがC ++で有効な構成になります。

J.Kommerの答えは正しいです。簡単に言うと、別のローカル変数宣言スペースと重複するローカル変数宣言スペースでローカル変数を宣言することは違法です、同じ名前のローカルを持つ。

ここにも違反するC＃の追加ルールがあります。追加のルールは、2つの異なるオーバーラップするローカル変数宣言スペース内の2つの異なるエンティティを参照するために単純な名前を使用することは違法であることです。だからあなたの例は違法であるだけでなく、これも違法です：

class C
{
    int x;
    void M()
    {
        int y = x;
        if(whatever)
        {
            int x = 123;

なぜなら、単純な名前「x」が「y」のローカル変数宣言スペース内で使用され、「this.x」とローカル「x」の2つの異なることを意味しているためです。

これらの問題の詳細な分析については、http：//blogs.msdn.com/b/ericlippert/archive/tags/simple+names/を参照してください。

iループの後、メソッド内で宣言して使用する方法があります。

static void Main()
{
    for (int i = 0; i < 5; i++)
    {

    }

    {
        int i = 4;
        int A = i;
    }
}

Javaでこれを行うことができます（Cに由来する可能性がありますが、わかりません）。もちろん、変数名のために少し面倒です。

あなたが宣言したい場合はi 前に、あなたのforループ、あなたはまだループ内でそれを宣言するために有効であるべきだと思いますか？

いいえ、その場合、2つのスコープは重複します。

やることができないためとしてint A=i;、よくそれは単にためだiだけに存在しfor、それが何をすべきのように、ループ。

J.Kommerの回答に加えて（+1 btw）。これはNETスコープの標準にあります。

ブロック Ifステートメントなどのブロック構造内で変数を宣言する場合、その変数のスコープはブロックの終わりまでです。寿命は、手順が終了するまでです。

プロシージャプロシージャ 内で変数を宣言したが、Ifステートメントの外では、スコープはEnd SubまたはEnd Functionまでです。変数の存続期間は、プロシージャーが終了するまでです。

したがって、私はループのヘッダ内decalared INTは、ループブロックの間の範囲であろう、しかしそれの寿命は、まで続くMain()コード完了する。

これについて考える最も簡単な方法は、Iの外部宣言をループの上に移動することです。それが明らかになるはずです。

どちらの方法でも同じスコープなので、実行できません。

また、C＃のルールは厳密なプログラミングの観点からは多くの場合不要ですが、コードをクリーンで読みやすく保つためにあります。

たとえば、ループの後に定義した場合は問題ないようにできますが、コードを読んで定義行を逃した人は、ループの変数に関係があると考えるかもしれません。

コマーの答えは技術的に正しいです。鮮やかなブラインドスクリーンのメタファーで言い換えてみましょう。

for-blockと外側のブロックの間に一方向のブラインドスクリーンがあり、for-block内からのコードは外側のコードを見ることができますが、外側のブロックのコードは内側のコードを見ることができません。

外部コードはinsideを認識できないため、内部で宣言されたものは使用できません。しかし、forブロック内のコードはinsideとoutsideの両方を認識できるため、両方の場所で宣言された変数を名前で明確に使用することはできません。

だからあなたはそれを見ないか、あなたはC＃です！

ブロック内でを宣言できる場合と同じように見てください。intusing

using (int i = 0) {
  // i is in scope here
}
// here, i is out of scope

ただし、intは実装していないためIDisposable、これを行うことはできません。intただし、変数がプライベートスコープにどのように配置されるかを視覚化するのに役立ちます。

別の言い方をすると、

if (true) {
  int i = 0;
  // i is in scope here
}
// here, i is out of scope

これが起こっていることを視覚化するのに役立つことを願っています。

ループint内からfrom を宣言することでfor、コードを適切にタイトに保つことができるので、この機能が本当に好きです。