TypeScript Generics

Question

TypeScriptでいくつかの機能を強く入力する方法に苦労しています。

私は、DataProvidersのキー/値マップを受け入れ、それぞれから返されたデータのキー/値マップを返す関数を持っています。ここでは、問題の簡易版です。現在

interface DataProvider<TData> { 
    getData(): TData; 
} 

interface DataProviders { 
    [name: string]: DataProvider<any>; 
} 

function getDataFromProviders<TDataProviders extends DataProviders>(
    providers: TDataProviders): any { 

    const result = {}; 

    for (const name of Object.getOwnPropertyNames(providers)) { 
     result[name] = providers[name].getData(); 
    } 

    return result; 
} 

getDataFromProvidersはanyの戻り値の型を持っていますが、そう...

const values = getDataFromProviders({ 
    ten: { getData:() => 10 }, 
    greet: { getData:() => 'hi' } 
}); 

のように呼び出された場合ように、私はそれをしたい...その後valuesになります私はこれがTDataProviders Bの一般的なパラメータでジェネリック型を返す伴うだろうと想像

{ 
    ten: number; 
    greet: string; 
} 

：暗黙的に強く型付けされたとして私はそれをうまく解決できません。

これは、私が思い付くことができる最高のですが、コンパイルされません...

type DataFromDataProvider<TDataProvider extends DataProvider<TData>> = TData; 

type DataFromDataProviders<TDataProviders extends DataProviders> = { 
    [K in keyof TDataProviders]: DataFromDataProvider<TDataProviders[K]>; 
} 

私は私が明示的に2番目のパラメータとしてTDataに渡さずにコンパイルDataFromDataProviderタイプを考え出す苦労しています私は私ができるとは思わない。

ご協力いただければ幸いです。

Answer 1

プロバイダ名がプロバイダから返されたデータ型に対応する型があるとします。このような何か：

interface TValues { 
    ten: number; 
    greet: string; 
} 

あなたが実際にどこにでも、このタイプを定義するだけで、それが存在していると想像し、一般的なパラメータとして、それを使用、TValuesという名前にする必要はありませんこと注：

interface DataProvider<TData> { 
    getData(): TData; 
} 

type DataProviders<TValues> = 
    {[name in keyof TValues]: DataProvider<TValues[name]>}; 


function getDataFromProviders<TValues>(
    providers: DataProviders<TValues>): TValues { 

    const result = {}; 

    for (const name of Object.getOwnPropertyNames(providers)) { 
     result[name] = providers[name].getData(); 
    } 

    return result as TValues; 
} 


const values = getDataFromProviders({ 
    ten: { getData:() => 10 }, 
    greet: { getData:() => 'hi' } 
}); 

魔法（Aris2Worldが指摘@として実際には、inference from mapped typesを使用して）、typescriptですが、正しい種類を推測することができます：

let n: number = values.ten; 
let s: string = values.greet; 

更新：上記のコードのgetDataFromProvidersは、実際に受信するオブジェクトの各プロパティがDataProviderインターフェイスに準拠しているかどうかをチェックしていません。

たとえば、getDataのスペルが間違っている場合、エラーはありません。ただ空のオブジェクトタイプが返されるタイプはgetDataFromProvidersと推測されます（ただし、結果にアクセスしようとするとエラーが発生します）。

const values = getDataFromProviders({ ten: { getDatam:() => 10 } }); 

//no error, "const values: {}" is inferred for values 

DataProviders型定義で追加の複雑さを犠牲にして、前にこのエラーを検出するためのtypescriptですを作るための方法があります：

type DataProviders<TValues> = 
    {[name in keyof TValues]: DataProvider<TValues[name]>} 
    & { [name: string]: DataProvider<{}> }; 

indexable typeとの交点がそのDataProvidersのすべてのプロパティの要件を追加しますDataProvider<{}>と互換性がなければなりません。TgetData()の戻り値の型であり、任意のタイプは、空のオブジェクト型{}と互換性があります - DataProviderは、任意のデータ型Tため、DataProvider<T>はDataProvider<{}>と互換性のある素敵なプロパティがいるので、それはDataProviderのための一般的な引数として空のオブジェクトタイプ{}を使用しています。