создание экземпляров общих классов в C#

Question

В приведенном ниже коде представлен вывод;

Эрни Bert Elmo

Почему последний выход Elmo? Разве это не Эрни? Потому что я создаю объект dog.Creature с new Cat();. Я думал, что свойство Name класса Cat переопределяет свойство Name класса Creature.

class Class1 
{ 
    public static void Main(string[] args) 
    { 
     var dog = new Dog(); 
     var cat = new Cat(); 
     dog.Creature = new Cat(); 

     Console.WriteLine(cat.Name); //outputs Ernie 
     Console.WriteLine(dog.Name); //outputs Bert 
     Console.WriteLine(dog.Creature.Name); //outputs Elmo, why not Ernie? 
     Console.Read(); 
    } 
} 
public class Animal<T> where T : Creature 
{ 
    public T Creature { get; set; } 
    private string _name = "Oscar"; 
    public string Name { get { return _name; } set { _name = value; } } 
} 
public class Creature 
{ 
    private string _name = "Elmo"; 
    public string Name { get { return _name; } set { _name = value; } } 
} 
public class Cat : Creature 
{ 
    private string _name = "Ernie"; 
    public string Name { get { return _name; } set { _name = value; } } 
} 
public class Dog : Animal<Creature> 
{ 
    private string _name = "Bert"; 
    public string Name { get { return _name; } set { _name = value; } } 
} 

Answer 1

Во-первых, это не имеет ничего общего с дженериками. Вы получите точно такое же поведение, если вы пишете:

Creature cat = new Cat(); 
Console.WriteLine(cat.Name); 

Не забывайте, что тип во время компиляции Dog.Creature является Creature.

Я думал, что свойство Name класса Cat переопределяет свойство Name класса Creature.

Нет, потому что это не виртуальная собственность, и вы не использовали override. Вы должны иметь время компиляции предупреждение явно о том, что вы скрываете член, не перекрывая его:

Test.cs(30,19): warning CS0108: 'Cat.Name' hides inherited member 
     'Creature.Name'. Use the new keyword if hiding was intended. 

При изменении Cat и Creature быть, как это, он будет работать:

public class Creature 
{ 
    private string _name = "Elmo"; 
    public virtual string Name { get { return _name; } set { _name = value; } } 
} 

public class Cat : Creature 
{ 
    private string _name = "Ernie"; 
    public override string Name { get { return _name; } set { _name = value; } } 
} 

... но лично я постараюсь избежать этого в любом случае. Почему бы просто не использовать установщик в Creature? Почему вы хотите, чтобы в объекте Cat было два поля _name? Не похоже, что они предназначены для различных целей, не так ли?

Непонятно, чего вы пытаетесь достичь, но я почти наверняка дал бы классу Creature конструктор, принимающий имя в качестве параметра. Вероятно, я бы сделал свойство read-only, если это вообще возможно.

Answer 2

Я думал, что имя свойства класса Cat переопределяет имя свойства класса Creature

Нет, это скрывает это. У вас есть два разных свойства с тем же именем. Если вы хотите переопределение это, вам нужно сделать базовую свойство virtual и использовать override ключевое слово на унаследованный класс:

public class Creature 
{ 
    private string _name = "Elmo"; 
    public virtual string Name { get { return _name; } set { _name = value; } } 
} 
public class Cat : Creature 
{ 
    private string _name = "Ernie"; 
    public override string Name { get { return _name; } set { _name = value; } } 
} 

Как к почему вы видите «Элмо» вместо «Эрни» - это потому, что Dog является Animal<Creature>, поэтому собственность Dog.Creature имеет тип Creature.Даже если вы переходите в Cat, поскольку свойство Name не является переопределенным, Creature.Name. Если бы у вас было overrodeName, тогда вместо него назовем Cat.Name.

Answer 3

Хорошей практикой является ознакомление с предупреждениями, предоставленными IDE.

warning CS0108: 'Program.Cat.Name' hides inherited member 'Program.Creature.Name'. Use the new keyword if hiding was intended. 
warning CS0108: 'Program.Dog.Name' hides inherited member 'Program.Animal<Program.Creature>.Name'. Use the new keyword if hiding was intended.