如何使一个通用的函数值？

Question

考虑下面的代码：

interface Foo<T1> {
  foo: string;
  baz: T1;
}

function toFoo<T2>(value: T2): Foo<T2> {
  return {
    foo: 'bar',
    baz: value
  };
}

// Actually this function is imported from an NPM package so I can't change it
// The example is given for a better illustration
function memoize<T3, T4>(func: (arg: T3) => T4): (arg: T3) => T4 {
  // Some implementation...
  return func;
}

const memoizedToFoo: {<T5>(value: T5): Foo<T5>} = // ???

该toFoo功能是通用的。我需要toFoo的memoized版本，是一个通用的了。我不能改变memoize类型和实现。如何实现memoizedToFoo，使其在给定的接口匹配？

我尝试这一点，但它不工作：

const memoizedToFoo<T5> = memoize(toFoo<T5>); // unexpected <T5>

Answer 1

你可以改变你memorize()功能？这是工作太辛苦。

下面将自动推断正确的类型：

interface Foo<T1> {
  foo: string;
  baz: T1;
}

function toFoo<T2>(value: T2): Foo<T2> {
  return {
    foo: 'bar',
    baz: value
  };
}

function memoize<F extends Function>(func: F): F {
  // Some implementation...
  return func;
}

const memoizedToFoo = memoize(toFoo)

Playground link

更新：既然你不能改变memorize()，可以很好地覆盖它如下：

// memorize.ts
import { memoize as origMemoize } from 'memoize'
// or if it is commonJS
import origMemoize from 'memoize'

export const memoize = origMemoize as <F extends Function>(func: F) => F

然后你可以使用它，就像原文：

import { memoize } from './memoize'

// code away

请注意，此解决方案确实权衡某种类型的安全性，因为F不限于(arg: X) => Y

为了妥善解决这个问题，我们需要：https://github.com/Microsoft/TypeScript/pull/22368

Answer 2

请用（如果需要）any通用参数的memoized功能，将它转换为通用函数类型：

const memoizedToFoo: <T5>(value: T5) => Foo<T5> = memoize(toFoo);
// or
const memoizedToFoo: typeof toFoo = memoize(toFoo);