TypeScript能否持久化变量类型断言或实现类型断言块？

TypeScript 原生不支持你描述的“持久化单行类型断言”“类型断言块”语法，类型收窄默认和控制流绑定，单独的断言语句不会永久改变后续作用域内变量的类型。在不修改第三方库源码和原有类型定义的前提下，有3种常用方案可以避免重复写冗余断言：

方案1：单次断言后存为局部变量（最推荐，零额外开销） #

只需要做一次类型断言，把断言后的值存为局部常量，后续所有操作都基于这个常量访问即可，运行时没有任何额外性能消耗：

const physicsObject = new PhysicsObject();
physicsObject.createFromSprite(/* 传入业务参数 */);

// 仅需一次类型断言
const body = physicsObject.body as BodyTypeA;

// 后续所有操作无需重复断言
body.label = "abc";
body.id = "124";
const saveImportantNumber = body.importantNumber;

这个方案适配绝大多数场景，写法简单，类型安全。

方案2：用IIFE模拟“断言块”效果 #

如果你希望把相关操作收拢在独立块级作用域里，和外部逻辑隔离，可以通过立即执行函数实现块级断言的效果：

const physicsObject = new PhysicsObject();
physicsObject.createFromSprite(/* 传入业务参数 */);

// 块作用域内自动识别body为BodyTypeA
((body: BodyTypeA) => {
    body.label = "abc";
    body.id = "124";
    const saveImportantNumber = body.importantNumber;
})(physicsObject.body as BodyTypeA);

方案3：通过模块声明合并自动收窄类型（最贴合预期效果） #

如果你整个项目中所有调用createFromSprite的场景，生成的body都是BodyTypeA，可以在自己项目的任意.d.ts类型声明文件中，通过TS的声明合并特性扩充第三方库的类型定义，不需要修改第三方库源码：

// 替换成你实际引入第三方库的包名
declare module "third-party-physics-lib" {
    interface PhysicsObject {
        // 重写createFromSprite的返回类型，标记调用后body为BodyTypeA
        createFromSprite(...args: Parameters<PhysicsObject["createFromSprite"]>): this & {
            body: BodyTypeA
        };
    }
}

添加完这个声明后，只要你调用了physicsObject.createFromSprite(...)，TS会自动把当前实例的body类型收窄为BodyTypeA，后续访问专属字段完全不需要写任何断言，和你期望的“一次标记永久生效”效果一致。

注意：这个方案要求你确保代码中调用createFromSprite之后，不会再调用createFromJson/createFromWhatever等方法修改body为其他类型，否则会出现类型标注和实际值不匹配的问题。

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