Estoy desarrollando una clase contenedora, que puede llamar al método de la instancia interna con un argumento de cadena.

Todo el código es como a continuación.

 class Inner { public prop1: string = 'publicProp'; private prop2: string = 'privateProp'; method1(param1: string) { console.log(`${param1}`); } method2(param1: number, param2: number) { console.log(`${param1}, ${param2}`); } }

Esta clase es una clase original que tiene funciones básicas.

 type Fn = (...args: any) => any;

Este es el tipo necesario a continuación

 class Outer { private inner = new Inner(); // I want proxy's second parameter's type will be changed according to first parameter's value public proxy< // F type is callable member's key F extends keyof { [K in keyof Inner as Inner[K] extends Fn ? K : never]: any; }, // P type will be changed according to first argument type. P extends Parameters<Inner[F]>, >(name: F, ...args: P) { const fn = this.inner[name]; if (typeof fn === 'function') { // This is right pain point!! // TS2556: A spread argument must either have a tuple type or be passed to a rest parameter. fn(...args); } } }

La parte de fn(...args) sigue mostrando un error como el anterior. Creo que los args deben inferirse como una tupla porque le args al compilador que el tipo de argumentos se extenderá por Parameter<Inner[F]> . ¿Cómo puedo arreglarlo?

 const outer = new Outer().proxy; // IDE can infer parameter's type from second parameter outer('method1', 'stringArg'); outer('method2', 1, 2);

Otro problema es que el IDE puede inferir los tipos de parámetros según el primer argumento. (La instantánea real de IDE se adjunta a continuación)

Gracias de antemano su respuesta! :)