TypeScript 结构类型检查 - 联合和相交类型

Question

我是打字稿的新手。我一直在玩联合和交叉类型的形状，并遇到了一些我没想到的东西......

如果我创建两个形状如下：

type Person = {
    name: string,
    occupation?: string
}

type Animal = {
    name: string
    gestationPeriodDays: number
}

然后我创建这两个形状的并集和一个交叉点，就像这样......

type AnimalUnionPerson = Animal | Person

let humanzeeAllFields: AnimalUnionPerson = {
    name: "Humanzee",
    gestationPeriodDays: 60,
    occupation: "Banana Farmer"
}

type AnimalIntersectPerson = Animal & Person 

let animalIntersectPerson = {
    name: "Shape Intersect",
    gestationPeriodDays: 24,
    occupation: "Data Scientist"
}

然后我创建了一个简单的函数，将交集类型作为参数...

function printOutIntersection(toPrint: AnimalIntersectPerson) {
    console.log(toPrint.name)
    console.log(toPrint.occupation) // With union of shapes, no need for User Defined Type Guard
    console.log(toPrint.gestationPeriodDays)
}

现在我可以将animalIntersectPerson 传递给函数，但不能将humanzeeAllFields 作为参数传递给函数，即使形状本身具有相同的字段。我希望能够给出由 TypeScript 执行的结构类型检查。谁能解释一下为什么会这样？

Answer 1

事实上，AnimalUnionPerson 和 AnimalIntersectPerson 并没有提供相同的结构：

AnimalUnionPerson
- name //required
- occupation //optional
- gestationPeriodDays //Because of the union typing this is optional

AnimalIntersectPerson
- name //required
- occupation //optional
- gestationPeriodDays //in this case it's required

如您所见，gestationPeriodDays 状态的变化取决于使用联合类型或交集。

Answer 2

路口类型

当你有一个Animal & Person类型的值时，这意味着这个值保证是Animal AND Person。

联合类型

当给定类型为Animal | Person 的值时，它可以是Animal 或Person。甚至可以两者兼而有之。与交叉点相比，不能保证值同时为Animal 和Person。

要表达一个值是Animal XOR Person，您可以使用discriminated union type（求和类型）。

---

延续到您的示例：

printOutIntersection 需要一个交集类型Animal & Person。 humanzeeAllFields 是联合类型Animal | Person，因此不能保证既是Animal 又是Person。

因为Person 不是assignable 到Animal（Animal 单独有一个gestationPeriodDays 属性），所以使用humanzeeAllFields 类型的humanzeeAllFields 调用printOutIntersection 是无效的@。

Playground