如何基于泛型参数的键限制方法参数的取值？

问题分析 #

你需要实现一个带泛型参数T的类B，要求其foo方法的参数只能是T的键。当前代码存在两个核心问题：

1. 自定义的Names<X>类型完全冗余——X extends A时，keyof X已经是我们需要的类型，没必要用条件类型包裹。
2. 当泛型参数T未被具体实例化时，TypeScript的类型检查器无法在类内部自动推断keyof A的成员（比如"asdf"）属于keyof T，即使T extends A保证了T包含A的所有属性。

解决方案 #

直接使用keyof T作为方法参数的类型，并在类内部调用时，通过类型断言明确告诉TypeScript已知的键属于keyof T的范畴。这样既满足了类型约束的需求，又解决了内部调用的报错问题。

修正后的代码 #

interface A {
    asdf: string;
}

class B<T extends A> {
    // 直接用 keyof T 作为参数类型，无需自定义Names类型
    foo(n: keyof T) {}

    baz(n: keyof T) {
        // 因为 T extends A，"asdf"必然是 keyof T 的成员，用断言明确类型
        this.foo("asdf" as keyof T);
        // 这里会报错，符合预期："qwerty"不属于A的键，T可能只是A本身
        this.foo("qwerty" as keyof T); // 类型错误：'"qwerty"'不能赋值给'keyof T'

        this.foo(n); // 正常，n本身就是keyof T类型
    }
}

interface C extends A {
    qwerty: string;
}

class D<T extends C> extends B<T> {
    bar() {
        // T extends C，所以"asdf"和"qwerty"都是keyof T的成员
        this.foo("asdf" as keyof T);
        this.foo("qwerty" as keyof T);
        
        this.baz("asdf" as keyof T);
        this.baz("qwerty" as keyof T);
    }
}

// 测试实例化，符合预期
const b = new B<A>();
b.foo("asdf"); // 合法
b.foo("qwerty"); // 报错，符合预期

const d = new D<C>();
d.foo("asdf"); // 合法
d.foo("qwerty"); // 合法

额外说明 #

如果不想使用类型断言，也可以通过缩小泛型范围的方式优化：比如在B类中定义一个固定的基础键类型BaseKeys = keyof A，然后将foo的参数类型改为BaseKeys | Exclude<keyof T, BaseKeys>，但这种写法本质和keyof T等价，且不如直接使用keyof T简洁。类型断言是当前场景下最直接的解决方式。

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