Flip

问题描述

实现 just-flip-object 类型。例如:

Flip<{ a: "x", b: "y", c: "z" }>; // {x: 'a', y: 'b', z: 'c'}
Flip<{ a: 1, b: 2, c: 3 }>; // {1: 'a', 2: 'b', 3: 'c'}
Flip<{ a: false, b: true }>; // {false: 'a', true: 'b'}

不需要支持嵌套对象和不能作为对象键的值，例如数组。

// ============= Test Cases =============
import type { Equal, Expect, NotEqual } from './test-utils'
​
type cases = [
  Expect<Equal<{ a: 'pi' }, Flip<{ pi: 'a' }>>>,
  Expect<NotEqual<{ b: 'pi' }, Flip<{ pi: 'a' }>>>,
  Expect<Equal<{ 3.14: 'pi'; true: 'bool' }, Flip<{ pi: 3.14; bool: true }>>>,
  Expect<Equal<{ val2: 'prop2'; val: 'prop' }, Flip<{ prop: 'val'; prop2: 'val2' }>>>
]
​
// ============= Your Code Here =============
// 答案
type Flip<T extends Record<keyof T, string | number | bigint | boolean | null | undefined>> = {
  [K in keyof T as `${T[K]}`]: K
}
​

这道题需要将键名和键值交换，所以第一步很好实现，

type Flip<T> = {
  [K in keyof T as T[K]]: K
}

这里的泛型 T 约束为 T extends Record<PropertyKey,PropertyKey>,但是这样写会发现测试用例 Expect<Equal<{ 3.14: 'pi'; true: 'bool' }, Flip<{ pi: 3.14; bool: true }>>> 不通过，这是因为，这里的键值是 boolean 类型，不满足 PropertyKey的限制，现在我们修改泛型约束为 PropertyKey| boolean>，这里暂时不理解为什么 symbol 类型不可以，所以最终修改为 string | number | boolean，另外，在将其作为键名时，需要将其转为字符串，所以最终答案为

type Flip<T extends Record<keyof T, string | number  | boolean >> = {
  [K in keyof T as `${T[K]}`]: K
}