Introducción a los tipos condicionales

Los tipos condicionales de TypeScript permiten crear tipos que se adaptan dinámicamente según una condición, lo que hace que el código sea más flexible y reutilizable.

Utilizan una sintaxis similar a la del operador condicional (ternary) de JavaScript.

¿Qué son los tipos condicionales?

Los tipos condicionales permiten definir un tipo que depende de otro tipo. La sintaxis básica es:

T extends U ? X : Y

Esto significa que, si T extiende a U, el tipo es X; de lo contrario, es Y.

Ejemplo básico de tipos condicionales

A continuación se muestra un ejemplo sencillo:

type IsString<T> = T extends string ? 'Yes' : 'No';

// Test cases
type A = IsString<string>; // 'Yes'
type B = IsString<number>; // 'No'

Uso de tipos condicionales para sobrecargas de funciones

Los tipos condicionales pueden simplificar las sobrecargas de funciones al determinar dinámicamente los tipos de retorno:

type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

function getData(): string {
  return 'Hello';
}

type DataType = ReturnType<typeof getData>; // string

Tipos condicionales distributivos

Cuando los tipos condicionales se aplican a tipos unión, se distribuyen entre cada miembro de la unión:

type ToArray<T> = T extends any ? T[] : never;

type A = ToArray<string | number>;
// A = string[] | number[]

Combinación de tipos condicionales y tipos mapeados

Puede combinar tipos condicionales con tipos mapeados para realizar transformaciones de tipos potentes:

type User = {
  id: number;
  name: string;
  isAdmin?: boolean;
};

type MakeRequired<T> = {
  [K in keyof T]-?: T[K] extends undefined ? never : T[K];
};

type RequiredUser = MakeRequired<User>;
// { id: number; name: string; isAdmin: never; }

Casos de uso habituales de los tipos condicionales

Los tipos condicionales se utilizan habitualmente para:

• Inferir tipos de retorno o parámetros.
• Transformar uniones e intersecciones.
• Crear tipos de utilidad como Exclude, Extract y NonNullable.

Tarea práctica

Cree un tipo condicional que compruebe si un tipo es un array y, en ese caso, devuelva su tipo de elemento; de lo contrario, debe devolver el tipo original.

¡Enhorabuena!

Ha aprendido a utilizar tipos condicionales para crear definiciones de tipos dinámicas y reutilizables en TypeScript. Practique estos conceptos para escribir código TypeScript más potente y flexible.