为何TypeScript函数第二个泛型类型推断异常？如何修复返回类型差异？

原因分析 #

1. exampleOne 返回字面量类型的原因
   调用时未显式指定任何泛型参数，TypeScript会自动完成所有泛型推断：

   • 针对argument_2，从传入的具体值'hello world'推断出其类型为字面量类型"hello world"；
   • 未被函数使用的argument_1会被推断为SomeType的兼容类型，但不影响返回值类型（返回类型绑定的是argument_2）。
     最终返回类型就是字面量"hello world"。

2. exampleTwo 返回string类型的原因
   显式指定第一个泛型参数argument_1为'Hello'后，TypeScript会遵循「显式指定的泛型优先，未指定的泛型使用默认值」的规则：

   • 第二个泛型参数argument_2的默认值是string，因此TypeScript直接采用这个默认值，不再从传入的'hello world'中推断字面量类型。
     最终返回类型变成了string。

修复方案 #

方案一：使用类型参数占位符（TypeScript 4.7+）

用_作为占位符，让TypeScript自动推断未显式指定的泛型参数：

const exampleTwo = example<'Hello', _>('hello world') // ReturnType: "hello world"

方案二：调整泛型参数顺序

将需要自动推断的argument_2放在泛型列表的前面，这样指定后面的argument_1时，不会影响前面参数的推断：

type SomeType = 'Hello' | 'Greeting'

function example<
  argument_2 extends string = string,
  argument_1 extends SomeType
>(
  arg: argument_2
): argument_2 {
  return arg
}

// 调用时指定第二个泛型，第一个由TS自动推断
const exampleTwo = example<_, 'Hello'>('hello world') // ReturnType: "hello world"

额外优化（可选）

如果原代码中的argument_1泛型参数未被实际使用，直接移除它即可彻底避免这类问题：

type SomeType = 'Hello' | 'Greeting'

function example<argument_2 extends string = string>(
  arg: argument_2
): argument_2 {
  return arg
}

const exampleOne = example('hello world') // ReturnType: "hello world"

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