TypeScript中如何约束属性值为当前类型的索引键？

原代码的问题在于，接口中keyof this无法捕获实例的具体函数键——因为接口定义时this指向的是Foo类型本身，而Foo的索引签名是string，所以keyof Foo等价于string | number，无法实现精确的类型校验。要解决这个问题，我们可以利用泛型来捕获每个实例的具体函数集合，从而限制子属性的引用范围。

解决方案：泛型接口+辅助推导函数 #

通过泛型接口将函数的键值对作为类型参数，让TypeScript自动推导实例中的函数名，进而约束someProp中的引用必须是已存在的函数名：

// 定义泛型接口，T是实例中函数的键值对类型
interface Foo<T extends Record<string, Function>> {
  someProp: Record<string, keyof T>;
  // 映射T中的所有函数属性
  [K in keyof T]: T[K];
}

// 辅助函数用于自动推导泛型参数，避免手动指定类型
function createFoo<T extends Record<string, Function>>(foo: Foo<T>): Foo<T> {
  return foo;
}

// 使用示例
const myFoo = createFoo({
  someProp: {
    validFuncName: "someFooFunc", // ✅ 合法，匹配已定义的函数名
    // invalidFuncName: "thisAintNoFunc" // ❌ 报错：类型'"thisAintNoFunc"'不能赋值给类型'"someFooFunc"'
  },
  someFooFunc: () => {}
});

手动指定泛型的方式（可选） #

如果不需要自动推导，也可以手动定义函数类型并指定泛型参数：

// 先定义实例的函数类型集合
type MyFooFunctions = {
  someFooFunc: () => void;
  anotherFunc: (num: number) => string;
};

const myFoo: Foo<MyFooFunctions> = {
  someProp: {
    func1: "someFooFunc",
    func2: "anotherFunc"
    // func3: "nonExistentFunc" // ❌ 报错
  },
  someFooFunc: () => {},
  anotherFunc: (num) => num.toString()
};

注意事项 #

这种方案基于TypeScript的静态类型系统，一旦实例创建完成，其类型就会固定。如果后续需要动态添加新函数，需要重新调用createFoo或者使用类型断言扩展类型——这是静态类型语言的固有特性，无法完全实现“动态扩展同时自动校验”的运行时行为，但已经能满足绝大多数静态场景的需求。

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