使用映射类型时，如何在 TypeScript 中推断对象属性的值？答案

【问题标题】：How can I infer an object property's value in TypeScript when using mapped types?使用映射类型时，如何在 TypeScript 中推断对象属性的值？
【发布时间】：2018-08-08 23:20:29
【问题描述】：

我正在尝试在 typescript 中创建一个单例 factoryLookup，以强制我为联合类型（即映射查找类型）中的每个值定义一个工厂，但是我也希望能够推断出签名（可以是任意参数的值或函数）用于查找的任何值。这是一个代码示例：

// Using a simple object, I can create a map between a key and an arbitrary function or value
const factoryLookup = {
  foo: (message: string, count: number): string => message + count,
  bar: (): number => 1,
};

// TypeScript can infer function signature of the foo and bar values
factoryLookup.foo('hello world', 3); // foo's signature: (message: string, count: number) => string
factoryLookup.bar(); // bar's signature: () => number

type FactoryTypes = 'foo' | 'bar' | 'baz';

// With a mapped type, TypeScript can enforce I have *something* defined for every member I am mapping
const typedFactoryLookup: { [key in FactoryTypes]: any } = {
  foo: (message: string, count: number) => {},
  bar: () => {},
  baz: (obj: any) => {},
};

// However, I don't know how to infer the mapped values
typedFactoryLookup.foo; // any type
typedFactoryLookup.bar; // any type
typedFactoryLookup.baz; // any type

我希望类型安全，以确保我为 union/enum 类型中的每个值定义了一个函数，但也希望类型推断能够知道该值的签名是什么。

任何关于如何解决此问题的想法或实现相同目标的替代方法都将不胜感激。

【问题讨论】：

标签： javascript typescript

【解决方案1】：

如果您显式键入一个变量，那将是它的类型，不会发生推断。你可以得到你想要的行为，但是你需要使用函数的推理行为。

type FactoryTypes = 'foo' | 'bar' | 'baz';


function createTypedFactoryLookup<T extends { [key in FactoryTypes]: any }>(factory: T) {
    return factory;
}
const typedFactoryLookup = createTypedFactoryLookup({
    foo: (message: string, count: number) => {},
    bar: () => {},
    baz: (obj: any) => {},
})

typedFactoryLookup.foo; // (message: string, count: number) => void
typedFactoryLookup.bar; // () => void
typedFactoryLookup.baz; // (obj: any) => void

您也可以创建一个接受键类型的版本，但您需要使用一个返回函数的函数，因为 typescript 不支持仅指定某些类型参数（它可能在 3.1 中受支持）

function createTypedFactoryLookup<TKeys extends string>(){
    return function <T extends { [key in TKeys]: any }>(factory: T) {
        return factory;
    }
}
const typedFactoryLookup = createTypedFactoryLookup<FactoryTypes>()({
    foo: (message: string, count: number) => {},
    bar: () => {},
    baz: (obj: any) => {},
})

【讨论】：