如何在TypeScript函数参数中模拟satisfies关键字的行为？

你需要的是让函数参数既保留传入值的字面量类型，又严格符合目标类型（禁止额外属性），而普通的T extends Base无法阻止额外属性，satisfies又只能用于变量定义。以下是两种简化后的实现方案，效果和你原代码一致，但逻辑更简洁：

方案一：递归结构检查（极简版） #

type StrictSatisfies<T, Base> = 
  // 基础约束：T必须符合Base的结构
  T extends Base 
    ? // 处理数组：递归检查数组元素
      T extends (infer TE)[]
        ? Base extends (infer BE)[]
          ? StrictSatisfies<TE, BE>[]
          : never
        // 处理对象：递归检查每个属性，额外键会触发Base[K]为never，导致类型错误
        : T extends Record<string, unknown>
          ? Base extends Record<string, unknown>
            ? { [K in keyof T]: StrictSatisfies<T[K], Base[K]> }
            : never
        // 基础类型直接返回
        : T
    : never;

使用方式 #

type Foo = { a: { b?: number }[] };

const foo = <T>(x: StrictSatisfies<T, Foo>) => x;

方案二：显式检查额外键（错误提示更友好） #

如果希望错误提示更直接（明确指出存在额外属性），可以加入Omit检查：

type StrictSatisfies<T, Base> = 
  // 基础约束：T必须符合Base的结构
  T extends Base 
    ? // 显式检查：T没有额外于Base的键
      Omit<T, keyof Base> extends never
        ? // 递归处理数组
          T extends (infer TE)[]
            ? Base extends (infer BE)[]
              ? StrictSatisfies<TE, BE>[]
              : never
            // 递归处理对象
            : T extends Record<string, unknown>
              ? Base extends Record<string, unknown>
                ? { [K in keyof T]: StrictSatisfies<T[K], Base[K]> }
                : never
            // 基础类型直接返回
            : T
        : never
    : never;

验证效果 #

两种方案都能正确处理你的测试用例：

foo({ a: [{}] }); // ✅ 类型检查通过
foo({ a: [{ b: 3 }] }); // ✅ 类型检查通过
foo({ x: 2 }); // ❌ 错误：类型不匹配
foo({ a: [{}], x: 2 }); // ❌ 错误：存在额外属性x
foo({ a: [{ b: 2, x: 3 }] }); // ❌ 错误：嵌套对象存在额外属性x
foo({ a: [{ x: 3 }] }); // ❌ 错误：嵌套对象缺少必填结构且存在额外属性

与原实现的对比优化点 #

1. 去掉冗余类型：无需单独提取RequiredKeys和OptionalKeys，利用T extends Base和递归映射即可完成约束；
2. 逻辑更清晰：从基础约束到嵌套结构检查，流程线性易懂；
3. 错误提示更直观：方案二直接通过Omit检查额外键，报错信息更明确；
4. 代码量减少50%以上：原实现的复杂分支逻辑被简化为分层递归检查。

内容的提问来源于stack exchange，提问作者Russell Dunphy