一个键的值依赖于另一个键的值的对象[重复]

Question

实现这种效果的最佳方式是什么（注意：这不是有效的语法 - 将其视为伪代码）：

type Config = {
  [key: string]: <T> {
    params: T,
    doSth: (params: T) => void,
  },
}

IE。通用 T 类型对于每个键的值（它本身是一个对象）都是不同的，但同时它在不同字段下的该值（对象）中被重用。此外，T 派生自 params 字段。有了它我可以做到：

const config: Config = {
  a: {
    params: { x: 123 },
    doSth: params => {}, // Type of "params" is "{ x: 123 }"
  },
  b: {
    params: { y: 'asd' },
    doSth: params => {}, // Type of "params" is "{ y: 'asd' }"
  },
}

令我惊讶的是，谷歌搜索并没有产生匹配的结果，尽管它看起来相对有用图案- 有很多类似的问题，但并不完全相同。我尝试应用的一些解决方案都失败了。

Answer 1

在 TypeScript 中，有些事情您无法单独使用类型来完成，有时您需要一个函数来提供帮助，即使该函数在运行时实际上没有做任何事情。我思考这是那些时代之一。这是一个接近您所描述内容的函数示例：

type ConfigEntry<T extends object> = {
    params: T;
    doSth: (params: T) => void;
};

function makeConfigEntry<T extends object>(obj: ConfigEntry<T>): ConfigEntry<T> {
    return obj;
}

请注意 ConfigEntry 如何让我们将使用该类型的两个地方联系起来。您将在定义属性值时使用该函数：

const config = {
    a: makeConfigEntry({
        params: { x: 123 },
        doSth: params => {}, // Type of `params` is `{ x: number; }`
        //     ^?
    }),
    b: makeConfigEntry({
        params: { y: "asd" },
        doSth: params => {}, // Type of `params` is `{ y: string; }`
        //     ^?
    }),
};

请注意，上面没有 Config 类型注释。 TypeScript 将从对象初始值设定项中推断出它。

但是请注意params 上的类型并不是您想要的。 TypeScript 不会从您的对象中推断出类型 { x: 123; } 和 { y: "asd"; }。它会推断出{ x: number; } 和{ y: string; }，或者如果您定义对象as const，它会推断出{ readonly x: 123; } 和{ readonly y: "asd"; }：

const config = {
    a: makeConfigEntry({
        params: { x: 123 } as const,
        doSth: params => {}, // Type of `params` is `{ readonly x: 123; }`
        //     ^?
    }),
    b: makeConfigEntry({
        params: { y: "asd" } as const,
        doSth: params => {}, // Type of `params` is `{ readonly y: "asd"; }`
        //     ^?
    }),
};

这可能不是您想要的，但我认为它很接近，可能是当今 TypeScript 所能达到的与您想要的最接近的几种方法之一。

以上Playground example