Выведите типы параметров функции и распространите их в Typescript - PullRequest
Новая
       19

Выведите типы параметров функции и распространите их в Typescript

1 голос
/ 11 апреля 2019

Учитывая тип функции F, я хочу создать новый тип, который «компонуется перед» F, то есть он принимает и возвращает те же аргументы, что и F.Например: 

const stringToNumber = (s: string) => s.length;
const stringToString: ComposableOn<(s: string) => number> = (s: string) => s + s;

const composedResult = stringToNumber(stringToString('a'));

Я не смог правильно определить тип ComposableOn.Вот что я пробовал: 

type ComposableBefore<F extends (...args: any) => any> = (args: Parameters<F>) => Parameters<F>;
type StoN = (s: string) => number;

const sToS: ComposableBefore<StoN> = (s: string) => s + s; // error: the type is [string] => [string] and not string => string

type ComposableBefore<F extends (...args: any) => any> = Parameters<F> extends Array<infer U>? (...args: Parameters<F>) => U: never;

const complex: ComposableBefore<(a: string, b: number, c: { d: number, e: string }) => number> = (a, b, c) => c; // not good either, since it can return a value of any type of the original function's argument types.

Как правильно набрать это?

1 Ответ

1 голос
/ 11 апреля 2019

Вы можете использовать ... для распространения Parameters непосредственно в сигнатуре функции.Что касается возврата, так как вы хотите поддерживать несколько параметров, тип возвращаемого значения должен быть кортежем, и, следовательно, вам нужно будет распространить возврат вашей функции: 

const stringToNumber = (s: string) => s.length;
const stringToString: ComposableBefore<(s: string) => number> = (s: string) => [s + s];

const composedResult = stringToNumber(...stringToString('a'));

type ComposableBefore<F extends (...args: any) => any> = (...args: Parameters<F>) => Parameters<F>;
type StoN = (s: string) => number;

Вы также можете рассмотреть возможность добавления особого случаядля функций с одним параметром, если это общий случай использования: 

const stringToNumber = (s: string) => s.length;
const stringToString: ComposableBefore<(s: string) => number> = (s: string) => s + s;

const composedResult = stringToNumber(stringToString('a'));

const multiStringToNumber = (s: string, s2: string) => s.length + s2.length;
const multiStringToString: ComposableBefore<typeof multiStringToNumber> = (s: string, s2: string) => [s + s, s2 + s2];

const multiComposedResult = multiStringToNumber(...multiStringToString('a', 'b'));

type ComposableBefore<F extends (...args: any) => any> =
    F extends (a: infer U) => any ? (...args: Parameters<F>) => U :
        (...args: Parameters<F>) => Parameters<F>;
...