Как исправить ошибку No overload matches TS?

Question

[Alex]

Есть примерно такой код:

// реализация
function providerGetItem(id: number): Item
function providerGetItem(id: number[]): Item[]
function providerGetItem(id: number | number[]): Item | Item[] {
    return typeof id === 'number' ? {id} : id.map(id => ({id}))
}


// Абстракция
function getItem(id: number): Item
function getItem(id: number[]): Item[]
function getItem(id: number | number[]): Item | Item[] {
    return providerGetItem(id) // <-- TS2769: No overload matches this call
}

Playground.

Вызов providerGetItem(id) приводит к ошибке:

TS2769: No overload matches this call.   
Overload 1 of 2, '(myAnimeListId: number): Promise<Series | undefined>', gave the following error.     
Argument of type 'number | number[]' is not assignable to parameter of type 'number'.       
Type 'number[]' is not assignable to type 'number'.   

Overload 2 of 2, '(myAnimeListId: number[]): Promise<Series[]>', gave the following error.     
Argument of type 'number | number[]' is not assignable to parameter of type 'number[]'.       
Type 'number' is not assignable to type 'number[]'.

Как её исправить? Единственное что пришло в голову:

typeof id === 'number' ? providerGetItem(id) : providerGetItem(id)

Comments

[WbICHA]

function providerGetItem(id: number): Item
function providerGetItem(id: number[]): Item[]
+function providerGetItem(id: number | number[]): Item | Item[]
function providerGetItem(id: number | number[]): Item | Item[] {
    return typeof id === 'number' ? {id} : id.map(id => ({id}))
}

[Alex]

WbICHA, Буду благодарен, если объясните почему это нужно

[WbICHA]

Alex, потому что если ты используешь оверлоад, то тип самой функции извне виден не будет, видно будет только то, что в оверлоаде, а в оверлоаде у тебя функция может принимать ЛИБО number, ЛИБО number[], но никак не number | number[], соответственно тс не может определить какой тип должен вернуться.

Answer 1

[Виталий Кадыров]

В твоем коде - в реализации ты задал винегрет из типов - причем одноименных - и компилятор путается - какой использовать - удали лишние - и оставь общий(где можно передать или число или массив с числом) - и все заработает.
Либо еще есть вариант наподобие того что ты предлагал - проверят входной тип аргумента - т е на if-ах - если число - то один возврат, если массив то другой(ставил на пробу такой же) - все работает - только кода больше.

type Item = {id: number}

function providerGetItem(id: number | number[]): Item | Item[] {
return typeof id === 'number' ? {id} : id.map(id => ({id}))
}

function getItem(id: number | number[]): Item | Item[] {
return providerGetItem(id);
}

console.log(getItem(1))
console.log(getItem([2]))