关于TypeScript接口在变量与函数参数中校验逻辑差异的技术问询

这是TypeScript新手经常遇到的典型困惑，核心在于两个关键机制：对象字面量的额外属性检查和结构类型兼容性。我们结合你的场景和代码来逐一拆解：

1. 变量声明时的严格校验（触发额外属性检查） #

当你直接把对象字面量赋值给一个指定了接口类型的变量时，TypeScript会执行最严格的校验：

• 必须包含接口定义的所有必填字段（你的代码里Vehicle要求brand和summary，但vehicle缺少brand，这是第一个报错点）；
• 绝对不能包含接口中未定义的额外字段（你的代码里vehicle多了name属性，这是第二个报错点）。

这种严格校验的目的是帮你避免不小心添加冗余属性或遗漏必填项——TypeScript默认认为直接赋值字面量时，你是想要完全匹配目标接口的结构。

比如你的代码片段：

interface Vehicle {
  brand: string;
  summary: (message : string) => string;
}
// 此处报错：缺少brand，且存在额外属性name
const vehicle: Vehicle = {
  name : 'civic',
  summary : (message: string) => {
    console.log(message);
    return message;
  }
}

2. 函数参数的类型兼容性（不触发额外属性检查，除非直接传字面量） #

当你把一个值传入函数作为参数时，TypeScript会切换到结构类型兼容性（也就是我们常说的鸭子类型）规则：只要传入的值包含接口要求的所有必填字段，即使它有额外的属性，也会被判定为符合类型要求。

举个更清晰的例子：

const myCar = {
  brand: "Honda",
  summary: (msg: string) => msg,
  color: "red" // 额外属性
}

function callme(param: Vehicle) {
  param.summary('Checking');
}

callme(myCar); // 完全不会报错

这里myCar虽然多了color属性，但因为它包含了Vehicle的所有必填字段，TypeScript认为它和Vehicle类型兼容，所以允许传入函数。

注意：直接传对象字面量给函数参数仍会触发检查 #

如果是直接把对象字面量传给函数参数，TypeScript还是会触发额外属性检查，比如：

// 此处会报错：存在额外属性color
callme({
  brand: "Honda",
  summary: (msg) => msg,
  color: "red"
})

这种场景下的校验逻辑和变量声明是一致的，只有当你传入的是一个已经被声明好的变量（而非直接写的字面量）时，才会跳过额外属性检查。

总结 #

• 变量声明（直接赋值字面量）：严格匹配接口，不允许缺字段或多字段；
• 函数参数（传入已声明变量）：只要包含接口所有必填字段即可，允许额外属性；
• 函数参数（直接传字面量）：和变量声明规则一致，严格校验不允许额外字段（可通过as Vehicle类型断言绕过）。

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