為什么 typescript 無法正確推斷類型

Question

type A2 = {
    label: 'name';
    render: (v: string) => any;
  } | {
    label: 'age';
    render: (v: number) => any;
  } | {
    label: ['name'];
    render: (v: string) => any;
  } | {
    label: ['age'];
    render: (v: number) => any;
  }

  const a1: A2 = {
    label: 'age',
    render: (v) => v,
  }

  const a2: A2 = {
    label: ['name'],
    render: (v) => v,
  }

在 a1 中，渲染的“v”被正確推斷為“數字”。但在 a2 中，它是“任何”。我想知道差異是什么以及為什么。 這是 Typescript 的錯誤嗎？

Answer 1

只需按照 Samuli Hakoniemi 在評論中的建議將其發布為答案，以方便未來的觀眾。

您需要在數組定義中使用聯合：

type A2 = {
    label: 'name' | 'age';
    render: (v: string | number) => unknown;
  } | {
    label: ['name' | 'age'];
    render: (v: string | number) => unknown;
  }

  const a1: A2 = {
    label: 'age',
    render: (v) => v,
  }

  const a2: A2 = {
    label: ['name'],
    render: (v) => v,
  }

Typescript 游樂場在這里