TypeScript forEach报“string不可赋值给never”错误原因及解决

报错场景 #

以下代码在注释位置会触发TypeScript类型错误：

type serviceInfoType = {
    PORT: number;
    HOST: string;
    MS_NAME: string;
    MS_KEY: string;
};
type serviceInfoParametersType = keyof serviceInfoType;
let serviceInfo = {} as serviceInfoType;
let serviceInfoParameters: Array<serviceInfoParametersType> = [
    "PORT",
    "HOST",
    "MS_NAME",
    "MS_KEY",
];
serviceInfoParameters.forEach((e) => {
    // Type 'string' is not assignable to type 'never'
    serviceInfo[e] = 'something';
});

报错原因 #

核心在于TypeScript对联合类型索引的类型推断逻辑：

• serviceInfoParametersType是serviceInfoType的键联合类型："PORT" | "HOST" | "MS_NAME" | "MS_KEY"
• 当用这个联合类型的键去索引serviceInfo时，TypeScript会计算所有键对应值类型的交集：number（PORT的类型）和string（其他键的类型）没有任何重叠的类型，交集结果就是never
• 此时serviceInfo[e]的类型被推断为never，给它赋值string类型的'something'自然会触发类型不匹配的报错。

临时解决方案 #

改成serviceInfo[e as string] = 'something';能正常运行，是因为as string强制绕过了TypeScript的联合类型索引推断，让编译器把e当成普通字符串索引，不再校验具体的键值类型对应关系。但这种写法属于“暴力跳过检查”，会丢失TypeScript类型校验的优势。

正确的类型校验写法 #

如果是给.env变量赋值，应该用类型守卫让TypeScript精准收窄每个键对应的类型，示例如下：

serviceInfoParameters.forEach((e) => {
    if (e === "PORT") {
        // 此时TypeScript知道serviceInfo[e]是number类型
        serviceInfo[e] = Number(process.env[e]);
    } else {
        // 此时TypeScript知道serviceInfo[e]是string类型
        serviceInfo[e] = process.env[e] as string;
    }
});

这种写法里，TypeScript能根据e的具体值，精准推断出serviceInfo[e]的类型，从而安全赋值，同时保留类型校验和智能提示的功能。

为什么直接写serviceInfo[e] = process.env[e]不行？因为process.env[e]的类型是string | undefined，而未用类型守卫时serviceInfo[e]的类型是never，两者类型不匹配；但用类型守卫后，每个分支的类型都被精准收窄，就能正常匹配了。

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