如何实现从数组到基于联合类型对象的类型安全转换？

问题背景 #

我们需要将弱类型的整数数组转换为强类型的每日工时记录结构，核心类型定义如下：

const WEEKDAYS = ["Monday", "Tuesday", "Wednesday", "Thursday", "Friday"] as const;
type Weekday = typeof WEEKDAYS[number];
type TrackedHours = Record<Weekday, number>;

目标是实现一个类型安全的函数parseTrackedHours，将输入的number[]转换为TrackedHours，且避免使用破坏类型安全性的类型断言。

现有实现的问题 #

用reduce的函数式写法逻辑可行，但编译器无法推断初始值{}的类型为TrackedHours；直接使用类型断言会导致后续类型修改时，无法在编译阶段发现问题：

// 类型推断失效，强行断言会破坏类型安全
function parseTrackedHours(data: number[]): TrackedHours {
  return WEEKDAYS.reduce(
    (trackedHours, weekday, index) => ({
      [weekday]: data[index] ?? 0,
      ...trackedHours,
    }),
    {},
  ); 
}

类型安全的解决方案 #

方案1：封装安全的fromEntries工具函数 #

通过泛型工具函数封装Object.fromEntries的类型转换，将断言限制在通用工具内，业务代码保持类型安全：

// 通用类型安全的键值对转对象工具
function safeFromEntries<K extends string | number | symbol, V>(
  entries: readonly (readonly [K, V])[]
): Record<K, V> {
  // 此处断言安全，因为输入的entries严格符合[K, V]结构
  return Object.fromEntries(entries) as Record<K, V>;
}

function parseTrackedHours(data: number[]): TrackedHours {
  // 映射为严格类型的键值对数组
  const entries = WEEKDAYS.map((day, idx) => [day, data[idx] ?? 0] as const);
  // 工具函数自动推导返回类型为TrackedHours
  return safeFromEntries(entries);
}

方案2：带泛型约束的reduce实现 #

给reduce指定泛型参数明确累加器类型，初始化时的断言仅用于空对象占位，后续赋值严格遵循类型约束：

function parseTrackedHours(data: number[]): TrackedHours {
  // 指定reduce累加器类型为TrackedHours，确保每一步赋值都受类型检查
  return WEEKDAYS.reduce<TrackedHours>((acc, day, idx) => {
    acc[day] = data[idx] ?? 0;
    return acc;
  }, {} as TrackedHours);
}

当WEEKDAYS或TrackedHours类型修改时，编译器会立即抛出错误，保证了类型安全性。

方案3：预初始化完整结构（适合短枚举） #

如果枚举长度较短，可直接初始化符合TrackedHours类型的对象，再通过forEach填充值，完全无需断言：

function parseTrackedHours(data: number[]): TrackedHours {
  // 初始化完整的TrackedHours结构，默认值为0
  const trackedHours: TrackedHours = {
    Monday: 0,
    Tuesday: 0,
    Wednesday: 0,
    Thursday: 0,
    Friday: 0,
  };
  // 遍历赋值，类型检查严格生效
  WEEKDAYS.forEach((day, idx) => {
    trackedHours[day] = data[idx] ?? 0;
  });
  return trackedHours;
}

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