0Pricing
TypeScript Academy · Lección

Tipos condicionales: T extends U ? X : Y

Escriba sentencias if a nivel de tipos mediante tipos condicionales.

Tipos condicionales: T extends U ? X : Y es una lección gratuita de TypeScript Academy en CoddyKit. Esta es la lección 3 de 4. Puedes leer la lección completa abajo gratuitamente — luego la practicas en el navegador con un editor de código integrado y un tutor de IA 24/7. Forma parte de la ruta de aprendizaje de TypeScript Academy, y tu progreso se sincroniza en la web y la app de CoddyKit. El curso de TypeScript Academy incluye 4 lecciones en total.

Bienvenida

Los tipos condicionales permiten expresar instrucciones if a nivel de tipos. Son una parte fundamental del sistema de tipos avanzado de TypeScript y se utilizan para crear tipos de utilidad.

Sintaxis básica

Escriba `T extends U ? X : Y`. Si `T` se puede asignar a `U`, el resultado es `X`; de lo contrario, es `Y`.
type IsString<T> = T extends string ? true : false;
type A = IsString<string>; // true
type B = IsString<number>; // false

Tipo integrado NonNullable

`NonNullable` se implementa con un tipo condicional que elimina `null` y `undefined` de `T`.
type NonNullable<T> = T extends null | undefined ? never : T;
type C = NonNullable<string | null>; // string

Condicionales con genéricos

Los tipos condicionales son más útiles dentro de funciones genéricas y alias de tipos.
type Flatten<T> = T extends Array<infer I> ? I : T;
type Str = Flatten<string[]>; // string
type Num = Flatten<number>;   // number

Condicionales anidados

Los tipos condicionales se pueden anidar para implementar lógica más compleja.
type TypeName<T> =
  T extends string ? 'string' :
  T extends number ? 'number' :
  T extends boolean ? 'boolean' :
  'object';

Distribución sobre uniones

Cuando `T` es un parámetro de tipo independiente, un tipo condicional se distribuye entre los miembros de una unión.
type ToArray<T> = T extends any ? T[] : never;
type R = ToArray<string | number>; // string[] | number[]

Cómo evitar la distribución

Envuelva `T` en una tupla para evitar la distribución.
type NoDistribute<T> = [T] extends [any] ? T[] : never;
type R2 = NoDistribute<string | number>; // (string | number)[]

Uso de never para filtrar

Devolver `never` desde un tipo condicional elimina miembros de la unión.
type OnlyStrings<T> = T extends string ? T : never;
type S = OnlyStrings<'a' | 'b' | 1 | 2>; // 'a' | 'b'

Tipos condicionales en tipos mapeados

Combine tipos mapeados y tipos condicionales para transformar propiedades de objetos de forma selectiva.
type NullableValues<T> = { [K in keyof T]: T[K] extends string ? null : T[K] };

Inferencia a partir de parámetros de función

Use `infer` en tipos condicionales para extraer partes de tipos complejos.
type FirstParam<T> = T extends (first: infer P, ...rest: any[]) => any ? P : never;
type FP = FirstParam<(a: string, b: number) => void>; // string

Utilidades condicionales integradas

Muchas utilidades integradas (`ReturnType`, `Parameters`, `InstanceType`) se crean con tipos condicionales e `infer`.
type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any;

Comprobación rápida

¿Cuál es el resultado de `type R = string extends object ? 'yes' : 'no'`?

Recapitulación

Los tipos condicionales (`T extends U ? X : Y`) permiten implementar lógica a nivel de tipos. Se distribuyen entre uniones, funcionan con `infer` para realizar extracciones y sustentan muchas de las utilidades de tipos integradas de TypeScript.

Preguntas frecuentes

¿La lección «Tipos condicionales: T extends U ? X : Y» es gratis?

Sí — el texto completo de «Tipos condicionales: T extends U ? X : Y» es gratis para leer aquí en la web. Para practicarla de forma interactiva (editor de código integrado y tutor de IA 24/7) y desbloquear el resto del curso de TypeScript Academy, actualiza a CoddyKit PRO. El curso de TypeScript Academy incluye 4 lecciones en total.

¿Qué aprenderé en «Tipos condicionales: T extends U ? X : Y»?

Escriba sentencias if a nivel de tipos mediante tipos condicionales. Practicas TypeScript Academy con código real que ejecutas directamente en el navegador, y un tutor de IA 24/7 responde tus preguntas mientras trabajas en la lección.

¿Necesito experiencia previa para empezar TypeScript Academy?

No se requiere experiencia previa. TypeScript Academy en CoddyKit está estructurado para principiantes hasta estudiantes avanzados, así que puedes empezar aquí o desde el inicio y avanzar a tu ritmo. Esta es la lección 3 de 4.

¿Cuánto tiempo toma la lección «Tipos condicionales: T extends U ? X : Y»?

La mayoría de las lecciones de CoddyKit toman alrededor de 5–10 minutos. Cada una es compacta e interactiva, así que avanzas constantemente y retomas exactamente por donde dejaste en la web y la app.

¿Puedo escribir y ejecutar código en esta lección de TypeScript Academy?

Sí. Cada lección de TypeScript Academy incluye un editor de código integrado, así que escribes y ejecutas código real directamente en tu navegador y obtienes retroalimentación instantánea de IA — sin configuración local necesaria.

Todas las lecciones de este curso

  1. keyof y tipos de acceso indexado
  2. Restricciones genéricas: reducción de parámetros de tipo
  3. Tipos condicionales: T extends U ? X : Y
  4. Tipos condicionales distributivos
← Volver a TypeScript Academy