TypeScript如何确保接口中foo与数组元素类型完全一致？

问题原因 #

你当前的代码中，TypeScript的结构类型系统会对泛型T做最宽泛的类型推断：当传入类型不匹配的foo和arr时，T会被推断为两者的联合类型（比如{a: string, b: string} | {c: string}），甚至是更宽泛的object类型，因此符合I<T>的定义，不会触发报错。

解决方案 #

要强制foo的类型与arr中每个元素的类型完全一致（包括无额外属性、属性完全匹配），可以通过以下两种方式实现：

1. 利用Exact工具类型做严格类型约束 #

首先定义一个Exact工具类型，用于校验两个类型是否完全一致：

type Exact<T, U> =
  T extends U
    ? (U extends T ? T : never)
    : never;

然后修改函数的参数类型，让arr的元素必须严格匹配foo的类型：

const fn = <T>({ foo, arr }: { foo: T; arr: Exact<T, typeof arr[number]>[] }) => ({ foo, arr });

此时传入不匹配的参数会直接报错：

// ❌ 报错：Type '{ c: string; }' is not assignable to type 'Exact<{ a: string; b: string; }, { c: string; }>'
fn({
  foo: {a: 'a', b: 'b'},
  arr: [{c: 'c'}]
});

// ✅ 正常通过
fn({
  foo: {a: 'a', b: 'b'},
  arr: [{a: 'hello', b: 'world'}]
});

2. 结合类型推断与运行时检查（更严谨） #

如果需要同时在编译期和运行期都做校验，可以在函数内部添加运行时逻辑，确保arr的每个元素与foo的属性完全匹配：

const fn = <T>({ foo, arr }: { foo: T; arr: T[] }) => {
  // 运行时检查：确保数组元素与foo的属性数量、键名完全一致
  const fooKeys = Object.keys(foo);
  arr.forEach(item => {
    const itemKeys = Object.keys(item);
    if (itemKeys.length !== fooKeys.length) {
      throw new Error('数组元素的属性数量与foo不匹配');
    }
    fooKeys.forEach(key => {
      if (!(key in item)) {
        throw new Error(`数组元素缺少属性：${key}`);
      }
    });
  });
  return { foo, arr };
};

这种方式既保留了编译期的类型约束，又在运行时做了兜底检查，适合对类型一致性要求极高的场景。

内容的提问来源于stack exchange，提问作者Daniel Santamaría