在 C# 的接口实现中使用继承的接口

Question

如何实现获得继承接口的函数？ 我有这些接口：

interface IAnimal
interface IDog : IAnimal
interface ICat : IAnimal

interface IShelter
class DogShelter : IShelter
class CatShelter : IShelter

现在我希望 IShelter 有一个功能：

Store(IAnimal animal)

但我希望 DogShelter 像这样实现它：

Store(IDog animal) 

和 CatShelter 是这样的：

Store(ICat animal).

有没有办法做到这一点？ 除了让 DogShelter 实现 Store(IAnmial animal) 并检查“if(animal is IDog)”吗？

我应该先使用 Store(IAnimal animal)，然后使用 (IDog)animal 进行投射吗？

（我想使用 IDog 和 ICat 的接口继承。在真实代码中类继承是不可能的） （此时计算时间有点重要。使用 Store(IDog animal) 而不是检查“if(animal is IDog)”是否更便宜？还是只是为了方便？）

Answer 1

这里是解决方案。你应该使用generics constraints。

        interface IShelter<T> where T : IAnimal
    {
        void Store(T animal);
    }
    class DogShelter : IShelter<IDog>
    {
        public void Store(IDog animal)
        {
            throw new NotImplementedException();
        }
    }
    class CatShelter : IShelter<ICat>
    {
        public void Store(ICat animal)
        {
            throw new NotImplementedException();
        }
    }