TypeScript'teki koşullu türler

TypeScript'te koşullu türlere sahip olup olamayacağımı merak ediyordum?

Şu anda aşağıdaki arayüze sahibim:

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

Ama kaldırmak istiyor errorTextve yalnızca ona sahip isValidolan falsebir olarak gerekli özellik.

Keşke şu arayüz olarak yazabilseydim:

interface ValidationResult {
  isValid: true;
}

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

Ama bildiğiniz gibi, bu mümkün değil. Peki, bu durum hakkında fikriniz nedir?

Bu tür bir mantığı modellemenin bir yolu, sendika türünü kullanmaktır.

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

Derleyici, boole bayrağına dayalı olarak türü daraltabilir.

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

Yalnızca üçte biri oluşturmak için kullanılan birden fazla arabirim oluşturmaktan kaçınmak için, typebunun yerine doğrudan da değiştirebilirsiniz :

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

Böcek gösterdiği birlik bu işleme tavsiye nasıl. Yine de, typescript yok “olarak bilinen bir şey var şartlı türleri ,” ve bu işleyebilir.

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


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

Bu ValidationResult(aslında ValidationResult<boolean>varsayılan parametreden kaynaklanmaktadır) hataların cevabında veya CertainPerformance'ın cevabında üretilen birliğe eşdeğerdir ve aynı şekilde kullanılabilir.

Buradaki avantaj da bilinen etrafında geçebileceği olmasıdır ValidationResult<false>değeri ve sonra teste olmazdı isValidolmasını bilinecek şekilde falseve errorStringvarlığı biliniyor olacaktır. Muhtemelen böyle bir vaka için gerekli değildir - ve koşullu türler karmaşık ve hata ayıklaması zor olabilir, bu nedenle muhtemelen gereksiz yere kullanılmamalıdır. Ama yapabilirdiniz ve bundan bahsetmeye değer görünüyordu.