TypeScript 泛型和函数重载

如果您希望能够以不同的方式调用单个函数，则可以将其设置为overload，也可以使用conditional types将其设置为generic以表示任意类型关系.

对于您的示例，重载解决方案相对简单:只需为调用它的每种所需方式添加一个调用签名:

// call signatures
function createSomeFn<R extends MapLike>(key: string): () => R;
function createSomeFn<R extends MapLike, P extends MapLike>(
  key: string): (param: P) => R;

然后使用签名实现它，该签名将允许任何此类调用(至少):

function createSomeFn<R extends MapLike, P extends MapLike = never>(
  key: string) {
  return function (p: P): R {
    return null! // impl later
  }
};

如果要改用泛型条件类型，则需要确定作为输入类型的函数的返回类型.您希望将P与never进行比较，如果匹配则返回() => R，如果不匹配则返回(p: P) => R.有一种方法可以做到这一点:

function createSomeFn<R extends MapLike, P extends MapLike = never>(
  key: string,
) {
  return function (...[p]: ([P] extends [never] ? [] : [p: P])): R {
    return null! // impl later
  }
};

支票的格式是[P] extends [never] ? ⋯ : ⋯，而不是P extends never ? ⋯ : ⋯，因为我们不想要distributive conditional type(见microsoft/TypeScript#23182).在这里，我根据P来 Select 使用哪一种rest parameter tuple type.如果P是never，则参数列表应该为空([])，否则它应该是类型P的一元组([p: P]).

这两种解决方案的运行方式都符合您的要求:

type Pe = { foo: string };
type Re = { bar: string };
const myFn = createSomeFn<Re, Pe>('myFn');
myFn(); // error
myFn({ foo: 'bar' }); // okay
const myFn2 = createSomeFn<Re>('myFn');
myFn2(); // okay
myFn2({}); // error

Playground link to code个