TypeScript中@ts-ignore对对象字面量多余属性检查的异常问询

在TypeScript中使用// @ts-ignore或// @ts-expect-error时，对象字面量的多余属性检查会出现不符合预期的行为。以下用// @ts-ignore做统一测试：

先定义类型：

type User = {name: string; surname: string }

创建对象字面量示例：

// user1：添加未声明字段，预期报错（符合预期）
const user1: User = {
    name: '123',
    surname: "123",
    nonExistingProp: 'something',
};

// user2：字段类型错误，预期报错（符合预期）
const user2: User = {
    name: "John",
    surname: 123
}

// user3：同时存在类型错误和多余属性，仅显示第一个错误（TS设计决策）
const user3: User = {
    name: "Ben",
    surname: 123,
    nonExistingProp: 'something'
}

// user4：@ts-ignore本应仅忽略下一行的类型错误，却意外忽略了最后一行的多余属性错误（异常行为）
const user4: User = {
    name: "Rowan",
    // @ts-ignore
    surname: 123,
    nonExistingProp: 'something'
}

// user5：交换两行后，@ts-ignore仅忽略下一行的多余属性错误，最后一行的类型错误正常报错（符合预期）
const user5: User = {
    name: "Rowan",
    // @ts-ignore
    nonExistingProp: 'something',
    surname: 123,
}

对应的现象：

• user1添加未声明字段、user2字段类型错误，均按预期报错；
• user3同时存在两种错误，仅显示第一个错误，这是TS为避免错误泛滥的设计决策；
• user4中@ts-ignore本应仅忽略下一行的类型错误，却意外跳过了多余属性检查；
• user5交换字段顺序后，@ts-ignore仅忽略下一行的错误，剩余错误正常触发，符合预期。

1. 该行为是否为设计决策？背后原因是什么？ #

这个行为不是明确的设计决策，而是TypeScript类型检查器实现机制带来的副作用，核心原因和多余属性检查的特殊性有关：

• 多余属性检查是TypeScript提供的额外语法检查，不属于核心类型系统的一部分。它仅在对象字面量直接赋值给明确类型时触发，目的是帮开发者排查拼写错误或多余字段；
• 当对象字面量中存在其他类型错误（比如user4中的surname类型不匹配），TypeScript的检查器会优先处理核心类型错误。当你用// @ts-ignore忽略了该核心错误后，检查器会认为该对象的类型兼容性已被手动确认，从而跳过后续的多余属性检查步骤；
• 另外，TypeScript的错误报告策略是“优先报告早期错误”，避免一次性抛出大量错误干扰开发者，这也导致当某个错误被忽略后，后续的非核心检查（比如多余属性）不会被执行。

2. 是否属于值得提交的Bug？ #

这个行为是TypeScript的已知实现限制，相关场景已经在官方仓库被多次讨论。如果你的业务场景中这个问题严重影响了代码检查的准确性，是可以提交Bug报告的，但需要注意：

• 提交时需要清晰复现场景，说明预期行为和实际行为的差异；
• TypeScript团队可能会将其归类为“实现复杂度较高的边缘场景”，修复优先级不会太高，因为多余属性检查本身就是非核心的辅助功能。

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