如何让TypeScript函数返回参数超集类型而非Pick提取的子集？

核心结论 #

不用泛型的话，无法让TypeScript自动推断并返回传入对象的完整类型。因为Pick<Todo, 'id' | 'idUser'>会将参数类型收窄为仅包含指定属性的子集，TypeScript没有机制自动反向推导原始的扩展类型。要实现你的需求，泛型是最简洁且符合TypeScript类型系统的方案——这并非“额外复杂度”，而是TypeScript处理此类场景的标准方式。

正确实现方式 #

通过泛型约束todos的类型必须包含id和idUser，同时保留传入对象的完整类型信息：

interface Todo {
  id: string;
  idUser: string;
}

const getMyTodos = <T extends Pick<Todo, 'id' | 'idUser'>>(idUser: string, todos: T[]) => {
  return todos.filter(todo => todo.idUser === idUser);
};

// 调用示例
const result = getMyTodos('xyz', [{ id: '1', idUser: 'xyz', someOtherProperty: 'blah' }]);
// result的类型自动推断为：{ id: string; idUser: string; someOtherProperty: string; }[]

为什么原写法无法实现 #

你之前的代码中，todos的类型被显式指定为Pick<Todo, 'id' | 'idUser'>[]，这意味着无论你传入什么包含额外属性的数组，TypeScript都会将其类型收窄到仅包含id和idUser的子集。函数返回的过滤结果自然也只能是这个子集类型的数组，无法保留someOtherProperty这类额外属性的类型信息。

非泛型的妥协方案（不推荐） #

如果坚持不用泛型，只能通过类型断言强制指定返回类型，但这会失去自动推断能力和部分类型安全性：

const getMyTodos = (idUser: string, todos: Pick<Todo, 'id' | 'idUser'>[]) => {
  return todos.filter(todo => todo.idUser === idUser) as typeof todos;
};

// 调用时需要手动断言传入的类型
const todos = [{ id: '1', idUser: 'xyz', someOtherProperty: 'blah' }] as const;
const result = getMyTodos('xyz', todos) as typeof todos;

这种写法不仅繁琐，还需要手动维护类型断言，远不如泛型方案简洁可靠。

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