打字稿签名，用于高级装饰器功能

Question

是否可以为装饰器功能编写类型签名（我的意思是装饰器设计模式装饰器，而不是打字稿装饰器功能）？

我尝试了这个：

function decorate<T extends () => any>(callback: T): T {
    return (...args) => {
        console.log('called with args: ', args);
        return callback(...args);
    };
}

但它给了我TS2322: Type '(...args: any[]) => any' is not assignable to type 'T'.

Answer 1

您可以在3.0中使用Rest参数和扩展表达式中的元组来执行此操作

function decorate<A extends any[], R>(callback: (...a: A) => R): (...a: A) => R {
    return (...args) => {
        console.log('called with args: ', args);
        return callback(...args);
    };
}

function foo(s: number) {
    return s.toString();
}


function bar(s: number, o : string[]) {
    return s.toString();
}

var dBar = decorate(bar) // (s: number, o: string[]) => string
var dFoo = decorate(foo) // (s: number) => string

正如评论中指出的，有一些警告。 泛型不适用于这种方法。 另外，上面的函数不能正确处理重载。 有关过载问题的解决方法，请参见此答案 。

编辑

一个版本，可以减少警告，但在实现中需要一些类型断言，该版本与您建议的版本很接近：

function decorate<T extends (...a: any[]) => any>(callback: T): T {
    return ((...args) => {
        console.log('called with args: ', args);
        return callback(...args);
    }) as any;
}

这样可以更好地捕获输入与输出相同的内容，如果不需要对返回类型或参数进行其他类型的操作，则它是更可取的。 尽管此版本破坏了实现类型的安全性，但要获得完全的呼叫站点安全性，这是可以接受的折衷方案，因为它将与重载和泛型一起使用。