如何让TypeScript接口不受后续合并属性影响适配函数内使用？

问题回顾 #

先看JavaScript的变量行为：

let a = 5;
function fn() { console.log(a); }
fn(); // 输出5
a = 10;
fn(); // 输出10

变量a会在函数调用时取当前值，但TypeScript的接口合并是静态编译行为——所有同名接口会合并成一个包含全部属性的最终类型。比如：

1. 先全局定义Person接口：

interface Person {
  name: string;
}

2. 在函数内定义继承Person的ScopedPerson并创建实例：

function myPersonFn() {
  interface ScopedPerson extends Person {
    age: number;
  }
  const inPerson: ScopedPerson = { name: "Alice", age: 30 }; // 此时编译正常
}

3. 后续全局合并Person接口：

interface Person {
  address: string;
}

这时TypeScript会报错，要求inPerson必须包含address属性，但我们需要函数内的inPerson不受后续新增的address约束，且不能把address设为可选属性。

解决方案：捕获接口的当前快照 #

要让局部的ScopedPerson继承合并前的Person类型，而非最终合并后的版本，可以通过以下几种方式实现：

方法1：用类型别名提前保存初始Person快照 #

// 先定义类型别名，捕获初始Person的类型
type OriginalPerson = Person;
// 定义初始全局Person接口
interface Person {
  name: string;
}

function myPersonFn() {
  // 继承的是快照类型OriginalPerson，而非后续合并后的Person
  interface ScopedPerson extends OriginalPerson {
    age: number;
  }
  const inPerson: ScopedPerson = { name: "Alice", age: 30 }; // 正常编译，无需address
}

// 后续合并全局Person接口，不会影响myPersonFn内的类型
interface Person {
  address: string;
}

方法2：在函数内用泛型捕获当前Person类型 #

如果不想提前定义全局类型别名，可以利用泛型的即时解析特性，在函数定义时捕获当时的Person类型：

interface Person {
  name: string;
}

// 泛型T会在函数定义时捕获当前的Person类型
function myPersonFn<T extends Person = Person>() {
  interface ScopedPerson extends T {
    age: number;
  }
  const inPerson: ScopedPerson = { name: "Alice", age: 30 };
}

// 后续合并全局Person接口，不会影响已定义的泛型T
interface Person {
  address: string;
}

myPersonFn(); // 调用时无需提供address属性

方法3：用交叉类型直接定义局部类型 #

跳过接口继承，直接用交叉类型组合初始Person和新增属性，同样能隔离后续合并的影响：

interface Person {
  name: string;
}

function myPersonFn() {
  type ScopedPerson = Person & { age: number };
  const inPerson: ScopedPerson = { name: "Alice", age: 30 };
}

// 后续合并全局Person接口，不影响局部类型
interface Person {
  address: string;
}

原理说明 #

TypeScript的接口合并是编译期的全局合并行为，所有同名接口最终会被合并成一个类型。而类型别名（type）、泛型参数的类型解析都是在定义时确定的，相当于给当时的接口拍了一张快照，后续的接口合并不会修改这个快照，这样局部类型就能像JavaScript变量的词法作用域一样，不受后续全局修改的影响。

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