Почему общая котировка прерывания генерируется, даже если она ограничена?

Question

У меня есть следующий интерфейс:

public interface ICommand<TMessage> 
    where TMessage : MessageBase 
{ 
    TMessage Message { get; set; } 
} 

Я хотел бы быть в состоянии бросить реализации IMessage но чтобы это было возможно, параметр типа должен быть ковариантны, например, так:

public interface ICommand<out TMessage> 
    where TMessage : MessageBase 
{ 
    TMessage Message { get; set; } 
} 

Но тогда компилятор жалуется: параметр типа «TMessage» должен быть инвариантным для ICommand.Message. «TMessage» является ковариантным. Если я удаляю сеттер, все работает отлично.

Однако, я не понимаю, почему это сеттер представляет проблему теоретически, потому что я уточнил, что свойство Message может сохранить только ссылку на экземпляры более производных типов MessageBase ...

Answer 1

Ничего, после предоставления это немного больше мысли, на самом деле довольно легко увидеть.

Пусть I экземпляр DerivedCommand<T> (который реализует ICommand<T>)

var derivedCommand = new DerivedCommand<DerivedMessage>(); 

, а затем бросить его ICommand<MessageBase>

var command = (ICommand<MessageBase>) derivedCommand; 

Это будет означать, что теперь я могу назначить любой экземпляр типа в сообщение имущество. Но, поскольку свойство действительно имеет тип DerivedMessage, который является более производным, чем , он не работает во всех случаях (где AnotherMessage происходит от , но не от DerivedMessage). Поэтому сеттеры не могут быть ковариантными, даже если тип ограничен.