在指定其他类型时，如何让TypeScript推断受约束泛型类型的值？

Question

在TypeScript中，我有一个接受带有约束的泛型参数的函数：

function f1<U extends string>(param: U): U {
  return param;
}

const a1 = f1('hello');
// a1's type is 'hello' -- Great!

现在，我正在尝试这样做，以便您可以选择添加另一个类型作为返回类型的一部分。但是，当我这样做时，我必须为U类型提供一个默认参数。这使得TypeScript停止推断U的值，并使用我提供的默认类型：

function f2<T = never, U extends string = string>(param: U): U | T {
  return param;
}

const b1 = f2('hello');
// b1's type is 'hello' -- Great!

const b2 = f2<boolean>('hello');
// b2's type is string | boolean -- Terrible: I want the type to be 'hello' | boolean.

const b3 = f2<boolean, 'hello'>('hello');
// b3's type is 'hello' | boolean -- Poor: The type is correct but API is redundant.

所以我的问题是，有没有办法让TypeScript继续从参数推断类型？我不想为U提供默认类型，我总是希望TypeScript推断该值。伪代码，显示完整的API如何我想：

function f3<T = never, U extends string = infer>(param: U): U | T {
  return param;
}

const c1 = f3('hello');
// c1's type is 'hello' -- Great!

const c2 = f3<boolean>('hello');
// c2's type is 'hello' | boolean -- Great!

Answer 1

不幸的是，这是不可能的。有一个PR可以使用\ucode>符号添加部分推断，但它已经停用了很长一段时间。

唯一的解决方案是使用函数curry来实现此行为，尽管这并不理想：

function f2<T = never>() {
  return function <U extends string = string>(param: U): U | T {
    return param;
  }
}
const b2 = f2<boolean>()('hello');
// b2's type is string | 'hello' 

游乐场链接