如何从 Typescript 的接口中提取“字符串”属性名称？

Question

打字稿游乐场

我想从中提取string属性SOME_OBJECT并将其作为联合类型获取。因此，在下面的示例中，我希望STRING_KEYS是类型 "title" | "label"

interface SOME_OBJECT {
    title:      string,
    label:      string,
    someBool:   boolean,
    someDate:   Date,
    someNumber: number
}

type ExtractString<T> = keyof T extends string ? keyof T : never;

type STRING_KEYS = ExtractString<SOME_OBJECT>  // <----- THIS SHOULD BE "title" | "label"

这就是我得到的：

我认为我在这里的方向是正确的（通过使用条件类型），但我还没有安静下来。实现这一目标的最佳方法是什么？

Answer 1

从Typescript Docs: Distributive Conditional Types 的下面例子中得到了这个想法

所以我已经适应了它，它的工作原理：

interface SOME_OBJECT {
    title:      string,
    label:      string,
    someBool:   boolean,
    someDate:   Date,
    someNumber: number
}

type ExtractStringPropertyNames<T> = {
    [K in keyof T]: T[K] extends string ? K : never
}[keyof T]

type STRING_KEYS = ExtractStringPropertyNames<SOME_OBJECT>

打字稿游乐场

如果可能，我仍然有兴趣查看其他方法。特别是如果有更直接的方法可以做到这一点，因为我认为这个答案感觉像是“黑客”，因为它并没有说明代码在做什么。

更新（它是如何工作的）

我已经研究了更多，以了解代码实际上在做什么，我想我已经弄清楚了。

我把它分成两步：

第1步

在第一步中，将创建一个新对象/类型。

这个新对象K in keyof T的键将与通用类型的键相同T（SOME_OBJECT在示例中）。

对于这些键的值，我们将检查泛型类型T，如果这些属性的值Kextends string。这意味着这些值可以分配给string. 例如：string，"some_hard_coded_string_type"并且any都会通过测试。

对于通过测试的每个属性，我们将重复其键K名作为它们的值，否则将通过never。你可以在STEP_1_RESULT下面看到结果。

第2步

在这一步中，我们将简单地获取从步骤 1生成的对象，并通过执行type STEP_2<T> = T[keyof T].

请记住，它keyof T代表来自 的所有属性的并集T。因此，STEP_1_RESULT当与keyof T联合成员一起调用时，Typescript 将返回一个联合，其中包含该对象的所有可能值。

在我们的示例中，它将返回"title" | "label" | never | never | never.

但是由于never类型在联合类型中没有意义，这些值被丢弃，我们只剩下"title" | "label".