TypeScript条件语句中类型推断不一致问题求助

问题概述 #

需要避免在多个switch分支中重复执行id/value的存在性检查，但当前调用setItem(data.id, data.value)时出现TypeScript类型错误：

The argument of type 'string | undefined' is not assignable to parameter of type 'string'.
Type 'undefined' is not assignable to type 'string'.ts(2345)

相关代码：

export const enum Message {
    setItem = 'setItem',
}

function foo(message: Message, data: Partial<Record<string, string>>) {
    const isValid = data.id != null && data.value != null;

    switch (message) {
        case Message.setItem: {
            if (isValid) {
                setItem(data.id, data.value);
            }
        }
    }
}

const setItem = (id: string, value: string | object) => {
    return id + value;
}

背景补充：

• 底层storage.setItem()要求第一个参数为string类型
• 逻辑上isValid判断能保证data.id和data.value为string，但TypeScript无法自动推断
• 实际场景包含多个switch分支，部分需要检查id/value，部分不需要

可行解决方案 #

1. 类型断言（快速临时解决） #

直接在调用时用类型断言明确告知TypeScript参数类型：

if (isValid) {
    setItem(data.id as string, data.value as string);
}

优点：实现简单，快速修复错误；缺点：如果后续isValid的判断逻辑变更，可能引发运行时风险，适合临时场景。

2. 自定义类型守卫（安全且可复用） #

创建类型守卫函数，让TypeScript能正确识别合法的数据类型：

// 定义类型守卫，判断data是否包含必填的id和value字段
function hasValidIdAndValue(data: Partial<Record<string, string>>): data is { id: string; value: string } {
    return data.id != null && data.value != null;
}

function foo(message: Message, data: Partial<Record<string, string>>) {
    switch (message) {
        case Message.setItem: {
            if (hasValidIdAndValue(data)) {
                setItem(data.id, data.value); // TypeScript自动推断为string类型
            }
        }
        // 其他需要检查的分支可直接复用该守卫
        case Message.updateItem: {
            if (hasValidIdAndValue(data)) {
                // 执行操作
            }
        }
    }
}

优点：类型检查逻辑与类型推断绑定，安全可靠，适合多分支复用的场景；缺点：需要额外定义一个函数。

3. 提前过滤并断言（多分支复用最优解） #

提前对数据进行一次检查，将合法数据存储为带类型的变量，后续分支直接复用：

function foo(message: Message, data: Partial<Record<string, string>>) {
    // 一次性检查并断言类型，后续分支直接使用
    const validData = data.id != null && data.value != null 
        ? (data as { id: string; value: string }) 
        : null;

    switch (message) {
        case Message.setItem: {
            if (validData) {
                setItem(validData.id, validData.value);
            }
        }
        case Message.deleteItem: {
            if (validData) {
                // 依赖id/value的操作
            }
        }
        case Message.clearItem: {
            // 不需要id/value的分支，直接执行
        }
    }
}

优点：只做一次检查，所有需要的分支复用结果，避免重复代码，同时TypeScript能正确推断validData的类型；缺点：需要提前处理数据，适合多分支需要重复检查的场景。

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