type 表示在 Typescript 中设置特定类型值的键

Question

我想为设置特定类型值的键创建一个类型KeyOfType<M, T> 。

interface MyTypeMap {
    "one": 1;
    "two": "hello";
    "three": 3;
    "four": "world";
    "five": 5;
};

type KeyOfType<M, T> = ....; // ?????

type Foo = KeyOfType<MyTypeMap, string>; // 'two' | 'four'
type Bar = KeyOfType<MyTypeMap, number>; // 'one' | 'three' | 'five'

我尝试如下，但它不工作......

type KeyOfType<M extends {
  [key in keyof M]: any;
}, T> = M extends {
  [key in infer R]: T;
} ? R : never;

有没有办法解决这个问题？

Answer 1

我会在这里使用键重新映射，因为将键重新映射为never会将其从结果类型中删除：

type KeyOfType<M, T> = keyof {
  [K in keyof M as M[K] extends T ? K : never]: K
};

这会遍历M中的每个键K ，并检查值M[K]扩展T类型。 如果是，请保留密钥，否则将密钥名称重新映射为never ，将其删除。 值类型无关紧要，因为您只需要键，因此将K推入其中似乎很好。 然后在开始时填入一个keyof ，只拔出钥匙。

操场