TypeScript中的条件类型

我想知道我是否可以在TypeScript中使用条件类型？

目前，我有以下界面：

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

但我想删除errorText，并且仅在isValidis 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
}

为了避免创建仅用于创建第三个接口的多个接口，您还可以直接使用a type代替：

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

我建议如何处理由错误演示的联合。尽管如此，Typescript 确实有一些称为“ 条件类型 ”的东西，他们可以处理。

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>由于默认参数引起的）等效于错误的答案或某些性能的答案中产生的联合并集，并且可以以相同的方式使用。

这样做的好处是您还可以传递一个已知ValidationResult<false>值，然后不必进行测试，isValid因为它被认为是false与errorString将已知的存在。在这种情况下可能没有必要，而且条件类型可能很复杂且难以调试，因此可能不应不必要地使用它们。但是您可以，这似乎值得一提。