FlipArguments
约 333 字大约 1 分钟
2022-12-01
题目
Github: FlipArguments
实现 lodash 的 _.flip 的类型版本。
类型 FlipArguments<T> 要求函数类型 T，并返回一个新的函数类型，该类型具有与 T 相同的返回类型，但参数顺序相反。
type Flipped = FlipArguments<(arg0: string, arg1: number, arg2: boolean) => void>
// (arg0: boolean, arg1: number, arg2: string) => void解题思路
由于我们已经在 Reverse 中实现了数组翻转。此挑战剩余的问题已十分简单， 利用条件类型推断获取 参数数组，对齐翻转 即可完成挑战。
答案
type Reverse<T extends unknown[]> = T extends [infer L, ...infer O]
? [...Reverse<O>, L]
: T
type FlipArguments<
T extends (...args: any[]) => any
> = T extends (...args: infer P) => infer R
? (...args: Reverse<P>) => R
: never验证
type cases = [
Expect<Equal<FlipArguments<() => boolean>, () => boolean>>,
Expect<Equal<FlipArguments<(foo: string) => number>, (foo: string) => number>>,
Expect<Equal<FlipArguments<(arg0: string, arg1: number, arg2: boolean) => void>, (arg0: boolean, arg1: number, arg2: string) => void>>,
]
type errors = [
// @ts-expect-error
FlipArguments<'string'>,
// @ts-expect-error
FlipArguments<{ key: 'value' }>,
// @ts-expect-error
FlipArguments<['apple', 'banana', 100, { a: 1 }]>,
// @ts-expect-error
FlipArguments<null | undefined>,
]