Типы TypeScript

Представьте, что у вас есть тип, который сопоставляет имя поставщика с типом данных, возвращаемым поставщиком. Что-то вроде этого:

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), машинописный текст может определять правильные типы:

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<{}> };

Пересечение с индексируемым типом добавляет требование, чтобы каждое свойство DataProviders должен быть совместим с DataProvider<{}>. Он использует тип пустого объекта {} в качестве универсального аргумента для DataProvider, потому что DataProvider имеет хорошее свойство, которое для любого типа данных T, DataProvider<T> совместимо с DataProvider<{}> - T является типом возвращаемого значения getData(), а любой тип совместим с типом пустого объекта {}.