Блог

Допустим, я наследую от IMyManager setModel. Если бы я это реализовал, я бы обычно написал:

 using lib.model;

namespace MyComponents
{
    public class MyManager:IMyManager
    {

        public void SetModel(ILibModel model)
        {

        }

    }
}
  

Это нормально для компилятора.

Теперь предположим, что вместо ILibModel я передаю конкретный класс MyModel, который реализует ILibModel.

Почему компилятор не принимает это, тогда как MyModel имеет тип ILibModel :

 namespace MyComponents
{
    public class MyManager:IMyManager
    {

        public void SetModel(MyModel model) {

        }
    }
}
  

Предполагая, что это MyModel реализует ILibModel причину, по которой это не работает, заключается в том, что, хотя все MyModel типы являются ILibModel типами, обратное не выполняется. Это означает, что не все ILibModel типы являются MyModel типами.

В интерфейсе явно указано, что он ДОЛЖЕН принимать ILibModel типы. Итак, реализация, которая принимает just MyModel , не соответствует вашему контракту на интерфейс из-за того факта, что тип, скажем, MyOtherModel который также реализует ILibModel , является допустимым типом, который должен передаваться на основе контракта вашего интерфейса.

Единственным способом обойти это было бы потенциально использовать обобщения в интерфейсе. Примером является:

 public interface IMyManager<TModel>
    where T : ILibModel
{
    void SetModel(TModel model);
}

public class MyManager : IMyManager<MyModel>
{
    void SetModel(MyModel model)
    {

    }
}
  

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

Потому что вы предоставляете перегрузку для функции setModel. Что касается компилятора, возможно, вы хотите разрешить программисту делать что-то более конкретное с конкретным типом, одновременно выполняя что-то еще с версией интерфейса.

потому что кто-то мог позже написать:

 ((IMyManager)myManager).SetModel(new OtherClassThatImplementsILibModel());
  

Потому что так IMyManager определяется SetModel .