Typescript 中的扩展与交叉点

Question

Typescript 中的扩展类似于 C++ 中的 inheritance。
Typescript 中的交叉点意味着新的 object 将
具有相交类的所有成员。

为什么我们在使用扩展时需要交集
关键字我们可以得到两个类的所有成员
派生的class？

什么是交叉点的用例扩展
不会是首选？

https://www.typescriptlang.org/docs/handbook/2/objects.html#intersection-types

Answer 1

它们的工作方式非常相似，但有一些区别：

1. extends只能用于具有静态已知成员的类型：

type SimpleType = {x: string};
interface SimpleInterface extends SimpleType {} // ok
type ComplexType = {x: string} | {x: number};
// error: An interface can only extend an object type or intersection of object types with statically known members.
interface ComplexInterface extends ComplexType {}

类型交集是一种通用的类型操作，可以对任意两种类型执行，并会给出结果； extends仅限于接口和类接口类型（和类）。

2. 从父接口扩展时，不允许创建与父接口同名但类型更宽的字段：

interface Parent {
    x: string | number;
}
interface Child1 extends Parent {
    x: string; // ok
}
interface Child2 extends Parent {
    x: string | number | boolean; // error
}

但是，类型交集不会抱怨：

type IntersectedChild = Parent & {x: string | boolean}; // ok
// IntersectedChild will have property 'x' that is an intersection
// of 'string | number' and 'string | boolean', that is a 'string':
type IntersectedChildX = IntersectedChild['x']; // string

3. 当使用类extends时，子 class 实际上将继承其父的所有实现； however type intersection only works on type level, so if you have classes A and B and type C = A & B , C is not a class but just a type, and you will need to somehow manually construct an object that will satisfy the contstraints C （具有相同可见度级别的 A 和 B 的所有成员）。

这是一个游乐场链接，其中包含我在上面放置的示例。