嗨，大家好！这里是道长王jj~ 🎩🧙♂️
我将通过一个可能对日常使用非常有帮助的代码示例更深入地介绍泛型。
我们有一个函数，根据作为参数传递的格式，可以将对象序列化为不同的格式：
type JsonFormat = {
type: "json" };
type BinaryFormat = {
type: "binary" };
type StreamFormat = {
type: "stream" };
type Format = JsonFormat | BinaryFormat | StreamFormat;
function serialize(
obj: Record<string, unknown>,
format: Format,
): any {
// ...
}
我们期望每个函数调用的返回类型根据格式而异：
const data = {
a: 1, b: 2 };
// 格式为 json，返回类型应为字符串
const s1 = serialize(data, {
type: "json" });
// 格式为 binary，返回类型应为 Uint8Array
const s2 = serialize(data, {
type: "binary" });
// 格式为 stream，返回类型应为 ReadableStream<Uint8Array>
const s3 = serialize(data, {
type: "stream" });
为了实现这一点，我们需要将 format 参数的类型连接到函数的实际返回类型。首先，在函数签名中添加一个泛型类型参数 TFormat ：
// ...
type Format = JsonFormat | BinaryFormat | StreamFormat;
function serialize<TFormat extends Format>(
obj: Record<string, unknown>,
format: TFormat,
): any {
// ...
}
泛型类型参数 TFormat 使用 extends 关键字将类型限制为特定类型或类型集。在这种情况下，它确保只有 Format 联合类型的子类型可以用作输入参数。
接下来，我们创建泛型类型 SerializeReturnType 来为每种格式选择正确的返回类型：
// ...
type Format = JsonFormat | BinaryFormat | StreamFormat;
type SerializeReturnType<TFormat extends Format> =
TFormat extends JsonFormat
? string
: TFormat extends BinaryFormat
? Uint8Array
: TFormat extends StreamFormat
? ReadableStream<Uint8Array>
: never;
// ...
这个泛型类型根据泛型类型参数 TFormat 返回正确的类型。类型定义使用条件类型将每种可能的格式映射到其相应的返回类型。 ? 和 : 字符序列实际上是嵌套的三元表达式。因此，您可以将此类型定义视为 if-else-if 梯形：
- 如果
TFormat是JsonFormat，则返回类型是string。 - 否则，如果
TFormat是BinaryFormat，则返回类型是Uint8Array。 - 否则，如果
TFormat是StreamFormat，则返回类型是ReadableStream<Uint8Array>。 - 否则，如果
TFormat不是这三种类型之一，返回类型是never，这意味着该函数不能返回任何内容。
最后，我们需要将参数 format 的泛型类型连接到函数的泛型返回类型：
// ...
type Format = JsonFormat | BinaryFormat | StreamFormat;
type SerializeReturnType<TFormat extends Format> =
TFormat extends JsonFormat
? string
: TFormat extends BinaryFormat
? Uint8Array
: TFormat extends StreamFormat
? ReadableStream<Uint8Array>
: never;
function serialize<TFormat extends Format>(
obj: Record<string, unknown>,
format: TFormat,
): SerializeReturnType<TFormat> {
// ...
}
这样，函数的返回类型会根据传递的格式而自动确定，并且在类型检查中会得到正确的类型信息。它展示了泛型的强大功能，使我们能够根据参数的类型来推断返回类型。
🎉 你觉得怎么样？这篇文章可以给你带来帮助吗？当你处于这个阶段时，你发现什么对你帮助最大？如果你有任何疑问或者想进一步讨论相关话题，请随时发表评论分享您的想法，让其他人从中受益。🚀✨
