为何在函数中断言对象字段后，TypeScript类型断言不生效？

当你调用assertAbc(myObj.abc)时，TypeScript确实会在当前函数作用域内把myObj.abc的类型临时缩小为Abc，但这种类型缩小是局部的——它不会修改myObj本身的类型（依然是MyInterface，其中abc为string）。当你返回myObj时，TypeScript会根据函数的返回类型推断规则，将返回值类型确定为原始的MyInterface，不会保留局部作用域中属性的类型缩小结果。

简单来说：断言函数只能临时缩小当前作用域内属性的类型，无法改变整个对象的类型定义，因此返回后的对象c依然遵循原始接口的类型约束。

你可以通过以下几种方式解决这个问题：

1. 显式指定函数返回类型 #

创建包含更窄类型的接口或类型别名，让函数返回该类型：

interface MyInterface {
    abc: string;
}

type Abc = "A" | "B";
// 定义包含Abc类型的子接口
interface MyInterfaceWithAbc extends MyInterface {
    abc: Abc;
}

function assertAbc(v: string): asserts v is Abc {
    if (!["A", "B"].includes(v)) {
        throw Error();
    }
};

const needAbc = (_: Abc) => true;

// 显式指定返回类型为MyInterfaceWithAbc
const shouldBeWithAbcType = (): MyInterfaceWithAbc => {
    const myObj: MyInterface = { abc: "A" };
    assertAbc(myObj.abc);
    // 用类型断言转换对象类型
    return myObj as MyInterfaceWithAbc;
}

const c = shouldBeWithAbcType();
needAbc(c.abc); // 正常工作

2. 让断言函数直接作用于整个对象 #

修改断言函数，使其直接断言对象的类型，而非单个属性：

interface MyInterface {
    abc: string;
}

type Abc = "A" | "B";

// 断言函数直接缩小对象的类型
function assertMyObjHasAbc(obj: MyInterface): asserts obj is MyInterface & { abc: Abc } {
    if (!["A", "B"].includes(obj.abc)) {
        throw Error();
    }
};

const needAbc = (_: Abc) => true;

const shouldBeWithAbcType = () => {
    const myObj: MyInterface = { abc: "A" };
    assertMyObjHasAbc(myObj);
    // 此时myObj的类型已被缩小，返回后会保留该类型
    return myObj;
}

const c = shouldBeWithAbcType();
needAbc(c.abc); // 正常工作

3. 返回时直接断言对象类型 #

如果不想修改断言函数或定义新类型，可在返回对象时直接做类型断言：

const shouldBeWithAbcType = () => {
    const myObj: MyInterface = { abc: "A" };
    assertAbc(myObj.abc);
    // 返回时断言为包含Abc的类型
    return myObj as { abc: Abc };
}

const c = shouldBeWithAbcType();
needAbc(c.abc); // 正常工作

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