泛型函数参数中的推断

Question

TypeScript 中的基本类型推断非常简单：

const bar = foo(); // bar: <type that foo returns>

考虑到泛型参数默认值为{}，可以合理地预期下面的代码会导致类型错误，因为回调函数返回number而不是{}：

function foo<T = {}>(callback: () => T): T {
    return callback();
}

let bar = foo(() => 1); // bar: number

但已知T是从回调返回值推断出来的，它是：

function foo<number>(callback: () => number): number

这究竟是如何发生的，这种行为是在哪里规定的？来自 TypeScript 开发人员的文档或解释中的引述将不胜感激。

是否可以强制T 为默认值（{} 或<T = ...> 中指定的任何值）而不是在foo(() => 1) 调用中推断？在某些情况下，这可能是理想的行为。

如果 TypeScript 中有其他反直觉的推理案例，也欢迎提及。

Answer 1

在某种程度上，你回答了你自己的问题：

考虑到通用参数默认值为{}

通过使用语法<T = {}>，您分配的是默认值，而不是要求。只有在 TypeScript 无法通过其他方式推断出T 的类型时才会使用默认值。

如果您想明确限制T 可以采用的形式，您应该使用通用约束而不是默认约束。 （请参阅TypeScript Generics documentation 中的通用约束部分）

例如，使用您提供的示例：

function foo<T extends object>(callback: () => T): T {
  return callback();
}

let bar = foo(() => 1); // Type 'number' is not assignable to type 'object'

您甚至可以使用<T extends object = {}> 在约束旁边提供默认值

至于你有点不同的问题：

是否可以强制 T 为默认值 [...] 并且不被推断

是的，当您调用函数以覆盖推理时，您始终可以提供一个类型。例如：

function foo<T extends object = {}>(callback: () => T): T {
  return callback();
}

interface User { name: string }
const user: User = { name: 'Bob' };

let bar = foo<{}>(() => user); // bar: {}

即使我传递了 User 类型的 T，我还是显式声明了调用的泛型，并且输出将改用该泛型值。