17370845950

在 TypeScript 中，当处理函数交叉类型时，其行为等同于函数重载。然而，在实际调用这类函数时，TypeScript 会根据参数匹配度选择最合适的（通常是第一个）签名来确定返回类型；而在使用 `infer` 进行类型推断时，它却倾向于从最后一个函数签名进行推断，这导致了返回类型的不一致。本文将深入探讨这一现象，并提供重构建议，以确保类型推断的准确性和一致性。

理解函数交叉类型与函数重载

在 TypeScript 中，函数交叉类型（Intersection Types for Functions）的行为与函数重载（Function Overloads）非常相似。一个由多个函数类型通过 & 符号连接而成的交叉类型，会被 TypeScript 解释为一个具有多个调用签名（Call Signatures）的重载函数。

考虑以下示例：

type Foo = (() => Promise) & (() => Promise);
type Foo2 = (() => Promise) & (() => Promise);

在这里，Foo 和 Foo2 都被视为具有两个调用签名的重载函数。关键在于，TypeScript 处理重载函数时，在调用和类型推断方面存在不同的行为模式。

调用时的返回类型解析

当您实际调用一个重载函数时，TypeScript 会根据传入的参数类型，选择“最合适”的调用签名来确定函数的返回类型。在没有参数或参数类型相同的情况下，通常会选择第一个匹配的签名。

例如：

// 示例1: Foo 类型
type Foo = (() => Promise) & (() => Promise);

const a: Foo = async () => {
    return "";
};

const b = await a();
// 实际调用时，b 的类型被推断为 string
// 这是因为 (() => Promise) 是第一个签名，且匹配成功。
//    ^? const b: string

在 Foo 类型中，(() => Promise) 是第一个签名。因此，当 a 被调用时，其返回类型被解析为 Promise，解包后 b 的类型是 string。

// 示例2: Foo2 类型
type Foo2 = (() => Promise) & (() => Promise);

const c: Foo2 = async () => {
    return "";
};

const d = await c();
// 实际调用时，d 的类型被推断为 any
// 这是因为 (() => Promise) 是第一个签名，且匹配成功。
//    ^? const d: any

类似地，在 Foo2 类型中，(() => Promise) 是第一个签名。因此，当 c 被调用时，其返回类型被解析为 Promise，解包后 d 的类型是 any。

使用 infer 进行类型推断时的行为

与调用行为不同，当您尝试使用条件类型中的 infer 关键字（例如通过 ReturnType 工具类型）从一个重载函数类型中提取返回类型时，TypeScript 通常会从最后一个调用签名进行推断。这是一个已知的 TypeScript 设计限制。

继续上面的示例：

// 示例1: Foo 类型
type Foo = (() => Promise) & (() => Promise);

type FooResult = Foo extends () => Promise ? T : null;
// 使用 infer 时，FooResult 的类型被推断为 any
// 这是因为 (() => Promise) 是 Foo 类型中的最后一个签名。
//    ^? type FooResult = any

这里，FooResult 被推断为 any，与 b 的实际类型 string 产生了不匹配。

// 示例2: Foo2 类型
type Foo2 = (() => Promise) & (() => Promise);

type FooResult2 = Foo2 extends () => Promise ? T : null;
// 使用 infer 时，FooResult2 的类型被推断为 string
// 这是因为 (() => Promise) 是 Foo2 类型中的最后一个签名。
//    ^? type FooResult2 = string

同样，FooResult2 被推断为 string，与 d 的实际类型 any 产生了不匹配。

这种调用时取第一个签名、推断时取最后一个签名的行为，正是导致类型不一致的根本原因。

解决方案与重构建议

为了避免这种不一致性，并确保类型推断的准确性，最佳实践是尽量避免使用参数类型完全相同的函数交叉类型来模拟重载。如果您的函数没有不同的参数签名来区分不同的重载，那么它可能不适合作为重载函数处理。

1. 使用单一明确的函数签名

如果您的目标是获得一个明确的返回类型，并且函数没有真正的重载逻辑（即不同的参数导致不同的行为），那么应该直接使用一个单一的函数签名来表示其类型。

例如，如果您期望函数始终返回 Promise，则应明确定义：

type MyFunctionType = () => Promise;

const myFunc: MyFunctionType = async () => {
    return "hello";
};

type MyFuncResult = MyFunctionType extends () => Promise ? T : null;
//    ^? type MyFuncResult = string

const result = await myFunc();
//    ^? const result: string

这样，MyFuncResult 和 result 的类型将保持一致。

2. 显式定义交叉返回类型

如果您确实希望函数的返回类型是多个类型的交叉，那么不应该通过交叉函数类型来实现，而是直接在单一的函数签名中定义一个交叉的返回类型。

// 错误的示例：试图通过函数交叉类型获得交叉返回类型
type BadAttempt = (() => { a: string }) & (() => { b: number });

type BadRet = ReturnType;
//    ^? type BadRet = { b: number; } // 仅推断出最后一个签名

const badCall = ((): BadAttempt => {
    return { a: "", b: 1 };
})();
//    ^? const badCall: { a: string; } // 实际调用得到第一个签名

// 正确的示例：直接在单一函数签名中定义交叉返回类型
type CorrectFunction = () => { a: string } & { b: number };

const correctFunc: CorrectFunction = () => {
    return { a: "", b: 1 };
};

type CorrectRet = ReturnType;
//    ^? type CorrectRet = { a: string; } & { b: number; }

const correctCall = correctFunc();
//    ^? const correctCall: { a: string; } & { b: number; }

通过这种方式，CorrectRet 和 correctCall 的类型将完全一致，都反映了 string 和 number 的交叉类型。

总结与最佳实践

• 函数交叉类型即重载： (() => T) & (() => U) 等同于一个重载函数，其行为受 TypeScript 重载规则的约束。
• 调用与推断的不一致： 调用重载函数时通常匹配第一个签名；使用 infer 推断时通常匹配最后一个签名。这是导致类型不一致的核心原因。
• 避免无意义的重载： 如果您的函数没有通过参数类型区分的真正重载逻辑，应避免使用函数交叉类型。
• 使用单一明确的签名： 大多数情况下，直接使用一个单一的函数签名来定义其输入和输出类型，是确保类型一致性和可预测性的最佳方法。
• 显式交叉返回类型： 如果需要一个包含多个属性的交叉返回类型，请直接在函数的返回类型中声明这个交叉类型，而不是通过交叉函数类型来间接实现。

通过遵循这些原则，您可以有效地管理 TypeScript 中的函数类型，避免由重载和 infer 行为差异引起的潜在类型问题，从而编写出更健壮、更易于理解的代码。