调用flip()后，如何告知TypeScript编译器变量类型已变更？

不行，你没办法直接通过becomeFoo.flip() : becomeFoo is Foo这种语法，让TypeScript编译器知晓调用flip()后变量becomeFoo的类型从Bar变为Foo。

核心原因 #

TypeScript的类型谓词（比如function isFish(pet: Fish | Bird): pet is Fish）仅能用于标注函数的返回值，作用是通过函数执行结果窄化函数参数的类型。而你的flip()函数返回void，且它是直接修改外部变量becomeFoo，并非通过参数完成类型窄化，因此这种场景不适用类型谓词语法。

可行替代方案 #

1. 重构flip为带类型谓词的函数

将flip改为接收目标对象作为参数，并返回类型谓词的函数，同时把变量类型设为联合类型：

type Bar = { type: 'bar' };
type Foo = { type: 'foo' };

function flip(obj: Bar): obj is Foo {
  (obj as unknown as Foo).type = 'foo';
  return true;
}

let becomeFoo: Bar | Foo = { type: 'bar' };
if (flip(becomeFoo)) {
  // 此处becomeFoo类型已被窄化为Foo
  console.log(becomeFoo.type); // 类型推断为'foo'
}

2. 利用可辨识联合类型自动窄化

因为Bar和Foo是带有type字面量的可辨识联合类型，调用flip()后直接检查type属性，编译器会自动完成类型窄化：

type Bar = {
    type: 'bar'
    flip: ()=>void
}
type Foo = {
    type: 'foo'
    flip: ()=>void
}

// 初始类型设为Bar | Foo
let becomeFoo: Bar | Foo = {
    type: 'bar',
    flip: ()=> { (becomeFoo as unknown as Foo).type = 'foo' }
}

becomeFoo.flip();
if (becomeFoo.type === 'foo') {
    // 此处becomeFoo类型自动推断为Foo
}

3. 手动类型断言（不推荐）

如果只是临时场景，可以手动用类型断言强制转换，但这会跳过TypeScript的类型检查，存在风险：

becomeFoo.flip();
const foo = becomeFoo as unknown as Foo;
// 此时foo的类型为Foo

内容的提问来源于stack exchange，提问作者TrevTheDev