如何将类方法第二个参数的类型定义为基于第一个参数的类型？

正确实现方式 #

使用泛型关联两个参数的类型，让TypeScript自动推导第一个参数的键作为第二个参数的合法取值：

class MyClass {
    render<T extends Record<string, unknown>>(param1: T, param2: keyof T) {
        // 编写你的方法逻辑
    }
}

const myInstance = new MyClass();
// 第二个参数只能是传入对象的键：'a' | 'b'
myInstance.render({ a: 123, b: 456 }, 'a'); // 类型合法
myInstance.render({ a: 123, b: 456 }, 'c'); // 类型报错，符合预期

原写法失败的原因 #

1. 循环引用问题：你尝试用Parameters<this['render']>[0]获取第一个参数类型，但TypeScript解析render方法时，需要先确定Parameters<this['render']>的类型，而后者又依赖render本身的定义，导致无法完成推导。
2. 第一个参数类型未明确：param1: ???没有指定具体类型，TypeScript无法识别其结构，自然无法提取对应的键类型。

补充说明 #

• 泛型约束T extends Record<string, unknown>确保param1是带键值对的对象，若需要更严格的类型限制（比如只允许数值类型的值），可以修改约束为T extends Record<string, number>这类更具体的形式。
• 调用方法时，TypeScript会根据传入的param1自动推断出T的具体类型，进而将param2的类型锁定为该对象的键集合。

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