为何TypeScript变量传参调用函数未触发类型错误？

示例代码 #

const fn1 = (arg1: {
    key: number,
})=>{
    console.log(arg1)
}

// 正常通过：仅包含必填属性的字面量
fn1({
 key: 1
})

// 正常通过：包含额外属性的变量传入
const data = {
    key: 1,
    a: 1,
}
fn1(data)

// 报错：直接传入包含额外属性的字面量
fn1({
    key: 1,
    a: 1,
})

原因解析 #

这是TypeScript两种不同类型检查逻辑导致的：

1. 对象字面量的额外属性检查
   当直接把对象字面量作为函数参数传入时，TypeScript会启动「额外属性检查」——这是专门针对字面量的严格校验机制，用来避免拼写错误或意外传入未定义的属性。只要字面量包含目标类型中未声明的属性，就会触发报错。

2. 结构化类型兼容性的宽松检查
   当把对象赋值给变量后，TypeScript会自动推断变量的完整类型（比如示例中data的类型会被推断为{ key: number; a: number }）。而TypeScript的核心类型系统是结构化类型：只要传入的对象包含目标类型要求的所有必填属性，就认为两者类型兼容，不会检查额外属性。所以data可以顺利传入只要求key属性的fn1。

额外提示 #

如果想让变量传参也触发严格的额外属性检查，可以通过显式指定变量类型实现：

// 显式指定类型后，赋值时就会报错
const data: { key: number } = {
    key: 1,
    a: 1, // 此处会触发类型错误
}

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