如何优化TypeScript对象访问代码？实现类型自动非空推断

针对你遇到的TypeScript控制流无法自动推断缓存值非空的问题，有几种优雅的实现方式，无需使用类型断言：

方法一：临时变量+精确判断控制流 #

先取出目标值，精准判断是否为undefined，若不存在则赋值并返回新值，否则返回已存在的值。TS的控制流分析会自动跟踪临时变量的类型：

enum DataTypes { ... }
class Cache {
    private _data: Partial<Record<DataTypes, Data>> = {};
    private getExpensiveData(name: DataTypes): Data { ... }
    private get(name: DataTypes) {
        const data = this._data[name];
        if (data === undefined) {
            const newData = this.getExpensiveData(name);
            this._data[name] = newData;
            return newData;
        }
        return data; // TS自动推断为Data
    }
}

这种方式逻辑清晰，完全依赖TS原生控制流分析，无需额外类型定义。用=== undefined判断可避免Data类型本身为falsy值（如空对象、0）时的误判。

方法二：自定义类型守卫函数 #

如果需要复用判断逻辑，可定义类型守卫函数，明确告知TS：当键存在于对象中时，对应的值为Data类型：

enum DataTypes { ... }
class Cache {
    private _data: Partial<Record<DataTypes, Data>> = {};
    private getExpensiveData(name: DataTypes): Data { ... }

    // 自定义类型守卫，缩小this._data的类型范围
    private hasValidData(key: DataTypes): this is { _data: Record<typeof key, Data> } {
        return key in this._data;
    }

    private get(name: DataTypes) {
        if (!this.hasValidData(name)) {
            this._data[name] = this.getExpensiveData(name);
        }
        return this._data[name]; // TS自动推断为Data
    }
}

通过this is ...语法，让TS在判断通过后自动将this._data的类型缩小为包含当前键且值为Data的结构，从而完成非空推断。

方法三：调整_data的类型定义 #

将_data的类型从Partial<Record<DataTypes, Data>>改为Record<DataTypes, Data | undefined>——前者表示属性可选（可不存在），后者表示属性必定存在但值可为undefined，TS对后者的控制流分析更精准：

enum DataTypes { ... }
class Cache {
    // 改为Record类型，初始化时用断言补足结构
    private _data: Record<DataTypes, Data | undefined> = {} as Record<DataTypes, Data | undefined>;
    private getExpensiveData(name: DataTypes): Data { ... }
    private get(name: DataTypes) {
        if (this._data[name] === undefined) {
            this._data[name] = this.getExpensiveData(name);
        }
        return this._data[name]; // TS自动推断为Data
    }
}

初始化时的as断言是因为空对象无法直接满足Record类型的全键要求，这种方式适合需要确保所有缓存键都存在（即使值为undefined）的场景。

内容的提问来源于stack exchange，提问作者饕餮饗食