typescript：扩展多种类型的模板化接口数组

Question

这是我的问题的一个最小示例

interface Dog {
  legs: number;
}

interface Person {
  arms: number;
}

type Living = Person | Dog;

interface Speaker<T extends Living> {
  speak: (living: T) => void;
};

const michel: Speaker<Person> = { speak: (person) => console.log(`I have ${person.arms} arms`) };

const speakers: Array<Speaker<Living>> = [michel];

它抛出这个错误

Type 'Speaker<Person>' is not assignable to type 'Speaker<Living>'.
  Type 'Living' is not assignable to type 'Person'.
    Property 'harms' is missing in type 'Dog' but required in type 'Person'

我想要一个Speaker 数组，它接受任何类型的Living。

感谢您的宝贵时间！

Answer 1

按照您定义事物的方式，Speaker<Living> 表示具有 speak 函数的对象，该函数接受 Person | Dog 作为其参数。当您创建michel 时，您有以下功能，如果给定Person，则可以正常工作：

(person) => console.log(`I have ${person.arms} arms`)

但如果给定Person | Dog，它将无法工作，因为它试图访问狗的.arms 属性。这种不匹配和其他原因是打字稿告诉您不能将Speaker<Person> 分配给Speaker<Living> 的原因

如果您希望数组是对象的混合，其中一些使用Persons 作为其说话功能，其中一些使用Dogs，那么其类型将是：

const speakers: Array<Speaker<Person> | Speaker<Dog>> = [michel];

---

编辑：如果您的 Living 联合很大，或者您希望扬声器在更多类型添加到 Living 时自动更新，那么您可以使用以下内容获取打字稿为您生成 Speaker<Person> | Speaker<Dog> 联合：

type Distribute<T> = T extends Living ? Speaker<T> : never;

const speakers: Array<Distribute<Living>> = [michel];
// speakers is of type Array<Speaker<Person> | Speaker<Dog>>

Playground link