Các loại điều kiện trong TypeScript

Tôi đã tự hỏi nếu tôi có thể có các loại điều kiện trong TypeScript?

Hiện tại tôi có giao diện sau:

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

Nhưng tôi muốn loại bỏ errorText, và chỉ có nó khi isValidlà falsemột tài sản bắt buộc .

Tôi ước tôi có thể viết nó như giao diện sau:

interface ValidationResult {
  isValid: true;
}

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

Nhưng như bạn biết, điều đó là không thể. Vì vậy, ý tưởng của bạn về tình huống này là gì?

Một cách để mô hình hóa loại logic này là sử dụng loại kết hợp, đại loại như thế này

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

Trình biên dịch sau đó có thể thu hẹp kiểu xuống dựa trên cờ boolean

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

Để tránh tạo nhiều giao diện chỉ được sử dụng để tạo một phần ba, bạn cũng có thể thay thế trực tiếp, typethay vào đó:

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

Các đoàn thể hiện bởi lỗi là cách tôi khuyên bạn nên xử lý này. Tuy nhiên, nguyên cảo không có cái gì gọi là “ loại có điều kiện ”, và họ có thể xử lý này.

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


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

Điều này ValidationResult(thực ra là ValidationResult<boolean>do tham số mặc định) tương đương với liên kết được tạo ra trong câu trả lời của lỗi hoặc trong câu trả lời của SurePerformance và có thể được sử dụng theo cách tương tự.

Ưu điểm ở đây là bạn cũng có thể vượt qua khoảng một tiếng ValidationResult<false>giá trị, và sau đó bạn sẽ không cần phải kiểm tra isValidvì nó sẽ được biết đến là falsevà errorStringsẽ được biết là tồn tại. Có lẽ không cần thiết cho một trường hợp như thế này và các loại điều kiện có thể phức tạp và khó gỡ lỗi, vì vậy có lẽ chúng không nên được sử dụng một cách không cần thiết. Nhưng bạn có thể, và điều đó dường như đáng nói.