流动的类型

TypeScript 类型系统非常强大，它支持其他任何单一语言无法实现的类型流动和类型片段。

这是因为 TypeScript 的设计目的之一是让你无缝与像 JavaScript 这类高动态的语言一起工作。在这里，我们介绍一些在 TypeScript 中使用移动类型的技巧。

关键的动机：当你改变了其中一个时，其他相关的会自动更新，并且当有事情变糟糕时，你会得到一个有好的提示，就好像一个被精心设计过的约束系统。

复制类型和值

如果你想移动一个类，你可能会想要做以下事情：

  1. class Foo {}
  3. const Bar = Foo;
  5. let bar: Bar; // Error: 不能找到名称 'Bar'

这会得到一个错误，因为 const 仅仅是复制了 Foo 到一个变量声明空间，因此你无法把 Bar 当作一个类型声明使用。正确的方式是使用 import 关键字，请注意，如果你在使用 namespace 或者 modules，使用 import 是你唯一能用的方式：

  1. namespace importing {
  2.   export class Foo {}
  3. }
  5. import Bar = importing.Foo;
  6. let bar: Bar; // ok

这个 import 技巧，仅适合于类型和变量。

捕获变量的类型

你可以通过 typeof 操作符在类型注解中使用变量。这允许你告诉编译器，一个变量的类型与其他类型相同，如下所示：

  1. let foo = 123;
  2. let bar: typeof foo; // 'bar' 类型与 'foo' 类型相同（在这里是： 'number'）
  4. bar = 456; // ok
  5. bar = '789'; // Error: 'string' 不能分配给 'number' 类型

捕获类成员的类型

与捕获变量的类型相似，你仅仅是需要声明一个变量用来捕获到的类型：

  1. class Foo {
  2.   foo: number; // 我们想要捕获的类型
  3. }
  5. declare let _foo: Foo;
  7. // 与之前做法相同
  8. let bar: typeof _foo.foo;

捕获字符串类型

许多 JavaScript 库和框架都使用原始的 JavaScript 字符串，你可以使用 const 定义一个变量捕获它的类型：

  1. // 捕获字符串的类型与值
  2. const foo = 'Hello World';
  4. // 使用一个捕获的类型
  5. let bar: typeof foo;
  7. // bar 仅能被赋值 'Hello World'
  8. bar = 'Hello World'; // ok
  9. bar = 'anything else'; // Error

在这个例子里，bar 有字面量类型 Hello World，我们在字面量类型章节已经深入讨论。

捕获键的名称

keyof 操作符能让你捕获一个类型的键。例如，你可以使用它来捕获变量的键名称，在通过使用 typeof 来获取类型之后：

  1. const colors = {
  2.   red: 'red',
  3.   blue: 'blue'
  4. };
  6. type Colors = keyof typeof colors;
  8. let color: Colors; // color 的类型是 'red' | 'blue'
  9. color = 'red'; // ok
  10. color = 'blue'; // ok
  11. color = 'anythingElse'; // Error

这允许你很容易地拥有像字符串枚举+常量这样的类型，如上例所示。

原文: https://jkchao.github.io/typescript-book-chinese/typings/movingTypes.html