打字稿簽名，用於高級裝飾器功能

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;
}

這樣可以更好地捕獲輸入與輸出相同的內容，如果不需要對返回類型或參數進行其他類型的操作，則它是更可取的。 盡管此版本破壞了實現類型的安全性，但要獲得完全的呼叫站點安全性，這是可以接受的折衷方案，因為它將與重載和泛型一起使用。