Назначьте подкласс для интерфейса с использованием обобщенных и ковариантных элементов

Question

Я определил 3 интерфейса:

public interface IManufacturerInput
{
}
public interface IManufacturerOutput
{
}
public interface IManufacturerApi<in S, out T>
    where S : IManufacturerInput
    where T : IManufacturerOutput
{
    T Calculate(S);
}

И я определил конкретного производителя:

public class ManufacturerAInput : IManufacturerInput
{
}
public class ManufacturerAOutput : IManufacturerOutput
{
}
public class ManufacturerAApi : IManufacturerApi<ManufacturerAInput, ManufacturerAOutput>
{
     public ManufacturerAOutput Calculate(ManufacturerAInput)
     {
         return null;
     }
}

И в Main() я создал ManufacturerAApi и попытался присвоить его IManufacturerApi.

IManufacturerApi<IManufacturerInput, IManufacturerOutput> api = new ManufacturerAApi();

Но это не удалось. Сообщение об ошибке говорит (просто абстрактное значение):

Can't convert from ManufacturerAApi to IManufacturerApi<IManufacturerInput, IManufacturerOutput>

Так есть ли способ, как я могу выполнить задание? Заранее спасибо.

Answer 1

То, что вы предлагаете, небезопасно. Давайте изменим имена ваших типов, чтобы прояснить проблему:

public interface IPetFood { }
public interface IPetSound { }

public interface IPetCage<in S, out T>
    where S : IPetFood
    where T : IPetSound
{
    T Feed(S s);
}

public class DogFood : IPetFood { }
public class CatFood : IPetFood { }
public class Bark : IPetSound { }

public class DogCage : IPetCage<DogFood, Bark>
{
    public Bark Feed(DogFood input)
    {
        return new Bark();
    }
}

А теперь предположим, что это законно:

IPetCage<IPetFood, IPetSound> api = new DogCage();

Тогда мы могли бы сделать следующее:

api.Feed(new CatFood()); //oops we've just given the dog some catfood.

Назначение не будет работать, потому что S является контрвариантным, что означает, что любой возможный IPetFood перешел в api.Feed должен быть подтипом DogFood и у вас есть противоположность; IPetFood это надмножество DogFood,