Question

给出两个具有冲突成员类型的接口：

interface A { x: number }
interface B { x: string }

无法定义扩展两者的接口：

interface I extends A, B
// error TS2320: Interface 'I' cannot simultaneously extend types 'A' and 'B'.
// Named property 'x' of types 'A' and 'B' are not identical.

可以定义包含A和B的交叉点类型：

let c = A & B
type C = A & B 
// no type errors

虽然无法创建此类型的实例：

let withNumber: C = { x: 10 }
error TS2322: Type '{ x: number; }' is not assignable to type 'A & B'.
Type '{ x: number; }' is not assignable to type 'B'.
Types of property 'x' are incompatible.
Type 'number' is not assignable to type 'string'.

let withString: C = { x: "foo" }
// The same type error, with `number` and `string` reversed

是否存在技术原因，交叉类型在定义时不报告冲突？

Answer 1

type个操作数can be type parameters; interface... extends操作数必须是具体类型。

这种区别使type比interface更灵活（它几乎是type的动机）。

一个结果是type运算符无法提前知道其完整的成员类型集，因此无法检测到此示例之类的冲突。

To quote Anders Hejlsberg，

现在，操作数的类型参数的能力也很深影响运算符的（可能的）语义。特别是运算符必须始终为任何两个未知的操作数工作成员集，因为它不可能有意义地报告错误在类型实例化期间（即当真实类型被替换时）类型参数）。这就产生了与...之间的差异。并扩展。因为我们总是知道实际的类型可以做更多检查和禁止我们认为错误的结构经典的OOP观点。例如，我们可以在属性时出错同名但不同的类型与extends冲突，而我们用＆amp;。
合并（即交叉）他们的类型

有关详细信息，请参阅Github issue with a similar question和pull request for intersection types。

为什么交集类型包含冲突类型？

1 个答案: