细化typescript不相交的联合

function processValue(value: string | number) {
  if ((value as string).length) {
    // 在这里，value被细化为string类型
    console.log(value.toUpperCase());
  } else {
    // 在这里，value被细化为number类型
    console.log(value.toFixed(2));
  }
}

function processValue(value: string | number) {
  if (typeof value === 'string') {
    // 在这里，value被细化为string类型
    console.log(value.toUpperCase());
  } else {
    // 在这里，value被细化为number类型
    console.log(value.toFixed(2));
  }
}

class Foo {
  bar() {
    console.log('Hello, TypeScript!');
  }
}

class Baz {
  qux() {
    console.log('TypeScript is awesome!');
  }
}

function processValue(value: Foo | Baz) {
  if (value instanceof Foo) {
    // 在这里，value被细化为Foo类型
    value.bar();
  } else {
    // 在这里，value被细化为Baz类型
    value.qux();
  }
}

interface Circle {
  kind: 'circle';
  radius: number;
}

interface Square {
  kind: 'square';
  sideLength: number;
}

function isCircle(shape: Circle | Square): shape is Circle {
  return shape.kind === 'circle';
}

function processShape(shape: Circle | Square) {
  if (isCircle(shape)) {
    // 在这里，shape被细化为Circle类型
    console.log(`Circle with radius ${shape.radius}`);
  } else {
    // 在这里，shape被细化为Square类型
    console.log(`Square with side length ${shape.sideLength}`);
  }
}