在打字稿中提供一种对象类型

Question

如果我输入以下内容：

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

type Z = A | B;

// here it allows me to create a variable of type Z with both members of type A and B.
let z: Z = {
    x: 5,
    y: 6,
}

我无法确保 Z 类型的对象确实包含 A 的所有成员，但不包含 B 的成员（或相反）。 TypeScript 有可能吗？经过大量研究，我倾向于“否”的答案，但我不确定。

Answer 1

默认情况下，联合将所有提供的选项合并为一个，但您有两个选项。 TypeScript 中没有你想要的东西，但是 TS 项目的列表中存在类似的问题（状态：此时为“打开”）以及两个很好的解决方法。

一个选项不可用：目前 TypeScript 中没有确切的类型 (unlike in Flow)。有一个 TS 问题 #12936 "Exact Types"，目前仍处于开放状态。

TS 的未决问题列表中还有另一个问题/建议，它准确地询问了您的问题：#14094 "Proposal: Allow exclusive unions using logical or (^) operator between types"

您可以使用以下解决方法：

选项 #1

在 TypeScript 和 Flow 中，您可以使用标记类型来创建 XOR 联合而不是 OR 联合。

interface A {
    kind: 'A',
    x: number
}
interface B {
    kind: 'B',
    y: number
}

type Z = A | B;

// here it DOES NOT allow to create a variable of type Z with both members of type A and B.
let z: Z = {
    kind: 'A',
    x: 5
    // y: 6 will produce an error
}

• TS documentation on Discriminated Unions

• Blog post about tagged union types introduced in TS 2.0 (link).

选项 #2

第二个选项是设置所有类型的所有属性，但将那些不应该存在的设置为undefined：

interface A {
    x: number,
    y?: undefined
}
interface B {
    x?: undefined,
    y: number
}

type Z = A | B;

let z: Z = {
    y: 5
    // y: 6 will produce an error
}

作为记录，在 Facebook 的类型系统 Flow 中，您可以通过使用 不相交联合 (XOR) 而不仅仅是联合 (OR) 或使用精确的对象类型或作为对于上面的 TS，将不需要的属性设置为 undefined。 I made a Flow demo with your example (link)。在这种情况下，Flow 的代码与 TS 的代码相同。