Perché C# Type.GetProperty() si comporta in modo diverso per le interfacce rispetto alle classi base?

Question

Perché il Type.GetProperty(string) non ottiene una proprietà da un'interfaccia di base se il tipo è un'interfaccia? Ad esempio, il codice seguente stampa:

System.String X 
null 
System.String X 
System.String X 

che sembra incoerente:

void Main() 
{ 
    Console.WriteLine(typeof(I1).GetProperty("X")); 
    Console.WriteLine(typeof(I2).GetProperty("X")); 
    Console.WriteLine(typeof(C1).GetProperty("X")); 
    Console.WriteLine(typeof(C2).GetProperty("X"));; 
} 

public interface I1 { string X { get; } } 

public interface I2 : I1 { } 

public class C1 { public string X { get { return "x"; } } } 

public class C2 : C1 { } 

EDIT: un altro aspetto del runtime che supporta la risposta di Cole è la seguente:

public class C : I2 { 
    // not allowed: the error is 
    // 'I2.X' in explicit interface declaration is not a member of interface 
    string I2.X { get; set; } 

    // allowed 
    string I1.X { get; set; } 
} 

Answer 1

Ricorda che l'ereditarietà della classe non è la stessa dell'implementazione dell'interfaccia.

Una classe derivata e la sua classe base hanno una relazione -. Se D : B quindi Dè unB. Se B ha una proprietà, quindi D avrà per definizione anche quella stessa proprietà, perché è quello che quella relazione significa; la "sostanza" di D è in qualche modo alterata dalla sua relazione con B.

interfacce forniscono alcuna implementazione, in modo che quando si dice ID : IB, non si stanno realmente dicendo IDè unIB nello stesso modo in cui si fa con le classi. Cosa significherebbe? ID e IB non sono cose; sono accordi. Non c'è niente da cambiare. Invece, stai dicendo "una classe che implementa ID deve anche fornire un'implementazione per IB".

Il fatto che ID derivi da IB non cambi ID perché non ha sostanza da modificare. Significa semplicemente che qualsiasi classe che promette di soddisfare il contratto specificato da ID deve anche essere pronta ad aderire ad un insieme aggiuntivo di requisiti.

Tenendo questo in mente, se IB fornisce una proprietà X, la risposta corretta a "non ID ha una proprietà X?" è no. ID richiede anche di implementare IB, che ha una proprietà X, ma non ha una proprietà X.