C# вентиляционных дженерик

Question

Я определил абстрактный класс с абстрактным ограничением:

abstract class Asset<P> where P : Parm { } 
abstract class Parm { } 

class StockParm : Parm { } 
class Stock : Asset<StockParm> { } 

class BondParm : Parm { } 
class Bond : Asset<BondParm> { } 

List<Asset<Parm>> assets = new List<Asset<Parm>>(); 
Stock stock; 
assets.Add(stock); 

Но я получил сообщение об ошибке:

«Невозможно преобразовать тип запас в актив»

Есть ли способ перечислить все assets?

Благодаря

Answer 1

Вы должны объяснить компилятору, что Asset<Derived> является Asset<Base>. Компилятор компилирует общие классы в отсроченные классы - по одному для каждого T. Имя сообщения компилятору о том, что оно «нормально», равно covariant.

MSDN:

ковариации - Позволяет использовать более производный тип, чем первоначально указано. Вы можете присвоить экземпляр IEnumerable (IEnumerable (Of Derived) в Visual Basic) переменной типа IEnumerable.

Изменение Asset<T> к интерфейсу и добавьте out keyword:

interface Asset<out P> where P : Parm { } 

---

public static class Program 
{ 
    public static void Main(string[] args) 
    { 
     List<Asset<Parm>> assets = new List<Asset<Parm>>(); 
     Stock stock = new Stock(); 
     assets.Add(stock); 
    } 
} 

public abstract class Parm { } 
public class StockParm : Parm { } 

public interface Asset<out P> where P : Parm { }  
public class Stock : Asset<StockParm> { } 

Answer 2

Пожалуйста, попробуйте следующее

List<Asset<StockParm>> assets = new List<Asset<StockParm>>();