TypeScript为何不对条件添加的未定义对象属性触发类型报错？

这是TypeScript里很典型的行为差异，核心原因在于**额外属性检查（Excess Property Checks）**的触发逻辑，以及动态表达式的类型推断规则。

两种场景的差异分析 #

1. 直接添加属性时触发报错 #

当你直接写：

filters = {...filters, tags: ['tag']}

这里的{...filters, tags: ['tag']}是一个对象字面量，TypeScript会对直接赋值给明确类型（Filters）的字面量执行额外属性检查——它会严格比对字面量属性和目标类型的属性，一旦发现不存在的属性就抛出错误，这就是你看到预期提示的原因。

2. 条件展开时不触发报错 #

而当你用条件表达式展开时：

filters = { ...filters, ...(condition && {...{ tags: ['tag']}}), }

这里的condition && {...{ tags: ['tag']}}是一个动态表达式，它的类型被推断为{ tags: string[] } | undefined（condition为真时返回包含tags的对象，为假时返回undefined）。

TypeScript的额外属性检查仅针对直接的对象字面量，不会对动态表达式的结果触发。同时，当展开一个联合类型（{ tags: string[] } | undefined）时，TypeScript会放宽类型检查——它无法在编译期确定最终展开的是哪个分支，因此不会严格校验额外属性。最终包含tags的对象被合并到filters中，绕过了类型检查。

如何让条件展开时也触发预期报错？ #

如果你希望TypeScript在这种场景下也检测到额外属性，可以通过以下方式约束类型：

方法1：用类型断言明确标记非法属性 #

将条件表达式的结果断言为never，让TypeScript知道这个对象不符合目标类型：

type Filters = { keywords: Array<string> }
const condition = 1;
let filters: Filters = {keywords: ['keyword']}

filters = { 
  ...filters, 
  ...(condition && ({ tags: ['tag'] } as never)), 
}
// 报错：类型 "never" 上不存在属性 "tags"

方法2：使用类型安全的合并函数 #

定义一个仅允许合并Filters属性的辅助函数，强制校验额外属性：

type Filters = { keywords: Array<string> }
const condition = 1;
let filters: Filters = {keywords: ['keyword']}

// 只接受Filters的部分属性作为额外参数
function mergeFilters(base: Filters, extra: Partial<Filters>): Filters {
  return {...base, ...extra};
}

filters = mergeFilters(filters, condition ? { tags: ['tag'] } : {});
// 报错：类型 "{ tags: string[]; }" 的参数不能赋给类型 "Partial<Filters>" 的参数
// 属性 "tags" 不在类型 "Partial<Filters>" 中

方法3：提前约束条件表达式的类型 #

给条件表达式的结果指定类型，让TypeScript明确它不符合Filters：

type Filters = { keywords: Array<string> }
const condition = 1;
let filters: Filters = {keywords: ['keyword']}

const extra = condition ? { tags: ['tag'] } : {} as Partial<Filters>;
filters = { ...filters, ...extra };
// 报错：类型 "{ tags: string[]; }" 不能赋给类型 "Partial<Filters>"

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