引源链接:https://github.com/zhongsp/TypeScript/blob/dev/zh/handbook/literal-types.md

介绍

一个字面量是一个集体类型中更为具体的一种子类型。意思是:"Hello World" 是一个 string,但是一个 string 不是类型系统中的 "Hello World"

目前 TypeScript 中有三种可用的字面量类型集合,分别是:字符串、数字和布尔值。通过使用字面量类型,你可以规定一个字符串、数字或布尔值必须含有的确定值。

字面量收窄

当你通过 varlet 来声明一个变量时,实际上你在告诉编译器这个变量中的内容有可能会被改变。与之相对地,用 const 来声明对象会让 TypeScript 知道这个对象永远不会被改变。

  1. // We're making a guarantee that this variable
  2. // helloWorld will never change, by using const.
  3. // So, TypeScript sets the type to be "Hello World" not string
  4. const helloWorld = "Hello World";
  5. // On the other hand, a let can change, and so the compiler declares it a string
  6. let hiWorld = "Hi World";

从无穷多种可能的例子(string 变量的值有无穷多种)到一个更小、确定数量的例子(在上述例子中,"Hello Wrold" 的可能值只有一种)的过程就叫收窄。

字符串字面量类型

字面量类型可以通过联合联系、类型守卫、类型别名来结合实际字符串值。通过这些特性,我们可以获取一种字符串并使其有类似枚举(enum)的行为。

  1. type Easing = "ease-in" | "ease-out" | "ease-in-out";
  2. class UIElement {
  3. animate(dx: number, dy: number, easing: Easing) {
  4. if (easing === "ease-in") {
  5. // ...
  6. } else if (easing === "ease-out") {
  7. } else if (easing === "ease-in-out") {
  8. } else {
  9. // It's possible that someone could reach this
  10. // by ignoring your types though.
  11. }
  12. }
  13. }
  14. let button = new UIElement();
  15. button.animate(0, 0, "ease-in");
  16. button.animate(0, 0, "uneasy");
  17. // Error: Argument of type '"uneasy"' is not assignable to parameter of type 'Easing'.

你可以传递三种允许的字符串,但是如果传递其他的字符串会收到如下错误:

  1. Argument of type '"uneasy"' is not assignable to parameter of type '"ease-in" | "ease-out" | "ease-in-out"'

字符串字面可以通过相同的方式用来分别重载:

  1. function createElement(tagName: "img"): HTMLImageElement;
  2. function createElement(tagName: "input"): HTMLInputElement;
  3. // ... more overloads ...
  4. function createElement(tagName: string): Element {
  5. // ... code goes here ...
  6. }

数字字面量类型

TypeScript 还有数字字面量类型,它的行为和上述字符串字面量类型相同。

  1. function rollDice(): 1 | 2 | 3 | 4 | 5 | 6 {
  2. return (Math.floor(Math.random() * 6) + 1) as 1 | 2 | 3 | 4 | 5 | 6;
  3. }
  4. const result = rollDice();

数字字面量类型经常用来描述配置值:

  1. interface MapConfig {
  2. lng: number;
  3. lat: number;
  4. tileSize: 8 | 16 | 32;
  5. }
  6. setupMap({ lng: -73.935242, lat: 40.73061, tileSize: 16 });

布尔字面量类型

TypeScript 还有布尔值字面量类型,你可以通过他们来约束某些属性之间互有关联的对象。

  1. interface ValidationSuccess {
  2. isValid: true;
  3. reason: null;
  4. };
  5. interface ValidationFailure {
  6. isValid: false;
  7. reason: string;
  8. };
  9. type ValidationResult =
  10. | ValidationSuccess
  11. | ValidationFailure;