如何用一种具体类型和一种推断类型定义泛型函数

Question

我有一个泛型函数transform()，它有两个类型参数，它将A 类型的参数转换为B 类型。

declare const transform: <A, B>(x: A) => A | B

const a = 123 //: number
const b = transform<number, string>(a) //: string

现在，我必须传入两种类型，但可以从参数中推断出第一种类型。我想要一个只需要新类型作为具体输入的函数。

如何编写一个接受一种具体类型并推断另一种的通用函数？

---

编辑 1

transform() 函数背后的实现并不重要。相反，我需要的是一种编写泛型函数的方法，该函数推断一种类型（在本例中为参数）并接受另一种类型（返回类型）。

---

编辑 2

我目前的替代方法是使用一个高阶函数（捕获返回类型），该函数返回另一个执行转换的函数。

declare const transform: <B>() => <A>(x: A) => A | B

const a = 123 //: number
const b = transform<string>()(a) //: string

---

编辑 3

为transform()添加示例实现

const transform: <A, B>(x: A) => A | B = (x) => {
  if (x === null) {
    return null
  }

  if (typeof x === 'number') {
    return x.toString() as any
  }

  return x
}

const a = transform<number, string>(123)
const b = transform<null, boolean>(null)

Answer 1

接受它为any（或您希望它接受的类型的联合）：

function transform<T>(x: any): T {
  return x
}

const a = 123 //: number
const b = transform<string>(a) //: string

但是，值得注意的是该函数实际上并没有转换任何东西。在您的示例中，虽然 TypeScript 认为 b 是一个字符串，但 它不是。它仍然是一个数字。您的函数在运行时根本不做任何事情。如果您想真正进行转换，您需要在运行时做一些事情来实现它。 您的编辑表明您知道这一点。 :-)