TypeScript中reduce实现对象属性字符串化的累加器类型报错问题

你遇到的报错来自两个TypeScript的默认类型行为：

1. Object.entries()的默认返回类型是[string, T[keyof T]][]，对象的键会被默认拓宽为string类型，而非泛型T的实际键类型keyof T，因此直接用遍历出的键去索引累加器时，TS会判定string类型不能访问没有定义字符串索引签名的对象属性。
2. reduce的初始值是空对象，在遍历完成前累加器的属性是不完整的，直接将初始值断言为完整的Stringify<T>或者用属性类型不匹配的Partial<T>作为累加器类型，都会触发类型不兼容报错。

你可以通过显式指定reduce累加器的中间类型，配合安全的类型断言实现需求，代码如下：

type Stringify<T> = {
  [P in keyof T]: string;
};

function stringify<T extends object>(obj: T): Stringify<T> {
  return Object.entries(obj).reduce<Partial<Stringify<T>>>((acc, [k, v]) => {
    acc[k as keyof T] = `${v}`;
    return acc;
  }, {}) as Stringify<T>;
}

• 给泛型T增加extends object约束，避免传入原始值类型时keyof T产生不符合预期的类型
• 显式为reduce指定泛型参数Partial<Stringify<T>>作为累加器的中间类型：该类型允许遍历过程中累加器的属性不全，且所有已赋值的属性值都必须是string类型，匹配你的转换逻辑
• 对遍历出的键k做as keyof T的类型断言：由于你传入的是泛型T的实例，逻辑上可以确定遍历出的键就是T的合法属性，这个断言是安全的
• 遍历完成后将最终累加器断言为Stringify<T>：逻辑上你已经为原对象的所有属性都赋值了字符串值，该断言不会产生运行时风险

• 用Partial<T>作为累加器类型：Partial<T>的属性值类型和原对象T的属性类型一致，不是string，赋值字符串时本身就会触发类型不匹配，且最终返回值缺少属性必选的约束，无法兼容Stringify<T>的返回要求
• 直接将初始空对象断言为Stringify<T>：虽然初始值绕过了类型检查，但回调中string类型的键无法索引没有字符串索引签名的Stringify<T>类型，仍然会触发隐式any的报错。

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