Respuesta.

ReturnType<T> y Parameters<T> son tipos de utilidad en TypeScript que permiten inferir automáticamente el tipo de retorno de una función (ReturnType) o un arreglo de tipos de sus parámetros (Parameters).

Esto es especialmente útil para asegurar la coherencia de tipos entre diferentes partes de la aplicación y para implementar envolturas genéricas.

Ejemplo de uso:

function fn(a: number, b: string): boolean {
  return b.length > a;
}

type FnReturn = ReturnType<typeof fn>; // boolean
type FnParams = Parameters<typeof fn>; // [number, string]

Matices con la sobrecarga de funciones: Al sobrecargar funciones, ReturnType define la última variante de la firma, y Parameters — todas las posibles sobrecargas:

function overloaded(x: number): number;
function overloaded(x: string): string;
function overloaded(x: any): any { return x; }

type OverRet = ReturnType<typeof overloaded>; // any
type OverParams = Parameters<typeof overloaded>; // [any]

Es decir, la tipificación de los tipos de utilidad no siempre "ve" todas las sobrecargas, por lo que la tipificación estática se vuelve menos predecible.

Pregunta con trampa.

¿Se pueden usar ReturnType y Parameters para obtener los tipos de todas las posibles sobrecargas de una función personalizada, definiendo cada sobrecarga por separado?

Respuesta:

No. Los tipos de utilidad ReturnType y Parameters analizan solo la firma "unificada" de la función — como está descrita para su implementación. No permiten obtener los tipos de cada sobrecarga individual — solo de la firma final implementada.

Ejemplo:

type P = Parameters<typeof overloaded>; // [any], y no [number], [string]

Ejemplos de errores reales debido a desconocer los matices del tema

---

Historia

Los desarrolladores escribieron una envoltura aroundMethod, utilizando ReturnType<T> para tipar el valor de retorno. Sin embargo, la función envoltura se aplicó a una función sobrecargada. Resultado: los tipos eran demasiado generales (any), y en caso de errores, el compilador no notificaba la incongruencia de los valores de retorno. Se descubrió un error al trabajar con booleanos en lugar de strings.

---

Historia

En un intento de inferir parámetros para varias funciones de API a través de Parameters<T>, el desarrollador no tuvo en cuenta las sobrecargas de los métodos. Surgió un problema con tipos "erróneos", donde se esperaba [string, number] en lugar de [any]. Las pruebas unitarias no detectaron este error debido al montaje a través de la implementación, y los usuarios reales de la API encontraron errores en producción.

---

Historia

Al migrar un gran código de JavaScript a TypeScript, los desarrolladores tipificaron todo a través de ReturnType. Más tarde se dieron cuenta de que la implementación difería mucho de la declaración de sobrecargas. Debido a esto, los escenarios con argumentos erróneos causaron excepciones inesperadas en tiempo de ejecución (por ejemplo, TypeError: x is undefined).