1

Написал функцию мемоизации, которая принимает на вход функцию и возращает функцию с такой же сигнатурой

Deno выдает мне следующую ошибку:

Type 'unknown' is not assignable to type 'ReturnType<T>'.deno-ts(2322)


function memoized<T extends (...args: unknown[]) => unknown>(fn: T) {

  type Cache = {[key: string]: ReturnType<T>}

  const cache: Cache = {}

  return function(...args: Parameters<T>) {

    const key = JSON.stringify(args)
    if(key in cache) return cache[key]
    const value = fn(...args)
    return cache[key] = value // Type 'unknown' is not assignable to type 'ReturnType<T>'.deno-ts(2322)

  }
}

почему то тайпчекер считает, что функция fn возращает буквально unknown. Я же прописал обобщенный тип T который расширает (...args: unknown[]) => unknown, что же тут не так?..

4
  • Попробуйте скобки вокруг типа функции в extends написать
    – Alexey Ten
    8 янв 2022 в 12:43
  • @AlexeyTen пробовал уже. Пробовал выносить в отдельный тип type Func = (...args: unknown[]) => unknown, пробовал тип CallableFunction, пробовал вообще убрать дженерики и пробовал any. Не работает Я бы мог прибегнуть к грязным приведениям с помощью as чтобы всё просто работало, но это уже дело принципа написать как надо или понять, почему я неправ перед компилятором 8 янв 2022 в 12:47
  • Хм, кажется надо не выпендриваться, а использовать any в сигнатуре функции
    – Alexey Ten
    8 янв 2022 в 14:50
  • @AlexeyTen, нафига там скобки?
    – Qwertiy
    8 янв 2022 в 16:26

2 ответа 2

1
function memoized<T extends (...args: any) => any>(fn: T): (...args: Parameters<T>) => ReturnType<T> {

  type Cache = {[key: string]: ReturnType<T>};

  const cache: Cache = {};

  return function (...args: Parameters<T>[]): ReturnType<T> {
    const key: string = JSON.stringify(args);
    if (key in cache) {
        return cache[key];
    } 
    const value = fn(...args);
    return cache[key] = value;
  }

}

// tests
type Concatinate = (a: number, b: number) => string;
const fn: Concatinate = function(a: number, b: number): string {
    return `${a}${b}`;
};

const memoizedFn = memoized<Concatinate>(fn);
memoizedFn(1, 1);
memoizedFn(1, 2);
memoizedFn(1, 3);
2
  • 1
    Почистил типы.
    – Qwertiy
    8 янв 2022 в 16:31
  • 1
    Вообще, способ несколько громоздкий, но по сравнению с моим плюс в том, что количество generic-параметров не выросло.
    – Qwertiy
    8 янв 2022 в 16:33
0

Песочница

function memoized<A extends any[], R>(fn: (...args: A) => R) {
  const cache: { [key: string]: R } = Object.create(null)

  return function(...args: A) {
    const key = JSON.stringify(args)
    if (key in cache) return cache[key]
    return cache[key] = fn(...args)
  }
}

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.