typescript - 带有类型谓词的参数的窄类型

Question

我对根据单个字段的类型缩小类型感兴趣。但是，TypeScript 似乎没有使用类型谓词来缩小类型中其他参数的类型，就像直接在 if 语句中使用基元运算符时那样。我能做些什么来让类型缩小在这里正常工作吗？

export function isTrue(input: boolean | undefined | null): input is true {
  return input === true;
}

type Refine =
  | {
      b: true;
      c: 'bIsTrue';
    }
  | {
      b: undefined;
      c: 'bIsUndefined';
    }
  | {
      b: false;
      c: 'bIsFalse';
    };

export function example() {
  const example = (null as unknown) as Refine;

  if (example.b === true) {
    example.b;  // Type is: true
    example.c;  // Type is: 'bIsTrue'
  }

  if (isTrue(example.b)) {
    example.b;  // Type is: true
    example.c;  // Type is: 'bIsTrue' | 'bIsUndefined' | 'bIsFalse'
  }
}

Answer 1

一种可能性是对整个对象执行缩小，然后访问它的属性:

function hasTrueBProperty<T extends { b: unknown }>(object: T): object is T & { b: true } {
  return object.b === true;
}

declare const refine: Refine;
if (hasTrueBProperty(refine)) {
  refine.b;  // Type is: true
  refine.c;  // Type is: 'bIsTrue'
}

要将属性作为参数传递给测试，请使用另一个泛型:

function hasTrueProperty<P extends PropertyKey, T extends Record<P, unknown>>(object: T, prop: P): object is T & Record<P, true> {
  return object[prop] === true;
}

declare const refine: Refine;
if (hasTrueProperty(refine, 'b')) {
  refine.b;  // Type is: true
  refine.c;  // Type is: 'bIsTrue'
}