深入理解 TypeScript 的 Partial＜T＞ 类型

1. 基本概念

Partial<T> 的作用是将类型 T 的所有属性都变为可选属性。

换句话说，它创建一个新类型，这个新类型拥有原类型 T 的所有属性，但每个属性都变成了可选的（即可以不存在）。

interface User {id: number;name: string;age: number;email: string;   
}

type PartialUser = Partial<User>;   
// 等价于：   
interface PartialUser {id?: number;name?: string;age?: number;email?: string;
}

2. 为什么在 removeEmptyValues 中使用 Partial<T>

在我们的 removeEmptyValues 函数中：

export const removeEmptyValues = <T extends Record<string, any>>(obj: T): Partial<T> => {// 实现...
};

使用 Partial<T> 作为返回类型是因为：

1. 函数会删除某些属性：当删除空值属性后，返回的对象可能不再包含原类型 T 的所有属性
2. 类型安全：如果不使用 Partial<T>，TypeScript 会认为返回的对象仍然包含所有原属性，这会导致类型不匹配

3. Partial<T> 的实现原理

在 TypeScript 源码中，Partial<T> 是这样定义的：
 

type Partial<T> = {[P in keyof T]?: T[P];
};

解释：

• keyof T：获取类型 T 的所有属性名组成的联合类型
• [P in keyof T]：遍历 T 的每个属性
• ?: T[P]：将每个属性变为可选属性，并保持原类型

4. 与相关类型的对比

Partial<T> vs Required<T>

• Partial<T>：所有属性变为可选
• Required<T>：所有属性变为必选

Partial<T> vs Pick<T, K>

• Partial<T>：保留所有属性，但都变为可选
• Pick<T, K>：只保留指定的属性 K

 

5. 如果不使用 Partial<T> 会怎样？

如果我们这样写：

function removeEmptyValues<T>(obj: T): T {// 实现...
}

• TypeScript 会认为返回的对象仍然包含所有原属性
• 但实际上我们可能删除了某些属性
• 这会导致类型系统与实际运行时行为不一致

6. 总结

Partial<T> 的核心要点：

1. 它创建一个新类型，包含原类型的所有属性但都变为可选
2. 它常用于表示"可能不完整的对象"
3. 在数据处理函数（如删除属性的函数）中特别有用
4. 它帮助保持类型系统的准确性，即使对象结构发生了变化