如何判斷typescript從參數對象中獲取泛型類型？

Question

說我有如下定義：

interface Options<T = any, K = void> { 
    scope?: K, 
    success: (this: K, result: T) => any, 
    failure: (this: K, result: T) => any 
} 

interface HttpClient { 
    request<T>(opts: Options<T>) 
} 

從上面的定義，打字稿不會給我正確的類型，這在success & failure。我如何告訴Typescript K應該是scope屬性的第一個參數。

實例：

class Abc { 
    //... 

    save() { 
    var client = new HttpClient() 
    client.request({ 
     scope: this, 
     success: function(result) { 
     this // here no intellisense 
     } 
    }) 
    } 

    notify(event, data) { 
    this.element.dispatchEvent(new CustomEvent(event, { detail: data })); 
    } 
} 

Answer 1

當聲明request<T>(opts: Options<T>)你是固定使用其默認值void類型K。如果你想保留這個類型變量作爲變量，它必須仍然是request<T,K>中的一個類型參數。

此代碼正確推斷的this作爲this類型：

interface Options<T = any, K = void> { 
    scope?: K, 
    success: (this: K, result: T) => any, 
    failure?: (this: K, result: T) => any 
} 

class HttpClient { 
    request<T, K>(opts: Options<T, K>) : any {} 
} 

class Abc { 
    //... 

    save() { 
    var client = new HttpClient() 
    client.request({ 
     scope: this, 
     success: function(result) { 
     this // here intellisense offers `notify` and `save` completion 
     } 
    }) 
    } 

    notify(event, data) { 
    this.element.dispatchEvent(new CustomEvent(event, { detail: data })); 
    } 
} 

其他小的代碼更改：我不得不做出failure可選的HttpClient一類只是爲了得到一些代碼，不抱怨的目的關於比notify()更高的任何東西。