Introdução aos tipos condicionais

Os tipos condicionais no TypeScript permitem criar tipos que se adaptam dinamicamente com base em uma condição, tornando seu código mais flexível e reutilizável.

Eles usam uma sintaxe semelhante à do operador condicional (ternary) do JavaScript.

O que são tipos condicionais?

Os tipos condicionais permitem definir um tipo que depende de outro tipo. A sintaxe básica é:

T extends U ? X : Y

Isso significa: se T estende U, o tipo é X; caso contrário, ele é Y.

Exemplo básico de tipos condicionais

Veja um exemplo simples:

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

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

Usando tipos condicionais para sobrecargas de funções

Os tipos condicionais podem simplificar as sobrecargas de funções ao determinar os tipos de retorno dinamicamente:

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

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

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

Tipos condicionais distributivos

Quando os tipos condicionais são aplicados a tipos de união, eles são distribuídos entre cada membro da união:

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

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

Combinando tipos condicionais com tipos mapeados

Você pode combinar tipos condicionais com tipos mapeados para realizar transformações de tipos poderosas:

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 comuns dos tipos condicionais

Os tipos condicionais são usados com frequência para:

• Inferir tipos de retorno ou parâmetros.
• Transformar uniões e interseções.
• Criar tipos utilitários como Exclude, Extract e NonNullable.

Tarefa prática

Crie um tipo condicional que verifique se um tipo é um vetor e, nesse caso, retorne seu tipo de elemento; caso contrário, retorne o próprio tipo.

Parabéns!

Você aprendeu a usar tipos condicionais para criar definições de tipos dinâmicas e reutilizáveis no TypeScript. Pratique esses conceitos para escrever código TypeScript mais poderoso e flexível!