Как убедить тайпскрипт, что unknown можно в ReturnType?

Question

[Alexandroppolus]

Всем привет.
Картина маслом (и сыром):

function call<F extends () => unknown>(f: F): ReturnType<F> {
  return f()
}

Казалось бы, в чем проблема? Но увы, "TS2322: Type 'unknown' is not assignable to type 'ReturnType '" на строке с return.

Если заменить unknown на любой другой тип, тоже ругается. И только богомерзкое any, а так же бесполезное в данной ситуации never возвращаются без ошибок.

Выглядит так, будто ReturnType забывает, что он по сути возвращаемое значение для f. Чего это он?

Answer 1

[Дмитрий Беляев]

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

function call<R>(f: () => R): R {
  return f()
}

Comments

[Alexandroppolus]

Да, так всё проще )
Мне ещё требуется передавать аргументы в f. То есть в полном виде оно такое:

function call<F extends (...args: never[]) => unknown>(f: F, ...args: Parameters<F>): ReturnType<F> {
  return f(...args);
}

если сделать

export function call<R, Args extends unknown[]>(f: (...args: Args) => R, ...args: Args): R {
    return f(...args);
}

появляется мелкий, но гадкий недостаток - в подсказках Вебшторма аргументы видны как args_0, args_1, ...
а в том варианте - прямо по названиям как в функции.
можно ли такое поправить?

[Дмитрий Беляев]

Alexandroppolus, вот так вроде норм:

export function call<R, F extends (...args: never[]) => R>(f: F, ...args: Parameters<F>): R {
    return f(...args);
}

[Дмитрий Беляев]

Alexandroppolus, правда именованные поля кортежей ввели в TS4.0, не знаю как у вебшторм с его кастомной реализацией TS с этим

[Alexandroppolus]

Дмитрий Беляев, в таком варианте названия параметров сохраняются, но зато R остается unknown, TS не хочет его выводить. Видимо, потому, что R идет первым, то есть не зависит от F и как следствие от реального переданного значения параметра f.

у меня ts 4.2.4. в VSCode всё точно так же, как в WS, по данному кейсу.

[Дмитрий Беляев]

Alexandroppolus, тогда боюсь без any никак:

export function call<F extends (...args: never[]) => any>(f: F, ...args: Parameters<F>): ReturnType<F> {
    return f(...args);
}

Answer 2

[Alex]

Первое что пришло в голову:
return f() as ReturnType<F>

Comments

[Alexandroppolus]

Сейчас так и сделал, но всё равно не понятно, почему TS не может сам.