TypeScript中如何将含undefined的环境变量对象转为纯字符串类型？

问题回顾 #

使用dotenv管理环境变量时，已通过代码确保所有环境变量存在（不存在则抛出错误），但TypeScript仍将secrets的属性类型识别为string | undefined，需要将其转换为纯string的只读类型，同时保持代码简洁（DRY）。

可行方案 #

方案1：自定义类型工具 + 类型断言 #

先定义一个工具类型，将对象中每个属性的T | undefined类型转换为T，同时保留只读特性：

type NonUndefinedValues<T> = {
    readonly [K in keyof T]: Exclude<T[K], undefined>;
};

然后在检查完环境变量后，将secrets断言为该类型：

const {
    SECRET1,
    SECRET2,
    ...
} = process.env;

const secrets = {
    SECRET1,
    SECRET2,
    ...
} as const satisfies { [key: string]: string | undefined };

// 环境变量检查逻辑
type secretKey = keyof typeof secrets;
for (const key in secrets) {
    if (!secrets[key as secretKey]) {
        throw new Error(`Expected ${key} to be set in .env`);
    }
}

// 转换类型
const checkedSecrets = secrets as NonUndefinedValues<typeof secrets>;

此时checkedSecrets的类型会自动变为每个属性都是string的只读对象，无需重复声明属性。

方案2：用断言函数封装检查逻辑（更安全） #

将环境变量检查逻辑封装为断言函数，利用TypeScript的控制流分析自动收窄类型，避免手动断言：

// 断言函数：确保传入的对象所有属性都不为undefined
function assertEnvVars<T extends Record<string, string | undefined>>(vars: T): asserts vars is { readonly [K in keyof T]: string } {
    for (const key in vars) {
        if (!vars[key]) {
            throw new Error(`Expected ${key} to be set in .env`);
        }
    }
}

// 初始化环境变量对象
const { SECRET1, SECRET2, ... } = process.env;
const secrets = { SECRET1, SECRET2, ... } as const satisfies { [key: string]: string | undefined };

// 执行断言，之后secrets的类型自动变为纯string的只读对象
assertEnvVars(secrets);

调用assertEnvVars后，TypeScript会自动识别secrets的所有属性已被确保为string，无需额外类型转换。

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