Может родовое коллекция предотвратить добавление производных объектов

Question

Предоставлено класс и подкласс

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

public class Derived : Base 
{ 
    public string Extra {get; set; } 
} 

и общий список

var list = new List<Base>(); 

Я хочу, чтобы предотвратить это:

var b = new Base { Name = "base" }; 
var d = new Derived { Name = "derived", Extra = "stuff" }; 

list.Add(b); // this is good 
list.Add(d); // this is BAD 

Причиной для предотвращения этого является список, который будет сериализован таким образом, который теряет информацию о типе, затем ресериализуется до List<Base>. Любые элементы, получаемые frome Base, потребуют downcasting для типа, неизвестного десериализатором (я, конечно, не хочу использовать отражение, чтобы найти класс, который наследует от Base и имеет свойство «Extra»). Возможно, я буду бороться с подходами, чтобы решить это, и это может привести к другому вопросу. Но на данный момент я могу избежать проблемы, не добавляя добавленные производные объекты в общий список?

Answer 1

Нет, это не возможно с помощью системы C# типа. Вся посылка наследования состоит в том, что производные объекты могут обрабатываться так, как если бы они являлись экземпляром любого из их базовых типов (или интерфейсов).

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

Answer 2

Почему не простая проверка:

if(!obj is Derived) 
{ 
    list.Add(obj); 
} 

Если вы хотите сравнить с точно базового класса, то вы можете сделать:

if(obj != null && obj.GetType() == typeof(Base)) 
{ 
    list.Add(obj); 
} 

Помните, эти проверки не может предотвратить код без этих проверок, добавить объект дочернего класса в список. Другой вариант заключается в создании пользовательского класса List<T>, выводя из List<T> и поставить метод new Добавить как объяснено в this answer.

Answer 3

public class UberStrongTypedList<T> : IList<T> 
{ 
    private readonly IList<T> _list = new List<T>(); 

    public void Add(T item) 
    { 
     if (item.GetType() == typeof (T)) 
      _list.Add(item); 
     else 
      ;//some error 
    } 

    public void Clear() 
    { 
     _list.Clear(); 
    } 

    //SNIP... 
} 

Answer 4

Подкласс список:

private class Parent 
{ 
    public int ID { get; set; } 
} 

private class Child : Parent 
{ 

} 

private class MyList : List<Parent> 
{ 
    public new void Add(Parent item) 
    { 
     //runtime type check in case a Parent-derived object reaches here 
     if (item.GetType() == typeof(Parent)) 
      base.Add(item); 
     else 
      throw new ArgumentException("List only supports Parent types"); 
    } 

    [Obsolete("You can't add Child types to this list", true)] 
    public void Add(Child item) 
    { 
     throw new NotImplementedException(); 
    } 
} 

static void Main(string[] args) 
{ 
    var list = new MyList(); 
    list.Add(new Parent() { ID = 1 }); 
    list.Add(new Child() { ID = 2 }); //This gives a compiler error 
} 

Обратите внимание, что Устаревший атрибут с истинным параметром является то, что вызывает ошибку компилятора.