ジェネリックのTypescript型ガードは強制されません

Question

interface Foo { 
    bar() : Promise<string>; 
} 

class MyFoo implements Foo { 
    bar() : string { 
     return ""; 
    } 
} 

class MyFoo2 implements Foo { 
    bar() : Promise<number> { 
     return new Promise<number>(null); 
    } 
} 

上記の2つの実装のいずれもエラーを起こさないはずですか？ 理由 - それは、文字列を返し、

MyFoo2は約束を返す約束ではないが、間違ったタイプの、およびエラーを取得していないので、

• MYFOOは、エラーが出るのですか？

私が知ることは、TypeScriptは返された型のメンバーであり、宣言された型ではないかどうかをチェックするようです。しかし、実装が正しい型を返すようにこのインタフェースを宣言する方法はありますか？

編集： ES6インタフェースPromiseがthen() : Promise<T>状部材が、foo(): Tのような何も定義されているため、型チェックが機能しないようです。カスタム汎用インターフェイスでこれをシミュレートすると、インターフェイスにタイプTのメンバが含まれていて、汎用タイプのメンバが含まれていないと正しくエラーになりますT

Answer 1

これは現在の安定版のTypeScriptのバグです。

源：

• https://github.com/Microsoft/TypeScript/issues/12023
• https://github.com/Microsoft/TypeScript/issues/10524
• https://github.com/Microsoft/TypeScript/issues/10785

すでに固定されており、将来のバージョン（2.1）に含まれます。

私もそれを自分自身を試してみました：ここ

D:\Practice\TypeScript\ts-test>npm install -g typescript 
C:\Users\dezsi\AppData\Roaming\npm\tsc -> C:\Users\dezsi\AppData\Roaming\npm\node_modules\typescript\bin\tsc 
C:\Users\dezsi\AppData\Roaming\npm\tsserver -> C:\Users\dezsi\AppData\Roaming\npm\node_modules\typescript\bin\tsserver 
C:\Users\dezsi\AppData\Roaming\npm 
└── typescript@2.0.10 


D:\Practice\TypeScript\ts-test>C:\Users\dezsi\AppData\Roaming\npm\tsc.cmd --version 
Version 2.0.10 

D:\Practice\TypeScript\ts-test>C:\Users\dezsi\AppData\Roaming\npm\tsc.cmd --target ES6 app.ts 

D:\Practice\TypeScript\ts-test>npm install -g typescript@next 
C:\Users\dezsi\AppData\Roaming\npm\tsc -> C:\Users\dezsi\AppData\Roaming\npm\node_modules\typescript\bin\tsc 
C:\Users\dezsi\AppData\Roaming\npm\tsserver -> C:\Users\dezsi\AppData\Roaming\npm\node_modules\typescript\bin\tsserver 
C:\Users\dezsi\AppData\Roaming\npm 
└── typescript@2.2.0-dev.20161122 



D:\Practice\TypeScript\ts-test>C:\Users\dezsi\AppData\Roaming\npm\tsc.cmd --version 
Version 2.2.0-dev.20161122 

D:\Practice\TypeScript\ts-test>C:\Users\dezsi\AppData\Roaming\npm\tsc.cmd --target ES6 app.ts 
app.ts(5,7): error TS2420: Class 'MyFoo2' incorrectly implements interface 'Foo'. 
    Types of property 'bar' are incompatible. 
    Type '() => Promise<string>' is not assignable to type '() => Promise<number>'. 
     Type 'Promise<string>' is not assignable to type 'Promise<number>'. 
     Type 'string' is not assignable to type 'number'. 

を最新の2.2.0-dev.20161122が正しくType 'string' is not assignable to type 'number'を報告しながら、あなたは、バージョン2.0.10にしようとすると、私にエラーを与えていないことがわかります。