Tipos condicionais no TypeScript

Eu queria saber se posso ter tipos condicionais no TypeScript?

Atualmente, tenho a seguinte interface:

interface ValidationResult {
  isValid: boolean;
  errorText?: string;
}

Mas quero removê-lo errorTexte tê-lo somente quando isValidé falseuma propriedade necessária .

Eu gostaria de poder escrevê-lo como a seguinte interface:

interface ValidationResult {
  isValid: true;
}

interface ValidationResult {
  isValid: false;
  errorText: string;
}

Mas como você sabe, não é possível. Então, qual é a sua ideia sobre essa situação?

Uma maneira de modelar esse tipo de lógica é usar um tipo de união, algo como isto

interface Valid {
  isValid: true
}

interface Invalid {
  isValid: false
  errorText: string
}

type ValidationResult = Valid | Invalid

const validate = (n: number): ValidationResult => {
  return n === 4 ? { isValid: true } : { isValid: false, errorText: "num is not 4" }
}

O compilador pode restringir o tipo com base no sinalizador booleano

const getErrorTextIfPresent = (r: ValidationResult): string | null => {
  return r.isValid ? null : r.errorText
}

Para evitar a criação de várias interfaces que apenas são usadas para criar uma terceira, você também pode alternar diretamente, com uma alternativa type:

type ValidationResult = {
    isValid: false;
    errorText: string;
} | {
    isValid: true;
};

A união demonstrada pelos bugs é como eu recomendo lidar com isso. No entanto, Typescript não tem algo conhecido como “ tipos condicionais ,” e eles podem lidar com isso.

type ValidationResult<IsValid extends boolean = boolean> = (IsValid extends true
    ? { isValid: IsValid; }
    : { isValid: IsValid; errorText: string; }
);


declare const validation: ValidationResult;
if (!validation.isValid) {
    validation.errorText;
}

Isso ValidationResult(na verdade ValidationResult<boolean>devido ao parâmetro padrão) é equivalente à união produzida na resposta de bugs ou na resposta de CertainPerformance e pode ser usada da mesma maneira.

A vantagem aqui é que você também pode repassar um ValidationResult<false>valor conhecido e não precisará testar isValidcomo seria conhecido falsee errorStringexiste. Provavelmente não é necessário para um caso como esse - e tipos condicionais podem ser complexos e difíceis de depurar, portanto, provavelmente não devem ser usados ​​desnecessariamente. Mas você poderia, e isso parecia digno de menção.