noImplicitAny не работает с универсальной функцией более высокого порядка

В приведенном ниже фрагменте машинописный текст не выдает ошибок, хотя есть аргумент, неявно набранный как any.

declare function constrainedHOF<T extends (...args: any[]) => any>(callback: T): T;

// x is implicitly any, but typescript does not complain
const hof = constrainedHOF(x => {
    console.log(x);
});

Я предполагаю, что проблема заключается в ограничении типа T extends (...args: any[]) => any, которое заставляет машинописный текст думать, что это явный any.

Как правильно решить эту проблему, сохраняя ограничение общего типа функцией любого типа и заставляя машинописный текст жаловаться на неявное any, когда он встречает случайно нетипизированный обратный вызов внутри constrainedHOF?

Протестировано в последней стабильной версии Typescript 3.9.2.

Я подготовил Playground Ссылка, который демонстрирует проблему, включающую в себя убедитесь, что проблема действительно связана с общим ограничением.


typescript typescript-generics
person amik    schedule 23.07.2020    source источник

Ответы (1)


arrow_upward
1
arrow_downward

А как насчет использования интерфейса Function?

// according to your declaration, you return a function, is that correct?    
declare function callbackHOF<T extends Function>(callback: T): T

// @ts-expect-error noImplicitAny
const callbackHofNonTyped = someHOF(x => {
    console.log(x);
});

const callbackHofTyped = someHOF((x: number) => {
    console.log(x);
});

вот площадка ссылка

person Gonzalo.-    schedule 24.07.2020
comment
Спасибо! это действительно работает. Я просто помню, что где-то видел, что использование типа Function устарело, но сейчас я не могу найти надежный источник этого. Также он не будет охватывать все случаи, как <T extends (foo: number, ...args: any[]) => any>, но для моего случая этого достаточно :) - person amik; 24.07.2020
comment
Я обнаружил первую проблему с функцией. TS никак не может работать с типом функции, который так или иначе нужен в большинстве HOF. площадка Link - person amik; 28.07.2020