C# - variable scoping: 'x' deklariert werden können, in diesem Umfang, weil es geben würde, eine andere Bedeutung für 'x'

ist das nicht einfach nur falsch?

Nein, das ist nicht falsch. Dies ist eine korrekte Implementierung der in Abschnitt 7.5.2.1 der C# - Spezifikation "Simple Namen, invariante Bedeutungen in den Blöcken".

Die Spezifikation besagt:

Für jedes vorkommen eines angegebenen
als Kennung einen einfachen Namen in eine
Ausdruck oder Feststellung, innerhalb der
lokale Variablendeklaration Raum
von diesem vorkommen jedes
anderen vorkommen des gleichen
als Kennung einen einfachen Namen in eine
Ausdruck oder Feststellung muss sich auf der gleichen
Entität. Diese Regel stellt sicher, dass die
Bedeutung eines namens ist immer der gleiche
in einem bestimmten block, Schalterblock,
for-, foreach - oder using-Anweisung, oder
anonyme Funktion.

Warum ist C# nicht in der Lage zu unterscheiden zwischen die beiden Bereiche?

Die Frage ist unsinnig; offensichtlich ist der compiler ist in der Lage zu differenzieren zwischen den beiden Bereichen. Wenn der compiler nicht in der Lage waren, zu unterscheiden zwischen die beiden Bereiche dann wie könnte man den Fehler produziert werden? Die Fehlermeldung sagt, dass es zwei verschiedene Bereiche, und damit die Bereiche wurden differenziert!

Sollte die erste IF-Bereich nicht vollständig separates, vom rest der Methode?

Nein, sollte es nicht. Der Umfang (und lokale Variablen-deklarations-Raum) definiert, die durch die block-Anweisung in der Folge der bedingten Anweisung ist lexikalisch ein Teil der äußeren block definiert die Körper der Methode. Daher, Regeln über den Inhalt des äußeren block gelten für die Inhalte der inneren block.

Kann ich nicht aufrufen var von außen, wenn
also die Fehlermeldung ist falsch, denn
die erste var hat keine Relevanz in der
zweites Zielfernrohr.

Dies ist völlig falsch. Es ist irreführend zu folgern, dass nur weil die lokale variable nicht mehr in Reichweite, dass die äußeren block keinen Fehler enthält. Die Fehlermeldung ist korrekt.

Den Fehler hier hat nichts damit zu tun, ob der Geltungsbereich einer variable überschneidet sich der Geltungsbereich einer anderen variable; das einzige, was hier relevant ist ist, dass Sie einen block -- der äußeren block-in der gleichen einfachen Namen wird verwendet, um beziehen sich auf zwei völlig verschiedene Dinge. C# erfordert, dass Sie einen einfachen Namen haben eine Bedeutung im ganzen block, die zuerst verwendet es.

Beispiel:

class C 
{
    int x;
    void M()
    { 
        int x = 123;
    }
}

Dass ist völlig legal; der Umfang der äußeren x überschneidet sich der Geltungsbereich des inneren x, aber das ist nicht ein Fehler. Was ist ein Fehler:

class C 
{
    int x;
    void M()
    { 
        Console.WriteLine(x);
        if (whatever)
        {
            int x = 123;
        }
    }
}

da jetzt den einfachen Namen "x" bedeutet, dass zwei verschiedene Dinge, die im inneren des Körpers der M-es bedeutet".x" und die lokale variable "x". Es ist verwirrend für Entwickler und code-Betreuer, wenn die gleichen einfachen Namen bedeutet zwei völlig verschiedene Dinge in dem gleichen block, so dass illegal ist.

Wir erlauben parallele Blöcke enthalten die gleichen einfachen Namen auf zwei verschiedene Arten verwendet; das ist legal:

class C 
{
    int x;
    void M()
    { 
        if (whatever)
        {
            Console.WriteLine(x);
        }
        if (somethingelse)
        {
            int x = 123;
        }
    }
}

weil jetzt der einzige block, der enthält zwei inkonsistente Verwendungen von x ist der äußere block, und , dass der block nicht direkt enthalten keine Verwendung von "x", nur indirekt.

InformationsquelleAutor Eric Lippert