Che cosa significa Eric Lippert per "è necessario sapere qual è la classe base per determinare quale sia la classe base"?

Question

Ho appena letto questo interessante articolo di Eric Lippert, Top 10 Worst C# Features. Vicino alla fine, afferma:

Le regole per la risoluzione dei nomi dopo i due punti sopra indicati non sono ben fondate; si può finire in situazioni in cui è necessario sapere cosa la classe base è al fine di determinare quale sia la classe base.

Per due punti si riferisce all'operatore dell'ereditarietà (ad esempio Dog : Animal).

A quale situazione si riferisce Eric? Qualcuno può fornire un esempio di codice?

Answer 1

Questo può accadere in scenari contorti con i generici, l'ereditarietà e classi annidate:

class Base<T> { 
    public class Inner {} 
} 

class Derived : Base<Derived.Inner2> { 
    public class Inner2 : Inner {} 
} 

Result

• Per determinare Derived 's classe base, abbiamo bisogno di legare Derived.Inner2.
• Per il binding Derived.Inner2, è necessario risolvere il simbolo Inner.
• Il simbolo Inner viene ereditato dalla classe base dell'ambito contenente, pertanto è necessario determinare nuovamente la classe base Derived.

Answer 2

SLaks offre una buona risposta; guarda i miei commenti per alcune note aggiuntive.

Come ho detto nei commenti, sto cercando le mie vecchie note su questo argomento e se le trovo, scriverò un blog. Ecco un divertente esempio aggiuntivo. Questo programma è legale. I significati di N nella dichiarazione di classe e la dichiarazione di campo sono uguali o diversi? Se sono uguali, cos'è un'espressione di tipo pienamente qualificato per loro? Se sono diversi, perché le specifiche richiedono che siano diversi?

public class N {} 
public class B<T> 
{ 
    public class N {} 
} 

public class D : B<N> // base class 
{ 
    N n; // field 
} 

Questo illustra il problema fondamentale: ricerca dei nomi richiede che la classe di base è noto, ma la classe base viene cercato per nome.

Ora pensa a come le interfacce funzionano nel mix. Supponiamo che la classe D implementa anche un'interfaccia IN, analogamente annidata in B e disponibile globalmente. La ricerca dell'interfaccia risolve la classe base o il namespace globale? Queste sono le domande che devi risolvere quando stai scrivendo un compilatore.