Как получить тип одного из ключа объекта и использовать для аргумента функции в TS?

Question

[lavezzi1]

Здравствуйте, есть generic функция, которая принимает функцию, которая возвращает промис с заданным типом данных. Проблема в том, что у этого типа данных может быть разный уникальный ключ, id или uuid, при этом в случае id это number, а uuid string. Как сделать так, чтобы TS, понимал, что если доступен ключ id, значит аргумент принимаемый в функции fetcher должен быть number, а если uuid то string?

https://www.typescriptlang.org/play?#code/C4TwDgpg...

Answer 1

[WbICHA]

https://www.typescriptlang.org/play?#code/C4TwDgpg...

Answer 2

[Alex]

https://www.typescriptlang.org/play?#code/C4TwDgpg...

Comments

[WbICHA]

А если появится новый интерфейс? С pid: number, к примеру.)

[Aetae]

WbICHA, я так понял автору как раз и нужна зависимость от типа респонса, и вот такое:

const getVolume2 = async (uuid: number): Promise<{ volume: Volume }> => ({
    volume: { uuid: 'iosdx9', name: 'backup-1', createdAt: '7/21/2021' }
});

Пройти не должно.
Но я не уверен.)

[WbICHA]

Aetae, так такое и не пройдёт, если пихать uuid напрямую в объект.
В текущих примерах всё захардкожено, поэтому ошибки не будет, но в реальном коде будет.

[Aetae]

WbICHA, не понял мысль если честно. Пример?

[WbICHA]

Aetae, https://www.typescriptlang.org/play?#code/C4TwDgpg...

[Aetae]

WbICHA, я полагаю функции вида getSome на самом деле запрашивают что-то с сервера и возвращаемое берётся на веру в соответствии с ReturnType, так что не будет оно так работать.)

[WbICHA]

Aetae, согласен, тем не менее это никоим образом не отменяет уязвимость данного решения. Даже добавление ещё одного интерфеса несёт за собой кучу геморроя, как и переименование ИД текущих.

[Aetae]

WbICHA, всегда можно сделать описательный тип, типа:

interface IdentifierKeys {
  uuid: string;
  id: number;
  pid: number;
}

И потом методами ts-магии преобразовать в нужное условие.)

[WbICHA]

Aetae, но это уже совсем другое решение.)