Умовні типи в TypeScript

Мені було цікаво, чи можу я мати умовні типи в TypeScript?

В даний час у мене є такий інтерфейс:

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

Але я хочу видалити errorTextта мати його лише тоді, коли isValidце falseє необхідною властивістю.

Я б хотів, щоб я зміг записати це як наступний інтерфейс:

interface ValidationResult {
  isValid: true;
}

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

Але, як відомо, це неможливо. Отже, яке ваше уявлення про цю ситуацію?

Один із способів моделювання такої логіки - використовувати тип об'єднання, щось подібне

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" }
}

Потім компілятор може звузити тип на основі булевого прапора

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

Щоб уникнути створення декількох інтерфейсів, які використовуються лише для створення третього, ви можете також чергувати безпосередньо, typeзамість цього:

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

Союз продемонстрував помилками , як я рекомендую її обробки. Проте, Машинопис дійсно є щось , відоме як « умовні типи » , і вони можуть впоратися з цим.

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


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

Це ValidationResult(що насправді ValidationResult<boolean>обумовлено параметром за замовчуванням) еквівалентно об'єднанню, яке виробляється у відповіді про помилки або у відповіді CertainPerformance , і може використовуватися таким же чином.

Перевага тут полягає в тому, що ви також можете обходити відоме ValidationResult<false>значення, і тоді вам не доведеться тестувати, isValidяк це було б відомо, falseі errorStringбуло б відомо, що існує. Напевно, це не потрібно для подібного випадку - а умовні типи можуть бути складними та важкими для налагодження, тому їх, ймовірно, не слід використовувати без потреби. Але ви могли, і це, здавалося, варто згадати.