高阶函数中的泛型

Question

我想在高阶函数的内部函数中使用泛型类型作为参数。但是，当我这样做时，外部函数上的参数会丢失它们的类型（变为any）。

这是我正在尝试做的一个示例。我预计第 2 行会出错。

type TestFunc = <T>(outerArg: string) => (innerArg: T) => number
const test: TestFunc = <T>(outerArg) => (innerArg: T) => innerArg ? outerArg * 3 : 0 // no error because `outerArg` is `any` (unexpected)

当innerArg 不是通用的时，我会收到预期的错误：

type TestFunc = (outerArg: string) => (innerArg: boolean) => number
const test: TestFunc = (outerArg) => (innerArg: boolean) => innerArg ? outerArg * 3 : 0 // error because `outerArg` is `string` (expected)

问题

在第一个示例的第 2 行，outerArg 的类型为 any。在第二个示例的第 2 行，outerArg 的类型为 string。为什么它们不同？

---

更多详情

我的目标是在评估外部函数时允许指定T。例如：

type TestFunc = <T>(outerArg: string) => (innerArg: T) => number
const test: TestFunc = (outerArg) => (innerArg) => innerArg ? outerArg.length * 3 : 0 
const test2: TestFunc = <T>(outerArg) => (innerArg: T) => innerArg ? outerArg * 3 : 0 // want error


const fourBool = test<boolean>('str')
console.log(fourBool(true))
console.log(fourBool(1)) // want error

const fourNum = test<number>('str')
console.log(fourNum(true)) // want error
console.log(fourNum(1))

这里是typescript playground。

Answer 1

你有两个功能：

1) 具有返回数字的泛型类型的函数，

2) 和一个接受数字并返回泛型的函数。

正如您在 cmets 中提到的，您正在使用带有类型参数的箭头函数，但这对这两个函数都不起作用。您可以将内部函数声明为泛型，而将外部函数声明为类型参数：

type InnerFunc<T> = (inner: T) => number;
type TestFunc = <T>(outer: number) => InnerFunc<T>;

const test: TestFunc = <T>(outerArg: number) => (innerArg: T) => innerArg ? outerArg * 3 : 0;

const fourBool = test<boolean>(4);
fourBool(true); // OK
fourBool(1);    // error

Answer 2

这似乎是编译器或设计中的错误。

但现在这可能是一种解决方法，您可以将泛型类型附加到使用泛型类型的函数。

type TestFunc = (outerArg: string) => <T>(innerArg: T) => number

好的，这就是你想要接近它来做你想做的事情的方式：

type TestFunc = (arg1: string) => <T>(a: T) => number
type Number1 = (a: number) => number
const test: TestFunc = (arg1) => (a) => a ? (arg1 ? 1 : 2) : 0
const num1: Number1 = test("blah")
// OR
const newNum1 = <Number1>test("bleh")

如果你像以前一样放置arg1，上面会给你错误，它会得到你以前想要的通用形式。你会注意到，如果你错误地定义了“子类型”，它也会产生一个编译错误。

为了完整起见，这里有一个更简单的解决方案（几乎是 cdbajorin 在他的解决方案中所做的）：

type TestFunc1 = <T>(arg1: string) => (a: T) => number
const test1: TestFunc1 = (arg1: string) => a => a ? (arg1 ? 1 : 2) : 0
const newNum2 = test1<number>("bluh")