Typescript 类型别名允许可选接口

Question

我正在尝试在我的打字稿代码中创建一个新类型，如下所示：

interface required {
  x: string
}

interface optional1 {
  y: string
}

interface optional2 {
  z: string
}

type combined = required & (optional1 | optional2)

我想要的行为是：

• 所需接口的属性绝对应该存在。
• 如果有其他属性，它们必须符合 optional1 或 optional 2

Answer 1

您需要将可选接口中的属性标记为可选，方法是在它们上使用?。

如果你这样做，你的定义就有效，除了一个对象被允许有bothy和z属性（type combined = (required & optional1) | (required & optional2);也是如此，这让我很惊讶） ：

interface required {
  x: string
}

interface optional1 {
  y?: string               // Note the ?
}

interface optional2 {
  z?: string               // Note the ?
}

type combined = required & (optional1 | optional2);

function foo(x: combined): void {

}

foo({ x: "x" });                 // Works
foo({ x: "x", y: "y" });         // Works
foo({ x: "x", y: "y", z: "z" }); // Works
foo({ x: "x", q: "q" });         // Error because of q
foo({ y: "y" });                 // Error because there's no x

Playground Link