javascript - keyof Map<any, any>返回的什么类型?

Question

keyof Map<any, any>返回的什么类型啊？

在vue3的源码里有这么一个类型

type UnwrapRefSimple<T> = T extends Function | BaseTypes | Ref | RefUnwrapBailTypes[keyof RefUnwrapBailTypes] | {    [RawSymbol]?: true;}    ? T    : T extends Map<infer K, infer V>        ? Map<K, UnwrapRefSimple<V>> & UnwrapRef<Omit<T, keyof Map<any, any>>>        : T extends WeakMap<infer K, infer V>            ? WeakMap<K, UnwrapRefSimple<V>> & UnwrapRef<Omit<T, keyof WeakMap<any, any>>>            : T extends Set<infer V> ? Set<UnwrapRefSimple<V>> & UnwrapRef<Omit<T, keyof Set<any>>> : T extends WeakSet<infer V> ? WeakSet<UnwrapRefSimple<V>> & UnwrapRef<Omit<T, keyof WeakSet<any>>> : T extends ReadonlyArray<any> ? {    [K in keyof T]: UnwrapRefSimple<T[K]>;} : T extends object & {    [ShallowReactiveMarker]?: never;} ? {    [P in keyof T]: P extends symbol ? T[P] : UnwrapRef<T[P]>;} : T;

这里的Omit<T, keyof Map<any, any>>里的keyof Map<any, any>返回的什么类型啊？ never吗？
我单独给一个变量赋值为这个类型，发现不管是什么值都不符合
let test: keyof Map<any, any>

Answer 1

keyof Map<any, any> 返回的类型是 string | number。

在 TypeScript 中，Map 类型是一个关联数组，它存储的键可以是字符串或数字。因此，keyof Map<any, any> 的结果就是 string | number。

如果你给一个变量赋值为这个类型，你会发现它可以是任何字符串或数字。例如：

let test: keyof Map<any, any>;test = "hello"; // 正确test = 123; // 正确test = true; // 错误，因为 true 不是 string 或 number

在上面的代码中，变量 test 可以被赋值为字符串或数字，但是不能被赋值为其他类型（比如布尔值）。