Typescript 接口 Inheritance 和 Generics 类型推断

Question

我有一个关于 TypeScript 接口、generics、类... 这是我的问题：假设我有以下接口：

interface Animal {
legs: number;
}
interface Cat extends Animal { 
meouw : string;
}
interface Dog extends Animal { 
waf : stringl 
}

我希望能够做这样的事情：

interface GenericAnimal  { specimen : <T extends Animal> } ;
let someAnimals : GenericAnimal[] = [
{ specimen : {legs : 3, meouw : 'mrrrr'} } , 
{ specimen : {legs : 1, waf : 'hrrr' }
];

因此 GenericAnimal 接口只能具有扩展 Animal 接口的“样本”，但是在初始化 GenericAnimal 实例时，我将能够通过 Intellisense 访问扩展接口的属性。 请注意，使用GenericAnimal<T>不是我的解决方案，因为我的 someAnimals 数组需要保存不同的“动物”（假设我有 100 多个）......使用联合类型也可能不是很好的解决方案。 你有什么建议？ 还有什么方法可以在销毁数组（或遍历数组成员）后推断数组中每个项的类型？Ty

Answer 1

如果您不想使用有区别的 union ，可以使用typeguards ：

interface Animal {
    legs: number;
}
function isAnimal(potentialAnimal: any): potentialAnimal is Animal {
    return typeof potentialAnimal === "object" && "legs" in potentialAnimal && typeof potentialAnimal.legs === "number";
}

interface Cat extends Animal {
    meouw: string;
}
function isCat(potentialCat: any): potentialCat is Cat {
    return isAnimal(potentialCat) && "meouw" in potentialCat && typeof (potentialCat as Cat).meouw === "string"
}

interface Dog extends Animal {
    waf: string;
}
function isDog(potentialDog: any): potentialDog is Dog {
    return isAnimal(potentialDog) && "waf" in potentialDog && typeof (potentialDog as Dog).waf === "string"
}



interface GenericAnimal<T extends Animal = Animal> {
    specimen: T
              & Record<string, any> // Needed to stop extraneous prop check
};
let someAnimals: GenericAnimal[] = [
    {
        specimen: {
            legs: 3,
            meouw: 'mrrrr'
        }
    },
    {
        specimen: {
            legs: 1,
            waf: 'hrrr'
        }
    }
];

someAnimals.map((genericAnimal: GenericAnimal): Animal => {
    return genericAnimal.specimen;
}).forEach(animal =>{
    if(isCat(animal)){
        console.log(animal.meouw);
    } else if(isDog(animal)) {
        console.log(animal.waf);
    }
});


if(isCat(someAnimals[0].specimen)) {
    console.log(someAnimals[0].specimen.meouw);
}

操场