Typescriptで適切な汎用調和を作るには？ここ

Question

はケースです：

interface IValue {a:string} 
interface IFactory<T> { make():T } 

class Factory{ 
    make(): IValue { return {a: 'a'}; } 
} 

const b = function<T extends IValue>(factory?: IFactory<T>): T { 
    return factory.make() || new Factory().make(); // marked as invalid 
    // With error:TS2322:Type 'IValue' is not assignable to type 'T'. 
}; 

b機能は、必要に応じて値の工場を受け入れるか、それがデフォルトで行われます。これは私が持っているより複雑なコードの簡単な例です。

私はIValue！= T（はIValueの子として現れます）を理解していますが、IValueの子供だけでなく、正確にIValueタイプを含むことが期待される調和をどうすればいいですか？

Answer 1

戻り値をTにキャストしてコンパイルします。 しかし、別のバグがあります。factoryが無効な場合、実行時にエラーが発生します。私はそれを修正した。以下のコードを確認してください。

const b = function <T extends IValue>(factory?: IFactory<T>): T { 
    //return factory.make() || <T>new Factory().make(); // runtime error 
    return <T>(factory || new Factory()).make(); 
};