TypeScript의 조건부 유형

TypeScript에서 조건부 유형을 사용할 수 있는지 궁금합니다.

현재 다음 인터페이스가 있습니다.

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

하지만 제거 할 errorText때, 그리고 단지 그것을 가지고 isValid있다 falseA와 필요한 속성입니다.

나는 그것을 다음 인터페이스로 쓸 수 있었으면 좋겠다.

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

버그에 의해 입증 노조 나는이 처리 권장하는 방법입니다. 그럼에도 불구하고 Typescript 에는 “ conditional types ”라는 것이 있으며이를 처리 할 수 ​​있습니다.

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존재하는 것으로 알려진 될 것이다. 아마도 이런 경우에는 필요하지 않으며 조건부 유형은 복잡하고 디버깅하기 어려울 수 있으므로 불필요하게 사용해서는 안됩니다. 그러나 당신은 할 수 있었고 언급 할 가치가있는 것처럼 보였습니다.