2

Кто-нибудь может мне объяснить, почему это работает:

interface M {
    (a: number): any;
    (a: number[]): any;
}

const foo: M = (a) => {
    if (Array.isArray(a)) {
        return a.map((num) => num > 0 || num === 0 ? num : num * -1)
    } else {
        return a > 0 || a === 0 ? a : a * -1;
    }
}

а если я поменяю интерфейс на

interface M {
    (a: number): number;
    (a: number[]): number[];
}

что кажется вполне логичным, то получаю следующую ошибку

Type '(a: number | number[]) => number | number[]' is not assignable to type 'M'.   
Type 'number | number[]' is not assignable to type 'number'.     
Type 'number[]' is not assignable to type 'number'.

Я не понимаю...

1 ответ 1

3

Тип any совместим с любым другим типом. Поэтому работает первый вариант.

Во втором варианте указывается конкретный тип возвращаемого значения. Проблема заключается в том, что реализация должна удовлетворять сразу всем перегрузкам в данном случае.

То есть, одновременно должен возвращаться и number и number[]. Что в typescript возможно только при использовании any в качестве возвращаемого значения:

interface M {
    (a: number): number;
    (a: number[]): number[];
}

const foo: M = (a): any => {
    if (Array.isArray(a)) {
        return a.map((num) => num > 0 || num === 0 ? num : num * -1)
    } else {
        return a > 0 || a === 0 ? a : a * -1;
    }
}

playground

2
  • Значит мы должны возвращать одинаковый тип, да и одинаковые параметры в перегрузке должны быть однотипны...я думал тут больше простора Commented 15 дек. 2021 в 7:00
  • @DenisLopatin, нет, не должны. в примере твой же interface используется.
    – Grundy
    Commented 15 дек. 2021 в 7:30

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

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