Назначьте подкласс для интерфейса с использованием обобщенных и ковариантных элементов
Я определил 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>
Так есть ли способ, как я могу выполнить задание? Заранее спасибо.
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
,