宽类型转窄类型：TypeScript类型校验问题求助

我正在尝试将宽类型转换为窄类型（这与里氏替换原则相反），想知道如何在不使用类型断言的情况下，让TypeScript编译器知晓转换后的对象包含"a"和"b"属性。我觉得可能用到satisfies关键字，但不知道具体怎么用。

代码示例 #

type Original = Record<string, [string, ...string[]]>;
type Converted = Record<"a" | "b", string>;

let orig: Original = { a: ["1"], b: ["2"] };
let conv: Converted = Object.fromEntries(
  Object.entries(orig).map(([key, value]) => [key, value[0]]),
);

报错信息 #

Type '{ [k: string]: string; }' is missing the following properties from type 'Record<"a" | "b", string>': a, b ts(2739)

核心问题分析 #

问题出在orig被直接标注为Original类型后，TypeScript会丢失其具体的键名信息（只知道键是string类型），导致Object.entries(orig)返回的键类型是string，最终Object.fromEntries生成的对象类型被推断为{ [k: string]: string }，无法匹配要求必须包含a和b的Converted类型。

解决方案：用satisfies保留具体键信息 #

使用satisfies关键字可以让orig既满足Original类型的约束，又保留其具体的键名（a和b）的类型信息，这样TypeScript就能正确推断转换后的对象类型。

修改后的代码：

type Original = Record<string, [string, ...string[]]>;
type Converted = Record<"a" | "b", string>;

// 使用satisfies让orig满足Original类型，同时保留具体键的类型
let orig = { a: ["1"], b: ["2"] } satisfies Original;

// 此时Object.entries(orig)的键类型是"a"|"b"，转换后自动匹配Converted
let conv: Converted = Object.fromEntries(
  Object.entries(orig).map(([key, value]) => [key, value[0]]),
);

其他可选方案：类型安全的转换函数 #

如果需要更通用的转换逻辑，可以编写一个泛型转换函数，确保转换过程的类型安全，同时避免外部使用类型断言：

type Original = Record<string, [string, ...string[]]>;
type Converted = Record<"a" | "b", string>;

// 泛型函数捕获对象的具体键类型
function convertToSingleValue<K extends string>(
  obj: Record<K, [string, ...string[]]>
): Record<K, string> {
  return Object.fromEntries(
    Object.entries(obj).map(([key, value]) => [key, value[0]])
  ) as Record<K, string>;
  // 此处的断言仅在函数内部，且逻辑安全：我们明确知道每个值都会取第一个元素
}

// 同样用satisfies保留orig的具体键类型
let orig = { a: ["1"], b: ["2"] } satisfies Original;
let conv: Converted = convertToSingleValue(orig);

解释 #

• satisfies的作用是：验证值是否符合指定类型，但不会像直接标注类型那样丢失原始值的更具体的类型信息。在这里，orig的实际类型被推断为{ a: [string], b: [string] }，同时满足Original的约束。
• 当Object.entries处理带有具体键类型的对象时，返回的键类型会是"a"|"b"而非宽泛的string，因此Object.fromEntries生成的对象类型会被推断为{ a: string, b: string }，可以直接赋值给Converted类型。

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