ein Get/Set Property Aufschalten Be Get-Nur Noch können Sie festlegen Es

Question

dieses kurzes Beispiel vor:

class Program 
{ 
    private abstract class PropertyExample 
    { 
     public virtual bool Property { get; set; } 
    } 

    private class GetOnlyProperty : PropertyExample 
    { 
     private bool property = false; 
     public override bool Property => property; 
    } 

    static void Main(string[] args) 
    { 
     GetOnlyProperty example = new GetOnlyProperty(); 
     example.Property = true; 
    } 
} 

Auch wenn ich Property in der GetOnlyProperty Klasse overrode wird nur get-ich noch in der Lage bin um es in Main() einzustellen. Warum ist das möglich?

Answer 1

Durch an der erzeugten CIL-Code suchen, es stellt sich heraus, dass Ihr die Getter-Methode überschreiben sie von makking nur in der abgeleiteten Klasse lesen:

public override bool Property => property; 

aber noch erben die Setter, so dass, wenn Sie die Set Eigenschaft haben Sie weiterhin Zugriff auf die Setter-Methode der Basisklasse.

Answer 2

Die Sprache kann Ihnen nicht erlauben, das zu tun, was Sie hier erreichen wollen. Das Likov-Substitutionsprinzip erfordert, dass eine abgeleitete Klasse überall dort substituierbar ist, wo eine Basisklasse erwartet wird. Damit diese Eigenschaft zutrifft, muss jedes zugreifbare Mitglied der Basisklassenschnittstelle vorhanden sein und in der abgeleiteten Klasse zugänglich sein.