Переопределение автоматического свойства

Question

с этого

public int MyInt{ get; set;} 

эквивалентно

private int _myInt; 
public int MyInt{ get{return _myInt;} set{_myInt = value;} } 

когда вы делаете автоматического свойство виртуального

public virtual int MyInt{ get; set;} 

, а затем переопределить это свойство в дочернем классе

public override int MyInt{ get{return someVar;} set{someVar = value;} } 

У этого класса ребенка теперь есть неудобное и скрытое выделение _myInt?

Answer 1

Короткий ответ: Да, Child выделяет все Base поля класса, поэтому он все еще имеет поле подкладочный выделены. Однако вы не можете получить к нему доступ иначе, чем через Base.MyInt.

Длинный ответ:

Быстрый разборке результаты.Реализация

Base и Child классов:

public class Base 
{ 
    public virtual int MyInt { get; set; } 
} 

public class Child : Base 
{ 
    private int anotherInt; 

    public override int MyInt 
    { 
     get { return anotherInt; } 
     set { anotherInt = value; } 
    } 
} 

Как вы можете видеть, поле подложки существует в Base классе. Однако это частная, так что вы не можете получить доступ к нему из Child класса:

.field private int32 '<MyInt>k__BackingField' 

И ваша Child.MyInt свойство не использует это поле. IL свойство:

.method public hidebysig specialname virtual 
    instance int32 get_MyInt() cil managed 
{ 
    // Method begins at RVA 0x2109 
    // Code size 7 (0x7) 
    .maxstack 8 

    IL_0000: ldarg.0 
    IL_0001: ldfld int32 ConsoleApplication2.Child::anotherInt 
    IL_0006: ret 
} // end of method Child::get_MyInt 

.method public hidebysig specialname virtual 
    instance void set_MyInt (
     int32 'value' 
    ) cil managed 
{ 
    // Method begins at RVA 0x2111 
    // Code size 8 (0x8) 
    .maxstack 8 

    IL_0000: ldarg.0 
    IL_0001: ldarg.1 
    IL_0002: stfld int32 ConsoleApplication2.Child::anotherInt 
    IL_0007: ret 
} // end of method Child::set_MyInt 

Is использует anotherInt поле, как вы могли бы ожидать.

Единственные способы доступа к '<MyInt>k__BackingField' (косвенно, через Base.MyInt собственности) являются:

• base.MyInt внутри Child класса

Answer 2

Да, так же, как если бы оно не было определено как автоматическое свойство.

Распределение необходимо в базовом классе, поскольку оно все еще должно существовать и быть полезным. Базовый класс не имеет знаний о существовании производного класса, и производный класс может использовать поле подкладочного в определении

Если у вас есть база и производный класс определяется как:

public class Base 
{ 
    public virtual string Name {get; set;} 
} 

public class Derived : Base 
{ 
    private string _name; 

    public override string Name 
    { 
    get { 
     return _name; 
    } 
    set 
    { 
     //access the base property we are overriding 
     base.Name = value + " from derived"; 
     _name = value; 
    } 
    } 
} 

Вы можете использовать отражение, чтобы увидеть, что поддержка поля базового класса действительно существует, и ведет себя, как и ожидалось:

Type tbase = typeof(Base); 
FieldInfo fi = tbase.GetField("<Name>k__BackingField", BindingFlags.NonPublic | BindingFlags.Instance); 

Base b = new Base {Name = "Test"}; 

string baseValue = fi.GetValue(b).ToString(); 
Console.WriteLine(baseValue); //gives "Test"; 

Derived d = new Derived {Name = "Test" }; 

string derivedValue = fi.GetValue(d).ToString(); 
Console.WriteLine(derivedValue); //gives "Test from derived"; 

имя фактического поля подложки недокументированная деталь реализации, так что я бы не использовать его в любом производственный код. (Я получил его, используя IL-код LINQPad)

Answer 3

Это не просто эквивалент его фактической реализации. Компилятор перезаписывает ваши автоматические свойства на этапе прекомпиляции. Хотя имя поля будет называться чем-то другим.

В результате поведение будет идентично тому, как вы создадите свойство вручную.

Да, скрытое поле будет существовать, однако оно не будет назначено, потому что ваше переопределение не вызывает базовую реализацию.

если вы изменили переопределение

public override int MyInt 
{ 
    get { return someVar; } 
    set { 
    someVar = value; 
    base.MyInt = value 
    } 
} 

Тогда будет происходить выделение

Answer 4

MyInt поле будет там, и это нужно! Компилятор не может выполнить оптимизацию на основе информации о подклассе. Рассмотрим, например, что производный класс может не присутствовать в упакованной запущенной программе

обновлен, поскольку я неправильно понял часть вопроса. Спасибо @PVitt за указание.