打字稿編譯器錯誤一般類型具有繼承

Question

下面的代碼失敗，因爲在output可變打字錯誤的編譯：

類型「{項：ModelInterface; }'不能分配給 'ResponseInterface'類型。財產'物品'的類型是不相容的。 類型'ModelInterface'不可分配給'T'類型。

interface ModelInterface { 

} 

interface ResponseInterface<T> { 
    item: T; 
} 

class Store { 
    get<T extends ModelInterface>(): ResponseInterface<T> { 
     let output: ResponseInterface<T> = { 
      item: this.getModel() 
     }; 
     return output; 
    } 

    getModel(): ModelInterface { 
     return null; 
    } 
} 

的get方法明確定義T總是會延長ModelInterface，我爲什麼不能設置一個明確的ModelInterface對象爲item沒有一個錯誤？

我可以通過做克服這個錯誤：

let output: ResponseInterface<T> = { 
    item: this.getModel() as T 
}; 

但它看起來像一個bug，我失去了一些東西或打字稿編譯器只是在這種情況下會失敗呢？

我試過在typescript playground但它也失敗了。

有什麼想法？

Answer 1

T從ModelInterface延伸的事實確保任何T實例都可以「投」到ModelInterface。但這並不意味着其他。

例如：

class ModelInterface 
{ 
    public name: string; 
} 

interface ResponseInterface<T> { 
    item: T; 
} 

class ModelInterfaceExtended 
{ 
    public name: string; 
    public age: number; 
} 

class Store 
{ 
    get<T extends ModelInterface>(): ResponseInterface<T> { 
     let output: ResponseInterface<T> = { 
      item: this.getModel() 
     }; 
     return output; 
    } 

    getModel(): ModelInterface { 
     return null; 
    } 
} 

const s = new Store(); 
let result = s.get<ModelInterfaceExtended>(); 

這裏result將與屬性name和age類型ModelInterfaceExtended的屬性項。而getModel無法創建此類對象，因爲它的返回類型爲ModelInterface - 僅限於name。

您可以通過執行以下更改修復：

class ModelInterface 
{ 
    public name: string; 
} 

interface ResponseInterface<T> { 
    item: T; 
} 

class ModelInterfaceExtended 
{ 
    public name: string; 
    public age: number; 
} 

class Store<T extends ModelInterface> 
{ 
    get(): ResponseInterface<T> 
    { 
     return { 
      item: this.getModel() 
     }; 
    } 

    getModel(): T 
    { 
     return null; 
    } 
} 

const s = new Store(); 
let result = s.get();