Javascript 如何通过将实例方法的名称传递给具有正确类型的参数的继承方法来调用实例方法

这里的主要问题是，为Self推断的类型实际上是polymorphic this type，这是当前类实例类型的隐式generic类型constrained.由于the Parameters utility type被实现为conditional type，这意味着args是类型Parameters<this["sayMessage"]>，即generic conditional type.编译器不知道什么值可以或不可以赋值给这样的类型，因为它往往只进行defer次求值.在它确切知道this是什么之前，它不会冒险猜测Parameters<this["sayMessage"]>可能是什么.因此，它失败了.

如果您给编译器提供它应该推断的确切类型的值，那么在编译器上就容易多了.因此，与其说args是什么复杂的东西，不如让它成为自己的泛型类型参数A，并try 根据它重写其他东西.例如:

class BaseClass {
    exec<
        A extends any[],
        K extends PropertyKey
    >(
        this: Record<K, (...args: NoInfer<A>) => void>,
        methodKey: K,
        ...args: A
    ) {
        this[methodKey](...args);
    }
}

这与您的非常相似，除了现在我们只有两个泛型类型参数.有A个，被限制为列表类型，K，对应于您的MethodKey，被限制为PropertyKey，这只是一个实用程序类型，等同于"类键"类型，string | number | symbol.

然后对于this parameter，我们说它是Record<K, (...args: NoInfer<A>) => void>型的.这本质上只是"具有键K的属性的东西，它是一个接受类型A的Arg列表的函数"，除非我们真的不希望编译器try 从this推断A.不会有结果的.因此，我们使用新的NoInfer utility type introduced in TypeScript 5.4来告诉编译器不要try .(5.3及更低版本有解决方法，但我并不担心这些问题).

现在，当你叫它的时候，它就起作用了.编译器很高兴地看到this属于类似{sayMessage: (...args: string)=>void}的类型，并且它根本不需要try 处理泛型条件类型:

class MyClass extends BaseClass {
    constructor() {
        super();
        this.exec(`sayMessage`, "hello"); // okay
    }

    sayMessage(message: string) {
        console.log(message);
    }
}

Playground link to code个