Określenie zakresu "leksykalnego" w C#

Question

Mam 2 scenariusze.

ta zawodzi:

class F<X> 
{ 
    public X X { get; set; } 
} 

błędzie CS0102: typu 'F<X>' już zawiera definicję dla 'X'

to działa:

class F<X> 
{ 
    class G 
    { 
    public X X { get; set; } 
    } 
} 

jedyne logiczne wyjaśnienie jest to, że w drugim fragmencie parametr typu X jest poza zakresem, co nie jest prawdą.

Dlaczego parametr typu powinien wpływać na moje definicje w typie?

IMO, w celu zachowania spójności oba powinny działać, a żadne nie powinno działać.

Jakieś inne pomysły?

PS: Nazywam to "leksykalnym", ale prawdopodobnie nie jest to poprawne określenie.

Aktualizacja:

Jak na odpowiedź Henksa, tutaj jest non-generic version wyświetla ten sam problem, ale być może łatwiej grok.

zawodzi:

class F 
{ 
    class X { } 
    public X X { get; set; } 
} 

działa:

class X { } 
class F 
{ 
    public X X { get; set; } 
} 

Z tego co widzę, C# kompilator tworzy zakres leksykalny na typ boundries definition.

Oznacza to również, że typy i nazwy członków żyją w tej samej "lokalizacji" (lub namespace pod względem LISP).

Answer 1

Klasa G wprowadza charakterystyczny zakres nazw. Jeśli pominąć domyślne reguły, 2 wersje stają się:

public F<X>.X F<X>.X { get; set; } // error 
public F<X>.X F<X>.G.X { get; set; } // OK 

Answer 2

X jest zdefiniowany jako typ w zakresie F. Jest on podobny do tego:

class F 
{ 
    public void X(); 

    public int X(); // Bad, trying to redefine X. 

    class G 
    { 
    public string X(); // OK, different scope 
    } 
} 

F.X nie jest poza zakresem w G, ale to nie powstrzymuje G od zdefiniowania nowego X.