TypeScript Record能否实现可选键但存在键时值为必填字符串？

你需要构建一个配置对象，键来自指定联合类型，要求：

• 键是可选的，无需包含联合类型中所有键
• 若键存在，对应的值必须是必填字符串（不能为undefined）

使用Partial<Record<Keys, string>>时，访问属性会得到string | undefined的类型，不符合预期：

type Keys = 'a' | 'b' | 'c'

type Config = Partial<Record<Keys, string>>

const config: Config = { 'a': 'some value'}

const value = config.a // 类型为 string | undefined

以下是几种实现你需求的方案：

方案1：类型守卫缩小范围 #

Partial<Record<Keys, string>>本身已经满足「存在的键值必为string」的约束（开启strictNullChecks时，无法给存在的键赋值undefined）。访问属性时用类型守卫即可缩小类型：

type Keys = 'a' | 'b' | 'c'
type Config = Partial<Record<Keys, string>>

const config: Config = { 'a': 'some value'}

if (config.a !== undefined) {
  const value = config.a // 类型为 string
}

方案2：生成子集联合类型（精确推导） #

如果希望TypeScript直接根据对象定义推导存在的键值类型为string，可以用递归工具类型生成联合类型的所有子集：

type Keys = 'a' | 'b' | 'c';

// 生成联合类型的所有可能子集
type Subset<T> = T extends object
  ? { [K in keyof T]?: Subset<Omit<T, K>> | T[K] }
  : never;

type Config = Subset<Record<Keys, string>>;

const config: Config = { 'a': 'some value'};
const value = config.a; // 类型为 string

const config2: Config = { 'a': 'test', 'b': 'demo'};
const value2 = config2.b; // 类型为 string

这种方案让TypeScript自动识别对象中存在的键，直接推导其值为string，无需额外类型守卫。

方案3：直观映射类型 #

直接用映射类型定义可选属性，效果和Partial一致，但更直观：

type Keys = 'a' | 'b' | 'c';

type Config = {
  [K in Keys]?: string;
};

// 编译报错：不能将undefined赋值给存在的键
const invalidConfig: Config = { a: undefined };

const validConfig: Config = { a: 'valid string' };
if (validConfig.a) {
  const val = validConfig.a; // 类型为 string
}

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