在元组的联合中缩小Typescript的范围

function processTuple(tuple: [string, number] | [boolean, string]) {
  if (typeof tuple[0] === 'string') {
    // 在这里，Typescript会将tuple的类型缩小为[string, number]
    console.log(tuple[0].toUpperCase());
  } else {
    // 在这里，Typescript会将tuple的类型缩小为[boolean, string]
    console.log(tuple[0] ? 'true' : 'false');
  }
}

class MyClass {
  // ...
}

function processTuple(tuple: [MyClass, number] | [boolean, string]) {
  if (tuple[0] instanceof MyClass) {
    // 在这里，Typescript会将tuple的类型缩小为[MyClass, number]
    tuple[0].doSomething();
  } else {
    // 在这里，Typescript会将tuple的类型缩小为[boolean, string]
    console.log(tuple[0] ? 'true' : 'false');
  }
}

function isString(value: any): value is string {
  return typeof value === 'string';
}

function processTuple(tuple: [string, number] | [boolean, string]) {
  if (isString(tuple[0])) {
    // 在这里，Typescript会将tuple的类型缩小为[string, number]
    console.log(tuple[0].toUpperCase());
  } else {
    // 在这里，Typescript会将tuple的类型缩小为[boolean, string]
    console.log(tuple[0] ? 'true' : 'false');
  }
}