在用 TypeScript 的时候，我们常会类似下面的例子一样写～
enum ColorsEnum {
white="#ffffff",
black="#000000",
}
type Colors = keyof typeof ColorsEnum;
其中最后一行等价于：
type Colors = "white" | "black"
keyof 和 typeof 是如何工作的？
想要理解 TypeScript 中 keyof 和 typeof 是如何工作的，首先需要理解什么是 字面量类型（literal types） 和 联合字面量类型（union of literal types，我将会先解释这些概念，然后分别详细介绍 keyof 和 typeof，最后会回到 enum 来回答上面的问题。
字面量类型（literal types）
TypeScript 中的字面量类型是更具体的 string, number 或 boolean 类型。比如 "张三"是一个 string，但是 string 类型不是 "张三"，"张三" 是 string 类型的一个更具体的类型，所以它是一个字面量类型。
一个字面量类型可以被这样定义：
type NameType = "关羽"
这意味着 Name 类型的对象只能有一个字符串值 张三，并且没有其他 string 类型的值，或者其他任何类型的值，就像下面代码说的一样：
let name: NameType
name = "关羽" // OK
name = "张飞" // Error: Type '"关羽"' is not assignable to type '"关羽"'
字面量类型本身并不是很有用，但是当它和联合类型（union types）、类型别名（type aliases）、类型保护（type guards）组合起来后，它就变得很强大。
下面是联合字面量类型的例子：
type NameType = "马超" | "赵云" | "黄忠"
现在 NameType 类型对象的值可以是 "马超"， "赵云" 或者 "黄忠"。
let name: NameType
name = "马超" // OK
name = "赵云" // OK
name = "黄忠" // OK
name = "刘备" // Error: Type '"刘备"' is not assignable to type '"NameType"'
keyof 单独使用
假设现在有一个类型 T, keyof T 将会给你一个新的类型，她是我们前面提到的 联合字面量类型，并且组成他的字面量类型是 T 的属性名称。最后生成的类型是字符串的子类型。
比如下面的 interface：
interface Person {
name: string
age: number
address: string
}
在 Person 类型上使用 keyof，将会得到一个新的类型，如下：
type SomeNewType = keyof Person
SomeNewType 是一个联合字面量类型（"name" | "age" | address）,它是由 Person 的属性组成的类型。
现在，你可以创建 SomeNewType 类型的对象了：
let newTypeObject: SomeNewType
newTypeObject = "name" // OK
newTypeObject = "age" // OK
newTypeObject = "address" // OK
newTypeObject = "anyOtherValue" // Error...Type '"anyOtherValue"' is not assignable to type 'keyof Person'
keyof typeof 同时使用
你可能已经知道，typeof 运算符为你提供对象的类型，上面例子中 Person interface，我们已经知道它的类型，所以我们只需要在 Person 上使用 keyof 操作符。
但是，当我们不知道对象的类型，或者我们只有一个值，类似于下面的情况，应该怎么办呢？
const bmw = { name: "BMW", power: "1000hp" }
这就是我们需要一起使用 keyof typeof 的地方。
typeof bmw 给到你他们的类型 { name: string, power: string }
接着 keyof 操作符给到你联合字面量类型，像下面代码描述的一样：
type CarLiteralType = keyof typeof bmw
let carPropertyLiteral: CarLiteralType
carPropertyLiteral = "name" // OK
carPropertyLiteral = "power" // OK
carPropertyLiteral = "anyOther" // Error...Type '"anyOther"' is not assignable to type '"name" | "power"'
在 enum 上使用 keyof typeof
在 Typescript 中，enmu在编译时被用作类型，用来实现常量的类型安全，但是它们在运行时被视为对象。这是因为，当 TypeScript 代码被编译为 JavaScript 时，它们会被转化为普通对象。接着我们回顾一下，最后开始我们提出问题的例子是这样的：
enum ColorsEnum {
white = '#ffffff',
black = '#000000',
}
这里 ColorEnum 在运行时作为一个对象存在，不是一个类型，所以，我们需要一起使用 keyof typeof这两个操作符，如下代码所示：
type Colors = keyof typeof ColorsEnum
let colorLiteral: Colors
colorLiteral = "#ffffff" // OK
colorLiteral = "#000000" // OK
colorLiteral = "#00ffff" // Error...Type '"#00ffff"' is not assignable to type '"#ffffff" | "#000000"'