TypeScript泛型

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会隐式强类型为：

{ 
    ten: number; 
    greet: string; 
} 

我想这将涉及与TDataProviders b的泛型参数返回一个泛型类型我不能解决这个问题。

这是最好的我能想出但不编译...

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

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

我竭力想出，没有我在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' } 
}); 

神奇地（实际上，使用inference from mapped types，正如@Aris2World所指出的那样），打字稿能够推断出正确的类型：

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类型定义：

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

与indexable type交集增加了一个要求，即DataProviders每个属性必须与DataProvider<{}>兼容。它使用空对象类型{}为DataProvider作为一般的参数，因为DataProvider具有很好的特性，对于任何数据类型T，DataProvider<T>是兼容DataProvider<{}> - T是getData()返回类型，以及任何类型与空对象类型{}兼容。