使用 const 断言从对象生成所有键的联合类型

Question

我有一个这样的对象 (demo in ts playground)：

const sites = {
    stack: {url: 'https://stackoverflow.com/'},
    google: {url: 'https://www.google.com/'},
    azure: {url: 'https://portal.azure.com/'}
} as const

我想做的是创建一个包含所有使用过的键的联合类型，我可以这样做：

type SiteNames = keyof typeof sites; // "stack" | "google" | "azure"

但是，我还想将安全类型添加到 sites 初始化中，其中所有对象值都是这样的特定类型 (demo in ts playground)：

interface ISiteDetails {
    url: string;
}

const sites: Record<string, ISiteDetails> = {
    stackoverflow: {url: 'https://stackoverflow.com/'},
    google: {url: 'https://www.google.com/'},
    azure: {url: 'https://portal.azure.com/'}
} as const

这会在创建 sites 时提供一些类型检查，但也会从最终类型中删除 const assertion，所以现在 SiteNames 只是解析为字符串：

type SiteNames = keyof typeof sites; // string

问题：有什么办法可以兼得？创建 Record<any, ISiteDetails 时的强类型化以及将所有对象键提取到新联合类型的能力？

解决方法：不符合人体工程学，但我可以通过将站点重新分配给这样的导出变量来添加最后一层类型检查 (demo in ts playground)：

const SitesTyped: Record<SiteNames, ISiteDetails> = sites;

Answer 1

这通常是通过一个标识函数来完成的。这将允许您限制输入，同时仍然使用它们的特定类型，例如 (demo in ts playground)：

function defineSites<T extends Record<string, ISiteDetails>>(template: T) {
    return template;
}

const sites = defineSites({
    stackoverflow: {url: 'https://stackoverflow.com/'},
    google: {url: 'https://www.google.com/'},
    azure: {url: 'https://portal.azure.com/'}
})

我有时会导入一个小的单线。这是高阶标识。

export const HOI = <Constraint> () => <T extends Constraint> (definition: T) => definition;

export const defineSites = HOI<Record<string, ISiteDetails>>();
// use as normal

如果你需要它，你可能希望将它写成一个函数在 .tsx 文件中

export function HOI<Constraint>() { 
    return () => <T extends Constraint> (definition: T) => definition;
}