在 TypeScript 中创建通用代理函数

Question

假设我想创建一个这样的通用代理函数：

type Callback<F extends (...args: any) => any> = F extends (...args: infer P) => infer R 
? (
    P extends [] ? (onComplete?: (result: R) => void) => void : (parameters: P, onComplete?: (result: R) => void) => void
)
: never;

function  createCallback<P extends unknown[], R, F extends (...args: P) => R>(func: F): Callback<F> {
    return (parameters?: P | ((result: R) => void), onComplete?: (result: R) => void ): void => {
        if (Array.isArray(parameters)) {
            R result = func(...parameters);
            if (onComplete) {
                onComplete(result);
            }
        } else if (typeof parameters === "function") {
            R result = func();
            parameters(result);
        }
    }
}

如果传递的函数接受一些参数，那么返回的函数应该有一个签名（参数：[

在 TypeScript 中可以做到这一点吗？上面的代码无法编译，并显示返回的函数不可分配给回调类型的错误消息。

Answer 1

如果您确信 createCallback 会做它应该做的事情，那么这样做是合理的
return (...) as any as Callback<F>

另外，这让编译器很高兴 (playground)

type Callback<F extends (...args: any) => any> = F extends (...args: infer P) => infer R
    ? (...args: PossibleArguments<P, R>) => void
    : never;

type PossibleArguments<P, R, OnComplete = (result: R) => void> =
    [] extends P
    ? ([] | [onComplete: OnComplete])
    : ([parameters: P] | [parameters: P, onComplete: OnComplete])
// or
type PossibleArguments<P, R> = [...parameters: [] extends P ? [] : [parameters: P], onComplete?: (result: R) => void]

function createCallback<P extends unknown[], R>(func: (...args: P) => R): Callback<(...args: P) => R> {
    return ((...args: PossibleArguments<P, R>): void => {
        // ...
    })
}

它使回调的签名变得丑陋，但调用它们时自动完成仍然有效