Typescript中两种Props类型定义的差异及报错原因咨询

两段代码的核心差异在于reference字段的类型声明逻辑：

第一段：可选的普通数组类型 #

reference?: { title: string; link: string }[];

这是TypeScript里标准的元素类型为指定对象的数组声明，reference的合法取值包括：

• undefined（因为带?可选标记）
• 空数组[]
• 包含任意数量（0个或多个）符合结构的对象的数组

这种写法灵活性高，只要数组元素结构匹配就不会触发类型错误，所以第一段代码没有问题。

第二段：可选的单元素元组类型 #

reference?: [{ title: string; link: string }];

这里用方括号包裹单个类型的写法是元组类型声明，它对取值有严格限制：
reference的合法取值只能是undefined，或者恰好包含1个符合结构的对象的数组。

你第二段代码报错，大概率是给reference赋值时违反了这个要求，比如：

• 赋值了空数组[]
• 赋值了包含2个及以上元素的数组
• 某些场景下类型推断认为取值可能不符合元组的固定长度规则

举个报错示例：

// 第二段代码下，以下赋值会触发类型错误
const invalidProps: Props = {
  reason: {
    id: 1,
    title: "示例",
    description: "描述",
    reference: [] // ❌ 空数组不符合单元素元组的要求
  }
};

内容的提问来源于stack exchange，提问作者Sana