Можно ли задать значение по умолчанию для функции, которая зависит от двух типов дженерика?

Question

[yarnstart]

Пример рабочего кода:

Рабочий код

const displayFunctionCode = <T, P>(callback: (props: T) => P) => {
    console.log(callback);
}

displayFunctionCode<number, number>((n) => n);

Примерный код, который хотелось бы, чтобы работал:

Желаемый код

const displayFunctionCode = (callback: (props: T) => P = (prop: T) => prop) => {
console.log(callback);
}

displayFunctionCode((n) => n);

Можно ли заставить ts поверить, что возвращаемое значение в функции точно имеет тип P, например
(prop: T) => props as P;
?

Answer 1

[Aetae]

Есть такия конструкция: foo as unknown as Type - двойным кастованием вы можете скастовать что угодно во что угодно.
Только вот делать так не надо, эту убивает весь смысл использования TypeScript.
Вместо этого вам надо прописать условия в "функции по умолчанию", чтоб она работала так, как это описано, а не хрен пойми как.

Comments

[yarnstart]

1. Интересная конструкция, впервые вижу, не получается завести код с ней https://codesandbox.io/s/typescript-playground-exp... я что-то не так делаю ?
   
2. В моем кейсе тип T это поля модели (в сыром виде, грубо говоря вместо ссылки на картинку - id этой картинки в таблице картинок), а тип P это то, что я в итоге должен получить (ссылку вместо её id) (использую nosql firebase database :( )
   
3. Передаваемая функция - обрабатывает результат и превращает сырой результат T в P
   
4. Иногда T и P могут совпадать, как в случае с картинками (id строка и ссылка строка), а может вместо ссылки быть объект юзера и т.д.
   
5. Или если обрабатывать данные мне не нужно (например таблице содержащая только поле имя), я передаю в T и P одинаковый тип - тогда приходится передавать функцию (item: P) => item . Хотелось бы определить эту функцию по умолчанию
   

прописать условия в "функции по умолчанию", чтоб она работала так, как это описано, а не хрен пойми как

Не очень понимаю, как ? Сранивать два типа из дженерика ведь нельзя ?
Или лучше явно прописывать такие функции каждый раз ?

[Aetae]

1. prop as unknown as P очевидно.

По остальному проблема в том, что вы (физически) можете сделать так: displayFunctionCode<number, string>(), соответственно функция по умолчанию будет невалидна в данном случае.

[yarnstart]

Aetae, Да, вы правы, тогда лучшим решением будет передавать функцию явным образом

[Aetae]

Евгений, подумал тут, в принципе можно воспользоваться перегрузкой, как-то так:

function displayFunctionCode<T, P extends T = T>(): void
function displayFunctionCode<T, P = T>(callback: (props: T) => P): void
function displayFunctionCode<T, P>(callback = (props: T) => props) {
    console.log(callback);
}

тогда ts просто не даст вам написать такое, не передав функцию.

P.S. P = T - это чтоб писать вместо <number, number> просто <number>.)

[yarnstart]

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

Код

function BasicModelFactory <P, R>(s: string, modifyResult: (props: P) => R | Promise<R>) {
  abstract class BasicModel {
    constructor(protected props: P) {}

    public static modify(prop: P) {
        const result = this.modifyResult(prop);
        console.log(result);
    }

    public static s = s;
    public static modifyResult = modifyResult;
  }

  return BasicModel;
};

class Test extends BasicModelFactory<number, number>('test', (n: number) => n ** 2) {

}

// все нормально
const t = new Test(1);
Test.modify(4); // 16

Приводим код к такому, в перегрузке функции обязательно нужно указать тип данных, который еще не известен, т.е. приходится все равно any использовать:
https://codesandbox.io/s/dank-tree-l9yyp?file=/src...

Код

function BasicModelFactory <P, R = P>(s: string, modifyResult: (props: P) => R | Promise<R>): any
function BasicModelFactory <P, R>(s: string, modifyResult = (item: P) => item) {
  abstract class BasicModel {
    constructor(protected props: P) {}

    public static modify(prop: P) {
        const result = this.modifyResult(prop);
        console.log(result);
    }

    public static s = s;
    public static modifyResult = modifyResult;
  }

  return BasicModel;
};

class Test extends BasicModelFactory<number>('test', (n: number) => n ** 2) {

}

// Expected 0 arguments, but got 1.
const t = new Test(1);
Test.modify(4);

Видимо проблема в том, что я в перегрузке указал any и теперь компилятор не видит конструктор родительского класса.
Хотя в codepen тот же код, почему-то работает, возможно дело в конфиге...


Пробовал создавать еще один абстрактный класс, в нем определять конструктор и наследовать BasicModel от него, например:

Код

abstract class Model {
constructor(protected props: P) {}
}

abstract class BasicModel extends model {
    public static modify(prop: P) {
        const result = this.modifyResult(prop);
        console.log(result);
    }

    public static s = s;
    public static modifyResult = modifyResult;
  }

  return BasicModel;

... etc

Не нашёл возможности указать тип возвращаемых данных, как extends Model, поэтому данный код ничем не помог.

Наверное я что-то делаю не так, раз захожу в такой тупик, пока остановлюсь на варианте без значения по умолчанию для коллбэка

[Aetae]

Абстрактные классы в ts - это боль, для них даже невозможно задать интерфейс без физической декларации.
Статические свойства в ts - это боль, их невозможно нормально задать в интерфейсе.
Фабрики классов в ts - это боль, потому что они даже не работают из коробки.

Вы просто по всем граблям сходу прошлись.)
Накостылять наверное что-то и можно, но это надо именно потратить время на жонглирование костылями, а не на раздумья.