TypeScript 泛型

我正在努力解决如何使用 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' }
});

...then values将隐式强类型化为：

{
    ten: number;
    greet: string;
}

我想这将涉及返回一个泛型类型，其泛型参数为TDataProviders但我不太明白。

这是我能想到的最好的，但无法编译......

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

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

我正在努力想出一个DataFromDataProvider无需我传入即可编译的类型TData明确作为第二个参数，我认为我做不到。

任何帮助将不胜感激。

想象一下，您有一个类型将提供程序名称映射到提供程序返回的数据类型。像这样的东西：

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' }
});

神奇地（事实上，使用从映射类型推断 https://www.typescriptlang.org/docs/handbook/advanced-types.html#inference-from-mapped-types正如 @Aris2World 指出的那样），typescript 能够推断出正确的类型：

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

update: 正如问题作者所指出的，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<{}> };

与 的交集可转位型 https://www.typescriptlang.org/docs/handbook/interfaces.html#indexable-types添加了一个要求，即每个属性DataProviders必须兼容DataProvider<{}>。它使用空对象类型{}作为一般论点DataProvider因为DataProvider具有适用于任何数据类型的良好属性T, DataProvider<T>兼容于DataProvider<{}> - T是返回类型getData()，并且任何类型都与空对象类型兼容{}.