Проблемы с конфликтами/ковариации с генериками

Question

Я пытаюсь создать типы конкретных классов, но я не могу вернуть их обратно в качестве своего общего представления, может кто-нибудь, пожалуйста, скажите мне, как этого достичь? Я немного озадачен контр/ковариационной магией

public DashboardNotification<IDashboardEntry> Get() 
{ 
    //return new MyNotWorkingNotification(); // doesn't compile, I want to achieve this 
    return new MyWorkingNotification(); // compiles 
} 

public class DashboardNotification<T> where T : IDashboardEntry 
{ 
} 

public interface IDashboardEntry 
{ 
} 

public class MyNotWorkingNotification : DashboardNotification<MyDashboardEntry> 
{ 
} 

public class MyWorkingNotification : DashboardNotification<IDashboardEntry> 
{ 
} 

public class MyDashboardEntry : IDashboardEntry 
{ 
} 

Answer 1

Давайте переименуем ваши типы.

interface IAnimal {} 
class Cage<T> where T : IAnimal {} 
class Tiger : IAnimal {} 

Ваш вопрос: У меня есть Cage<Tiger>, и я хочу использовать его в качестве Cage<IAnimal> потому тигр животное.

Теперь вы видите, почему это незаконно? В клетке тигров могут храниться только тигры; клетка животных может содержать любое животное. Если клетку тигров можно использовать в качестве клетки животных, то вы можете положить рыбу в клетку тигра, которая не сделает ни тигра, ни рыбу очень счастливой.

Что вы хотите, это общая ковариация классов, но C# поддерживает только общую ковариацию на интерфейсах и делегатах.