如何使用io-ts创建Partial Record类型？

你要实现的Partial<Record<Pets, number>>本质上是一个可选属性为指定字符串字面量（dog/cat/fish）、值为number类型的对象类型。io-ts的t.partial确实不支持直接传入t.record，但可以通过以下两种方式实现需求：

方法一：手动构造可选属性类型 #

直接把每个指定的键作为t.partial的属性传入，值类型设为t.number：

import * as t from 'io-ts';

// 对应TypeScript中的Pets类型
type Pets = 'dog' | 'cat' | 'fish';

// 构造io-ts类型，对应Partial<Record<Pets, number>>
const PetCounts = t.partial({
  dog: t.number,
  cat: t.number,
  fish: t.number
});

// 导出对应的TypeScript类型，和你定义的PetCounts接口完全一致
export type PetCounts = t.TypeOf<typeof PetCounts>;

这种方式简单直接，适合键数量少的场景。

方法二：动态生成可选属性类型 #

如果需要支持的键数量较多，可以通过编程方式动态生成t.partial的属性对象：

import * as t from 'io-ts';

// 定义固定的宠物键数组
const pets = ['dog', 'cat', 'fish'] as const;
// 生成每个键对应的io-ts类型映射
const petCountProps = Object.fromEntries(
  pets.map(pet => [pet, t.number])
) as Record<typeof pets[number], typeof t.number>;

// 构造io-ts类型
const PetCounts = t.partial(petCountProps);
export type PetCounts = t.TypeOf<typeof PetCounts>;

为什么不能直接用t.partial(t.record(...))？ #

t.record的作用是描述键为某一类类型（如任意字符串）、值为固定类型的对象，而t.partial是用来描述拥有特定可选属性的对象。两者语义不同：你的需求是限定只能有dog/cat/fish这几个可选键，而不是任意字符串键，所以本质上是特定属性的可选对象，而非Record的Partial包装。

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