能否定义始终触发额外属性检查的TypeScript接口/类型？

好问题！首先得明确：TypeScript本身没有原生的「final接口」特性来完全禁止非对象字面量的额外属性——这是由它的结构化类型系统设计决定的：只要对象包含接口要求的所有属性，就会被认为类型兼容，不管有没有额外属性。不过我们有几个实用技巧可以近似实现这个严格校验的需求：

方案1：用never索引签名锁死额外属性 #

你可以给接口添加一个字符串索引签名，把所有未明确声明的属性类型设为never。这样不管是直接传对象字面量，还是先赋值给变量再传入，只要有额外属性就会触发类型错误：

interface Example {
  id: number;
  name: string;
  // 禁止任何未明确声明的额外属性
  [key: string]: never;
}

function doSomething(ex: Example) { /* ... */ }

// 直接传带额外属性的字面量：报错
doSomething({ id: 42, name: "Life, the Universe, and Everything", extra: "not allowed" });
// 错误：类型'string'不能赋值给类型'never'

// 先赋值给变量再传：同样报错
const ex = { id: 42, name: "Life, the Universe, and Everything", extra: "not allowed" };
doSomething(ex);
// 错误："{ id: number; name: string; extra: string; }"无法赋值给"Example"

⚠️ 注意：这个方案的局限是，接口本身不能再有其他合法的动态属性（比如你原本需要支持某些字符串索引的属性），因为它会一刀切禁止所有未明确声明的键。

方案2：用工具类型强制严格匹配接口 #

如果不想修改原接口的定义，可以创建一个工具类型，确保传入的类型和目标接口完全一致（没有任何额外属性）：

interface Example {
  id: number;
  name: string;
}

// 工具类型：双向约束，确保T和Example完全匹配
type Exact<T, U> = T extends U ? (U extends T ? T : never) : never;

// 用泛型+Exact类型约束参数
function doSomething<T extends Example>(ex: Exact<T, Example>) { /* ... */ }

// 带额外属性的字面量：报错
doSomething({ id: 42, name: "Life, the Universe, and Everything", extra: "not allowed" });

// 先赋值给变量再传：同样报错
const ex = { id: 42, name: "Life, the Universe, and Everything", extra: "not allowed" };
doSomething(ex);

// 完全匹配的对象：正常通过
const validEx = { id: 42, name: "Life, the Universe, and Everything" };
doSomething(validEx);

这个方案的原理是通过双向类型兼容检查：只有当T可以赋值给Example，同时Example也可以赋值给T时，才说明两者完全一致（没有额外属性），否则返回never类型触发错误。

为什么TypeScript默认只检查对象字面量的额外属性？ #

TypeScript的结构化类型系统核心是「鸭子类型」——只要对象具备目标类型的所有必要属性，就认为它符合该类型。额外属性检查只针对字面量，是为了在开发阶段快速捕获拼写错误、多余属性这类低级问题，但又不会过度限制代码灵活性（比如允许传递包含更多属性的复用对象，这在实际开发中很常见）。

终极方案：类型检查+运行时校验 #

如果你的场景需要绝对严格的属性控制，建议在类型约束的基础上，加上运行时校验。比如在函数内部检查传入对象的属性是否和接口声明的完全一致：

interface Example {
  id: number;
  name: string;
}

const exampleKeys = new Set<string>(['id', 'name']);

function doSomething(ex: Example) {
  // 运行时检查额外属性
  const extraKeys = Object.keys(ex).filter(key => !exampleKeys.has(key));
  if (extraKeys.length > 0) {
    throw new Error(`禁止额外属性：${extraKeys.join(', ')}`);
  }
  // ... 其他逻辑
}

毕竟TypeScript的类型检查只在编译阶段生效，运行时还是可能出现不符合预期的对象（比如从后端返回的JSON），结合运行时校验会更可靠。

内容的提问来源于stack exchange，提问作者T.J. Crowder