function higherOrderFunction<P extends any[], R>(anyFunction: (...a: P) => R) {
return (...args: P) => {
anyFunction(...args); // anyFunction = lowerOrderFunction
};
}
function lowerOrderFunction(name: string) {
return '';
}
const higherOrderFunctionWithLowerOrderFunction = higherOrderFunction(lowerOrderFunction);
higherOrderFunctionWithLowerOrderFunction('x');
如何确保anyFunction会有void类型？
这必须是传递给HigherOrderFunction的泛型函数（此处泛型为“任何函数”），而不仅仅是lowerOrderFunction上面的示例足以添加:void
TypeScript不想执行此操作，请参阅FAQ。void在需要void-returning函数的任何地方都可以使用返回非值的函数。在TypeScript中，void返回类型的意思是“您不应尝试使用此函数的返回值”，而不是“此函数实际上不返回值”。因此，此问题的最常规答案是您无需强制实施此类限制；如果anyFunction返回一个值，它将被忽略，应该没问题。
如果您真的想弯曲规则以便TypeScript强制执行限制，那么您可以做的一件事是：
function higherOrderFunction<P extends any[]>(anyFunction: (...a: P) => undefined | void) {
return (...args: P) => { anyFunction(...args); };
}
通过指定undefined | void您的意思是说您将接受一个undefined返回值（应该可以，对吗？）或其他不返回的函数（void在联合中使用似乎规避了编译器的“任何值都可以”的逻辑）：
higherOrderFunction(() => 1); // error, number is not undefined
higherOrderFunction(() => undefined); // okay
higherOrderFunction(() => console.log("this is void returning")); // okay
或者，如果您想使编译器甚至拒绝undefined-returning函数，则可以使用通用的签名来推断返回类型，然后使事情不起作用，除非它推断的类型是void：
function higherOrderFunction<P extends any[], R>(
anyFunction: (...a: P) => R & (void extends R ? void : never)
) {
return (...args: P) => { anyFunction(...args); };
}
该类型的(void extends R ? void : never)计算结果void是否R为is void，never否则为。这样您就会得到以下行为：
higherOrderFunction(() => 1); // error, number is not never
higherOrderFunction(() => undefined); // error, undefined is not never
higherOrderFunction(() => console.log("this is void returning")); // okay
这些方法“起作用”是因为它们对示例用例施加了限制，但是可能存在边缘情况。最明显的边缘情况是以下代码与无关，higherOrderFunction并且不会生成警告：
const thisIsAllowed: () => void = () => 1; // okay
毕竟，非无效返回函数可以分配给无效返回函数。现在，编译器将其thisIsAllowed视为void-returning函数。它已经忘记了一切1。
因此，无论如何higherOrderFunction()定义以便“要求”void返回，这里都不会出现错误：
higherOrderFunction(thisIsAllowed); // no error
根据您的用例，这可能对您来说很麻烦。
我认为最好的做法可能是接受TypeScript的观点，即void返回类型意味着“忽略返回的任何值”而不是“不返回任何值”，然后继续。也许上述规则折弯方法仍然对您有用，但是您不应该依赖它们来禁止返回值的函数。
好吧，希望能有所帮助；祝好运！
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句