Как правильно ввести функцию высшего порядка

Question

У меня есть функция высшего порядка, например, в ванильных JS, как это:

function log(fn) { 
    return (...args) => { 
    console.log("Calling", fn.name); 
    return fn(...args); 
    } 
} 

И используются так:

let name; 
const setName = log((newName) => { 
    name = newName; 
}); 
setName("Hello"); // output "Calling setName" 

Как правильно ввести это в TS, так что setName имеет правильную сигнатуру функции? Значение:

setName("hello") // OK 
setName() // Error, missing arg 
setName(123) // Error, number not string 

То, что я придумал до сих пор:

function log<F extends Function>(fn: F): F { 
    return (...args: any[]) => { 
    console.log("Calling", fn.name); 
    return fn(...args); 
    } 
} 

let name; 
const setName = log((newName: string) => { 
    name = newName; 
}); 

Который работает так, как я хочу (я получаю проверку на setName тип аргумента), но я получаю ошибку компиляции на log функция возврата:

Error: TS2322:Type '(...args: any[]) => any' is not assignable to type 'F'.

Даже если я использую <F extends (...args: any[]) => any> я получаю ту же ошибку. В принципе, я не знаю, как заставить возвращаемую функцию удовлетворять общему типу F.

Как я могу это сделать?

Answer 1

С функцией перегружать

Function overloads может быть использован. Это способ отделить определение от реализации:

function log<F extends Function>(fn: F): F 
function log(fn: Function) { 
    return (...args) => { 
     console.log("Calling", fn.name); 
     return fn(...args); 
    } 
} 

Мне нравится версия от перегрузки, так как она позволяет производить определения машинопись, когда модуль распространяется в виде скомпилированного пакета НПМ.

С типа утверждения as F

типа Function слишком широк. Ваша завернутая функция должна быть подтипом: (...args: any[]) => any.

Вы можете использовать as F для того, чтобы сказать машинопись, чтобы быть уверенным в возвращаемой функции:

function log<F extends (...args: any[]) => any>(fn: F): F { 
    return ((...args: any[]) => { 
     console.log("Calling", fn.name); 
     return fn(...args); 
    }) as F 
} 

с типом утверждения as any

же реализация, но мы можем использовать Function и as any вместо (...args: any[]) => any и as F (см. ответ Луи).

Answer 2

Самый простой модификации вы можете сделать, чтобы заставить тип вашего возвращаемого значения для any:

function log<F extends Function>(fn: F): F { 
    return ((...args: any[]) => { 
    console.log("Calling", fn.name); 
    return fn(...args); 
    }) as any; 
} 

Это компилирует файл, и делать это, ваша setName функция будет иметь ту же сигнатуру, что вы передаете до log.