0Pricing
TypeScript Academy · Lección

Tipos condicionales distributivos

Comprenda cómo se distribuyen los tipos condicionales entre los miembros de una unión.

Tipos condicionales distributivos es una lección gratuita de TypeScript Academy en CoddyKit. Esta es la lección 4 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 distributivos aplican un tipo condicional a cada miembro de una unión por separado. Este comportamiento permite transformar y filtrar uniones.

Qué es la distribución

Cuando un tipo condicional tiene un `T` genérico independiente y `T` es una unión, TypeScript aplica el condicional a cada miembro de la unión por separado.
type Wrap<T> = T extends any ? { value: T } : never;
type R = Wrap<string | number>;
// = { value: string } | { value: number }

La condición clave

La distribución solo ocurre cuando `T` es un parámetro de tipo genérico independiente (no envuelto). Envolver `T` en una tupla la evita.
type Bare<T> = T extends string ? 'yes' : 'no';
type Wrapped<T> = [T] extends [string] ? 'yes' : 'no';
type B = Bare<'a' | 'b'>; // 'yes' | 'yes' = 'yes'
type W = Wrapped<'a' | 'b'>; // 'no' — treated as a tuple

Filtrado de uniones con never

Devolver `never` desde la rama falsa filtra los miembros de la unión.
type StringsOnly<T> = T extends string ? T : never;
type S = StringsOnly<string | number | boolean>; // string

Tipo integrado Extract

`Extract` se implementa con un condicional distributivo que conserva los miembros asignables a `U`.
type Extract<T, U> = T extends U ? T : never;
type E = Extract<string | number | boolean, string | number>; // string | number

Tipo integrado Exclude

`Exclude` elimina los miembros de la unión asignables a `U`.
type Exclude<T, U> = T extends U ? never : T;
type Ex = Exclude<string | number | boolean, boolean>; // string | number

Distribución de ToArray

Aplique `ToArray` a cada miembro de la unión por separado mediante la distribución.
type ToArray<T> = T extends any ? T[] : never;
type R = ToArray<string | number>; // string[] | number[]

Caso de uso para evitar la distribución

A veces querrá tratar toda la unión como un único argumento de tipo, en lugar de distribuirla.
type IsUnion<T> = [T] extends [T] ? [T] extends [Exclude<T, T>] ? false : true : false;

Tipos mapeados distributivos

Combine condicionales distributivos con tipos mapeados para transformar propiedades seleccionadas.
type PickByValue<T, V> = {
  [K in keyof T as T[K] extends V ? K : never]: T[K]
};

Condicional distributivo en ReturnType

El comportamiento distributivo hace que `ReturnType` funcione correctamente cuando `T` es una unión de tipos de función.
type Fn = (() => string) | (() => number);
type R = ReturnType<Fn>; // string | number

Distribución eager frente a lazy

TypeScript pospone (no evalúa) los tipos condicionales con parámetros de tipo libres hasta que se resuelven; esto se denomina evaluación diferida.

Comprobación rápida

¿Cuál es `type R = (string | number) extends string ? 'yes' : 'no'` cuando `T` NO es un genérico independiente?

Recapitulación

Los tipos condicionales distributivos se aplican a cada miembro de una unión por separado cuando `T` es un parámetro genérico independiente. Esto permite `Extract`, `Exclude` y el filtrado personalizado de uniones. Envuélvalos en una tupla para evitar la distribución.

Preguntas frecuentes

¿La lección «Tipos condicionales distributivos» es gratis?

Sí — el texto completo de «Tipos condicionales distributivos» 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 distributivos»?

Comprenda cómo se distribuyen los tipos condicionales entre los miembros de una unión. 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 4 de 4.

¿Cuánto tiempo toma la lección «Tipos condicionales distributivos»?

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