从具有类型 Boolean 属性的 object 构建类型？

Question

我想从这个 object 构造一个类型：

const isSynchronized: Record<SynchronizableField, boolean> = {
    /* synchronized */
    surveyMacroEnvironments: true,
    coordinateReferenceSystemCrs: true,
    transactionType: true,
    epsgTransformation: true,
    startingAgreementDate: true,
    expirationAgreementDate: true,
    transactionTypeNotes: true,
    surveyDataType: true,
    /* not synchronized */
    surveyName: false,
    validationStateCd: false,
    legacy: false,
    notifyOnCreate: false,
    notifyOnValidate: false,
    finalReportLink: false,
    // timestamp fields
    creationDate: false,
    lastUpdate: false,
    // continent and country are handled differently
    continent: false,
    country: false,
};

其中类型只需要具有值等于 true 的键，你能帮助我或给我任何建议吗？

谢谢

Answer 1

作为第一步，我们必须删除isSynchronized上的类型注释； 我们需要编译器推断其类型，然后使用该推断类型来计算您要查找的键集。 您可以改用satisfies运算符来确保检查属性类型并将其限制为boolean ：

const isSynchronized = {
    surveyMacroEnvironments: true,
    coordinateReferenceSystemCrs: true,
    transactionType: true,
    epsgTransformation: true,
    startingAgreementDate: true,
    // ✂ ⋯ ✂
    lastUpdate: false,
    continent: false,
    country: false,
} satisfies Record<string, boolean>;

type IsSynchronized = typeof isSynchronized;

现在您可以检查IsSynchronized以获得所需的类型。

---

您正在寻找类型为 function 的应用程序，我将其称为KeysMatching<T, V> ，如microsoft/TypeScript#48992中所要求的以及在 TypeScript 中所讨论的，如何获取值为给定的 object 类型的键类型？ . 这个想法是KeysMatching<T, V>将评估T的属性键的并集，其中这些键的属性值可分配给V 。 具体来说，您似乎想要KeysMatching<IsSynchronized, true> 。

该语言不提供本机KeysMatching ，但有多种方法可以自行实现，但存在各种问题和边缘情况。 一种方法是分布式 object 类型，其中我们对T的所有属性进行 map ，然后使用所有键对结果进行索引，以计算属性类型的并集结束。 像这样：

type KeysMatching<T, V> =
    { [K in keyof T]: T[K] extends V ? K : never }[keyof T]

让我们使用它：

type SynchronizedKeys = KeysMatching<IsSynchronized, true>;
// type SynchronizedKeys = "surveyMacroEnvironments" | "coordinateReferenceSystemCrs" |
//   "transactionType" | "epsgTransformation" | "startingAgreementDate" | 
//   "expirationAgreementDate" | "transactionTypeNotes" | "surveyDataType"

看起来不错。 如果您不想保留KeysMatching ，您可以内联定义以直接计算SynchronizedKeys ：

type SynchronizedKeys = {
    [K in keyof IsSynchronized]: IsSynchronized[K] extends true ? K : never
}[keyof IsSynchronized];

游乐场代码链接