#复杂类型

Advanced Types

##交集类型（Intersection Types）

交集类型将多个类型结合为一个。该特性令到将既有类型加在一起，从而得到一个有着所有所需特性的单个类型。比如，Person & Serializable & Loggable就是一个Person 与 Serializable 与 Loggable。那就意味着此类型的对象，将有着所有三个类型的所有成员。

多数情况下，交集类型都用在混入及其它一些无法放入到经典的面向对象模子中的一些概念。（JavaScript中可是有很多这种概念！You will mostly see intersection types used for mixins and other concepts that don't fit in the classic object-oriented mold. (There are a lot of these in JavaScript!)）下面是一个演示如何创建混入的示例：

function extend<T, U>(first: T, second: U): T & U {
    let result = <T & U> {};
    for (let id in first) {
        (<any>result)[id] = (<any>first)[id];
    }
    for (let id in second) {
        if (!result.hasOwnProperty(id)) {
            (<any>result)[id] = (<any>second)[id];
        }
    }
    return result;
}

class Person {
    constructor (public name: string) {}
}

interface Loggable {
    log(): void;
}

class ConsoleLogger implements Loggable {
    log() {
        //...
    }
}

var jim = extend(new Person("Jim"), new ConsoleLogger());
var n = jim.name;
jim.log();

联合类型（Union Types）

联合类型与交集类型密切相关，但二者的用法却截然不同。少数情况下，将遇到某些需要一个可能是number，也可能是string参数的库。请看下面这个函数的实例：

/**
 * 取得一个字符串并将`padding`添加到其左侧。
 * 如果`padding`是一个字符串，那么`paddin`就被追加到左侧。
 * 如果`padding`是一个数字，那么该数目个的空格就被追加到左侧。
 */

function padLeft (value: string, padding: any) {
    if (typeof padding === "number") {
        return Array(padding + 1).join("  ") + value;
    }
    if (typeof padding === "string") {
        return padding + value;
    }

    throw new Error(`Expected string or number, got '${padding}'`);
}

padLeft("Hello world", 4);

padLeft函数的问题在于，它的padding参数所赋予的类型是any。那就意味着可以一个既不是number也不是string的参数对其进行调用，TypeScript也不会检查到问题。

let indentedString = padLeft("Hello world", true); // 在编译时可通过，但运行时失败。

在传统的面向对象代码中，可能会通过创建出类型的层次，来对这两种类型进行抽象。虽然这样做相对比较显式，但其也有些矫枉过正了。上面那个最初版本的padLeft有一个好的方面，就是可仅传入原生类型的参数（One of the nice things about the original version of padLeft was that we were able to just pass in primitives）。那意味着其用法是较为简洁的。而如仅尝试使用一个已在其它地方存在的函数，新方法也没有用。

对于padding参数，可使用 联合 类型类来代替any:

/**
 * 取得一个字符串并将`padding`添加到其左侧。
 * 如果`padding`是一个字符串，那么`paddin`就被追加到左侧。
 * 如果`padding`是一个数字，那么该数目个的空格就被追加到左侧。
 */

function padLeft (value: string, padding: string | number) {
    // ...
}

let indentedString = padLeft("Hello world", true); // 这时在编译时就会报错了。

联合类型将某个值描述为可以是多个类型的某一种。使用竖杠|来将各个类型分开，那么number | string | boolean就是说某个值的类型，可以是一个number、string或者boolean。

加入有着一个带有联合类型的值，那么就只能访问那些在联合中所有类型都具备的成员（If we have a value that has a union type, we can only access members that are common to all types in the union）。

interface Bird {
    fly();
    layEggs();
}

interface Fish {
    swim();
    layEggs();
}

function getSmallPet(): Fish | Bird {
    // ...
}

let pet = getSmallPet();

pet.layEggs(); // 没有问题
pet.swim(); // 错误

这里联合类型就有些摸不着头脑了，不过只需要一些直觉，就可以习惯它。加入某个值有着类型A | B，那就唯一能 明确 的是，它有着A 与 B 都有的成员。在本示例中，Bird有一个名为fly的成员。这里无法确定某个类型为Bird | Fish的变量具有fly的方法。如果运行时该变量实际上是Fish，那么调用pet.fly()就将失败。

类型保护与区分类型（Type Guards and Differentiating Types）

当某些值可能在它们所承载的类型上出现重叠时，联合类型对于这些情况下的建模是有用的。那么当需要明确知道是否有着一个Fish时，会发生什么呢？JavaScript中区分两个可能的值的习惯做法，就是对是否存在某个成员进行检查。如上面所提到的，只能访问到那些保证位于联合类型的所有构成类型中成员（Union types are useful for modeling situations when values can overlap in the types they can take on. What happens when we need to know specifically whether we have a Fish? A common idiom in JavaScript to differentiate between two possible values is to check for the presence of a member. As we mentioned, you can only access members that are guaranteed to be in all the constituents of a union type）。

let pet = getSmallPet();

// 这些属性访问都将引发错误
if (pet.swim) {
    pet.swim();
}
else if (pet.fly) {
    pet.fly();
}

为让同样的代码工作，就需要使用类型断言（a type assertion）:

let pet = getSmallPet();

if ((<Fish>pet).swim) {
    (<Fish>pet).swim();
}
else {
    (<Bird>pet).fly();
}

用户定义的类型保护（User-Defined Type Guards）

请注意上面必须要使用多次的类型断言。如果在一旦完成检查，就可以知晓各个分支中pet的类型，那就会好很多（Notice that we had to use type assertion several times. It would be much better if once we performed the check, we could know the type of pet within each branch）。

因为TypeScript有着名为 *类型保护（type guard）*特性，那么很容易做到了。类型保护一些执行运行时检查的表达式，用以确保类型出于特定范围。要定义一个类型保护，只需定定义一个返回值为 类型谓词 的函数即可（It just so happens that TypeScript has something called a type guard. A type guard is some expression that performs a runtime check that guarantees the type in some scope. To define a type guard, we simply need to define a function whose return type is a type perdicate）。

function isFish(pet: Fish | Bird): pet is Fish {
    return (<Fish>pet).swim !== undefined;
}

pet is Fish就是该示例中的类型谓词。谓词的形式就是parameterName is Type，其中的parameterName必须是当前函数签名中某个参数的名称。

现在只要以某个变量对isFish进行调用，如果初始类型兼容，那么TypeScript就会将那个变量 缩小 到特定类型（Any time isFish is called with some variable, TypeScript will narrow that variable to that specific type if the original type is compatible）。

// 现在对`swim`与`fly`的调用都没有问题了

if (isFish(pet)) {
    pet.swim();
}
else {
    pet.fly();
}

请注意TypeScript不仅知道if分支语句中的pet是一个Fish；它还知道在else分支语句中，在不是Fish时，那么就肯定是Bird了。

typeof的类型保护（typeof type guards）

现在来回头写一下使用联合类型版本的padLeft。可像下面这样使用类型谓词加以编写：

function isNumber(x: any): x is number {
    return typeof x === "number";
}

function isString(x: any): x is string {
    return typeof x === "string";
}

function padLeft (value: string, padding: string | number) {
    if (isNumber(padding)) {
        return Array(padding + 1).join("  ") + value;
    }
    if (isString(padding)) {
        return padding + value;
    }

    throw new Error(`Expected string or number, got '${padding}'`);
}

但是，这里不得不去定义一个函数来判断某个原生类型就太痛苦了。幸运的是，因为TypeScript本身就可以将typeof x === "number"识别为类型保护，所以无需将其抽象到其本身的函数中。那就意味着可将这些检查写在行内（That means we could just write these checks inline）。

function padLeft(value: string, padding: string | number) {
    if (typeof padding === "number") {
        return Array(padding + 1).join("  ") + value;
    }
    if (typeof padding === "string") {
        return padding + value;
    }
    throw new Error(`Expected string or number, got '${padding}'`);
}

这些 typeof 的类型保护 被以两种形式加以识别：typeof v === "typename" 与 typeof v !== "typename"，其中的typename必须是"number"、"string"、"boolean"或"symbol"。尽管TypeScript不会阻止与其它字符串进行对比，但语言不会将这些表达式作为类型保护加以识别。

instanceof的类型保护

在了解了有关typeof类型保护后，并熟悉JavaScript中的instanceof运算符的话，那么对本小节的内容就有了个大概了解了。

instanceof 类型保护 是一种使用构造函数来限定类型的方式（ instanceof type guards are a way of narrowing types using their constructor function ）。下面借用之前的生产中的字符串追加器实例来做说明：

interface Padder {
    getPaddingString(): string
}

class SpaceRepeatingPadder implements Padder {
    constructor (private numSpaces: number) {  }

    getPaddingString () {
        return Array(this.numSpaces + 1).join("  ");
    }
}

class StringPadder implements Padder {
    constructor (private value: string) {}

    getPaddingString () {
        return this.value;
    }
}

function getRandomPadder () {
    return Math.random() < 0.5 ?
        new SpaceRepeatingPadder (4) :
        new StringPadder("  ");
}

// 类型是 `SpaceRepeatingPadder | StringPadder`
let padder: Padder = getRandomPadder();

if ( padder instanceof SpaceRepeatingPadder ) {
    padder; // 类型被限定为 `SpaceRepeatingPadder`
}

if ( padder instanceof StringPadder ) {
    padder; // 类型被限定为`StringPadder`
}

instanceof的右侧需要是构造函数，而TypeScript将把变量限定为（The right side of the instanceof needs to be a constructor function, and TypeScript will narrow down to）:

  1. 在该函数的prototype属性类型不是any时，该函数的prototype属性类型（the type of the function's prototype property if its type is not any）

  2. 该函数prototype属性类型的构造签名所返回的类型联合（the union of types returned by that type's construct signatures）

并按二者的先后顺序进行。

可为空值的类型（Nullable types）

TypeScript有两种特别的类型，null与undefined，相应地有着空值与未定义值。在基本类型章节对它们进行了简要介绍。默认情况下，类型检查器认为null与undefined可被赋值给任何变量。对于所有类型，null与undefined都是有效的值。那就意味着，要 阻止 将它们赋值给各种类型，即使有意这样做，都是不可能的。null值的发明者，Tony Hoare, 把这一特性，称之为他的“十亿美元错误”。

编译器的--strictNullChecks开关可修正这一点：在声明某个变量时，它就不自动包含null或undefined了。要显式地包含它们，可使用联合类型：

let s = "foo";
s = null; // 错误，`null` 无法赋值给`string`

let sn: string | null = "bar";
sn = null; // 没有问题

sn = undefined; // 错误，`undefined` 无法赋值给 `string | null`

请留意TypeScript是以不同方式来对待null与undefined的，这是为了与JavaScript的语义相匹配。string | null与string | undefined 及string | undefined | null是不同的类型。

可选参数与属性（Optional parameters and properties）

在开启--strictNullChecks编译选项时，可选参数将自动加上| undefined：

function f(x: number, y?: number) {
    return x + (y || 0);
}

f(1, 2);
f(1);
f(1, undefined);
f(1, null); //错误，`null`不能赋值给`number | undefined`

对于可选属性，这也是适用的：

class C {
    a: number;
    b?: number;
}

let c = new C();
c.a = 12;
c.a = undefined; // 错误，`undefined`不能赋值给`number`
c.b = 13;
c.b = undefined;
c.b = null; // 错误，`null` 无法赋值给`number | undefined`

类型保护与类型断言（Type guards and type assertions）

因为可为空值类型，是以联合（a union）实现的，那么就需要使用类型保护来处理null。幸运的是，这与在JavaScript中所写的代码一样：

function f (sn: string | null): string {
    if (sn == null) {
        return "default";
    }
    else {
        return sn;
    }
}

这里null的排除是相当直观的，但也可以使用更简洁的运算符：

function f (sn: string | null): string {
    return sn || "default";
}

在那些编译器无法消除null或undefined的地方，可使用类型断言运算符（the type assertion operator）来手动移除它们。该语法就是后缀!的使用: identifier!将从identifier的类型中移除null与undefined：

function broken(name: string | null): string {
    function postfix(epithet: string) {
        return name.charAt(0) + '. the ' + epithet; // 错误，`name` 可能是`null`
    }

    name = name || "Bob";
    return postfix("great");
}

function fixed(name: string | null): string {
    function postfix(epithet: string) {
        return name!.charAt(0) + '. the ' + epithet; // 没有问题
    }

    name = name || "Bob";
    return postfix("great");
}

因为编译器无法消除嵌套函数内部的空值（除了那些立即执行函数表达式外），因此该示例使用了一个嵌套函数。而编译器之所以无法消除嵌套函数内的空值，是因为编译器无法对所有的嵌套函数调用进行追踪，尤其是在外层函数内返回嵌套函数时。由于编译器在不知道嵌套函数在何处调用，那么它就无法知道函数体执行时name的类型会是什么（The example uses a nested function here because the compiler can't eliminate nulls inside a nested function(except immediately-invoked function expressions). That's because it can't track all calls to the nested function, especially if you return it from the outer function. Without knowing where the function is called, it can't know what the type of name will be at the time the body executes）。

类型别名（Type Aliases）

类型别名特性，为某个类型创建出一个新的名称。类型别名有时与接口类似，但可以对原生类型、联合类型、元组及其它不得不手写的类型进行命名（Type aliases create a new name for a type. Type aliases are sometimes similar to interfaces, but can name primitives, unions, tuples, and any other types that you'd otherwise have to write by hand）。

type Name = string;
type NameResolver = () => string;
type NameOrResolver = Name | NameResolver;

function getName (n: NameOrResolver): Name {
    if ( typeof n === "string" ) {
        return n;
    }
    else {
        return n();
    }
}

命名操作并不会直接创建出一个新类型 -- 其创建出一个到那个类型引用的 名称 （Aliasing doesn't actually create a new type - it creates a new name to refer to that type）。对原生类型的重命名并不十分有用，不过这可用作一种程序文档的形式。

与接口一样，类型别名也可以是泛型的（通用的） -- 可仅加上类型参数，并在别名声明的右侧使用即可。

type Container<T> = { value: T };

还可以在属性中引用类型别名本身：

type Tree<T> {
    value: T;
    left: Tree<T>;
    right: Tree<T>;
}

当与交集类型一起时，就可以做出一些相当令人费解的类型：

type LinkedList<T> = T & { next: LinkedList<T> };

interface Person {
    name: string;
}

var people: LinkedList<Person>;
var s = people.name;
var s = people.next.name;
var s = people.next.next.name;
var s = people.next.next.next.name;

但是，要将类型别名放在声明右侧的任意地方，是不可能的：

type Yikes = Array<Yikes>; //错误

接口与类型别名（Interfaces vs. Type Aliases）

如前面所提到的，类型别名能表现得有点像接口那样；但类型别名与接口也有着些许不同。

一个差异在于接口创建出在所有地方使用的新名称。而类型别名并不会创建出新名称 -- 举例来说，错误消息就不会使用别名。在下面的代码里，如在代码编辑器中鼠标悬挺在interfaced上，就会提示其返回的是一个Interface，但对于aliased，则将提示返回的是对象字面值类型（object literal type）。

type Alias = { num: number }
interface Interface {
    num: number;
}

declare function aliased (arg: Alias): Alias;
declare function interfaced (arg: Interface): Interface;

第二个重要的不同，就是类型别名不能被扩展或被实施（它们也不能扩展或实施其它类型，A second important difference is that type aliases cannot be extended or implemented from(nor can they extend/implement other types)）。由于软件的理想属性，在于对扩展始终开放，因此应尽可能使用接口，而不是类型别名。

反过来说，在无法使用接口类表达某个外形（建模）及需要使用联合或元组类型时，往往就是类型别名派上用场的时候。

字符串字面类型（String Literal Type）

字符串字面类型特性，允许给某个字符串指定其所肯定具有的准确值（String literal types allow you to specify the exact value a string must have）。实践中的字符串字面类型，与联合类型、类型保护及类型别名等有很好的结合。可一并使用这些特性，从而获得字符串的类似于枚举的表现。

type Easing = "ease-in" | "ease-out" | "ease-in-out";

class UIElement {
    animate(dx: number, dy: number, easing: Easing) {
        if ( easing === "ease-in" ) {
            // ...
        }
        else if ( easing === "ease-out" ) {
            // ...
        }
        else if ( easing === "ease-in-out" ) {
            // ...
        }
        else {
            // 错误！不会传入 `null` 或 `undefined`
        }
    }
}

let button = new UIElement();
button.animate(0, 0, "ease-in");
button.animate(0, 0, "uneasy"); // 错误： `uneasy`是不允许的

可传入三个允许字串的任意一个，但任何其它字符串的传入，都将导致错误：

`"uneasy"`类型的参数不能指派给类型`"ease-in" | "easy-out" | "easy-in-out"`的参数

字符串字面值类型还可以同样方式，用于区分加载元素（String literal types can be used in the same way to distinguish overloads）：

function createElement (tagName: "img"): HTMLImageElement;
function createElement (tagName: "input"): HTMLInputElement;
// ... 更多的加载元素 ...
function createElement (tagName: string): Element {
    // ... 这里是代码 ...
}

数字字面值类型（Numeric Literal Types）

TypeScript 也具有数字字面值类型。

function rollDie(): 1 | 2 | 3 | 4 | 5 | 6 {
    // ...
}

很少显式地写数字字面值类型，在使用数字字面值类型来缩小范围，从而可捕获程序错误时，此特性就有用处：

function foo (x: number) {
    if ( x !== 1 || x !== 2 ) {
        //          ~~~~~~~
        // 运算符 `!==` 不能应用在类型 `1` 与 `2` 上
    }
}

也就是说，x 在与2进行比较时，x必定为 1, 这意味着上面的检查造成了无效的比较。

枚举成员类型（Enum Member Types）

如同在枚举章节所提到的，当所有枚举成员都有字面值初始化时，枚举成员就具有类型（As mentioned in our section on enums, enum members have types when every member is literal-initialized）。

在谈及“单例类型”时，大部分都指的是枚举成员类型与数字/字符串字面值类型，虽然很多人都会将“单例类型”与“字面值类型”混用（Much of the time when we talk about "singleton types", we're referring to both enum member types as well as numeric/string literal types, though many users will use "singleton types" and "literal types" interchangeably）。

可辨识联合（Dicriminated Unions）

可将单体类型、联合类型、类型保护及类型别名结合起来，构建出一种名为 可辨识联合，也叫作 标签联合 或 代数数据类型 的复杂模式。可辨识联合在函数式编程中是有用的。一些编程语言会对联合进行自动辨识；但TypeScript是在JavaScript模式上构建可辨识联合的，因为这些JavaScript模式业已存在。可辨识联合有以下三种成分（You can combine singleton types, union types, type guards, and type aliases to build an advanced pattern called dicriminated unions, also known as tagged unions or algebraic data types. Discriminated unions are useful in functional programming. Some languages automatically discriminate unions for you; TypeScript instead builds on JavaScript patterns as they exist today. There are three ingredients）：

  1. 具有共同的、单体类型属性的一些类型 -- 辨识依据（Types that have a common, singleton type property - the discrimainant）

  2. 一个这些类型联合的类型别名 -- 联合（A type alias that takes the union of those types - the union）

  3. 共同属性上的类型保护（Type guards on the common property）

interface Square {
    kind: "square";
    size: number;
}
interface Rectangle {
    kind: "rectangle";
    width: number;
    height: number;
}
interface Circle {
    kind: "circle";
    radius: number;
}

这里首先声明了一些将在联合中使用到的一些接口。注意每个接口都具备一个有着不同字符串字面值的kind属性。该kind属性就被成为 辨识依据（discriminant） 或 标签（tag）。其它属性则是特定于不同接口的。注意此时这些接口都还未联系起来。那么下面就将它们放入到一个联合中：

type Shape = Square | Rectangle | Circle;

现在对该可辨识联合加以使用：

function area (s: Shape) {
    switch ( s.kind ) {
        case "square": return s.size * s.size;
        case "rectangle": return s.width * s.height;
        case "circle": return Math.PI * s.radius ** 2;
    }
}

全面性检查（Exhaustiveness checking）

在没有涵盖到可辨识联合的全部变种时，如果编译器能予以提示，那就再好不过了。比如，在将Triangle加入到Shape后，就需要同时更新area：

type Shape = Square | Rectangle | Circle | Triangle;

function area (s: Shape) {
    switch ( s.kind ) {
        case "square": return s.size * s.size;
        case "rectangle": return s.width * s.height;
        case "circle": return Math.PI * s.radius ** 2;
    }
    // 这里因该报错 -- 因为并未处理“triangle”情况
}

要达到此目的，有两种方式。第一个就是开启--strictNullChecks编译选项，并为该函数指定一个返回值类型：

function area (s: Shape): number { // 错误：返回 `number | undefined` （因为三角形时将返回 undefined）
    switch (s.kind) {
        case "square": return s.size * s.size;
        case "rectangle": return s.width * s.height;
        case "circle": return Math.PI * s.radius ** 2;   
    }
}

因为switch已不全面，所以TypeScript就注意到某些时候函数area将返回undefined。在使用了显式的number返回类型时，就会得到编译器给出的返回值类型为number | undefined的报错。当这种方式有些微妙，同时--strictNullChecks对于旧代码也并不总是管用。

第二种方式使用了可被编译器用来对完备性进行检查的never类型（The second method uses the never type that the compiler uses to check for exhaustiveness）:

function assertNever (x: never): never {
    throw new Error ("Unexpected object: " + x);
}

function area (s: Shape) {
    switch ( s.kind ) {
        case "square": return s.size * s.size;
        case "rectangle": return s.width * s.height;
        case "circle": return Math.PI * s.radius ** 2;
        default: return assertNever(s); // 如有漏掉的情形，这里就会出现错误
    }
}

这里的assertNever函数检查s为never类型 -- 即在排除了所有其它情形后剩下的类型（Here, assertNever checks that s is of type never -- the type's left after all other cases have been removed）。如果忘掉某个情形，那么s将具有真实的类型，就将得到一个类型错误。此方式需要定义一个额外函数，不过在忘掉某个情形时，这种方式要直观得多。

多态this类型（Polymorphic this types）

多态this类型，代表的是包含this的类或接口的一个 子类型 。这被称为F-边界多态。此特性好处在于，比如令到更易于表达层次化的i 流式接口 等。下面是一个在每次操作后都返回this的一个简单的计算器代码（A polymorphic this type represents a type that is the subtype of the containing class or interface. This is called F-bounded polymorphism. This makes hierarchical fluent interfaces much easier to express, for example. Take a simple calculator that return this after each operation）：

class BasicCalculator {
    public constructor ( protected value: number = 0 ) {}

    public currentValue (): number {
        return this.value;
    }

    public add ( operand: number ): this {
        this.value += operand;
        return this;
    }

    public multiply ( operand: number ): this {
        this.value *= operand;
        return this;
    }


    // ... 这里是其它运算 ...
}

let v = new BasicCalculator (2)
            .multiply(5)
            .add(1)
            .currentValue();

因为类用到this类型，就可以将其扩展为新类型，且新类型可不加修改地使用要旧有的方法：

class ScientificCalculator extends BasicCalculator {
    public constructor ( value = 0 ) {
        super ( value );
    }

    public sin () {
        this value = Math.sin ( this.value );
        return this;
    }

    // ... 其它的运算在这里 ...
}

let v = new ScientificCalculator (2)
        .multiply(5)
        .sin()
        .add(1)
        .currentValue();

如果没有this类型，ScientificCalculator就无法对BasicCalculator进行扩展并保留流式接口（the fluent interface）。multiply将返回BasicCalculator，而BasicCalculator是没有sin方法的。不过，在有了this类型后，multiply将返回this，就是这里的ScientificCalculator了。

索引类型（Index types）

使用索引类型特性，就可以让编译器对那些用到 动态属性名称 的代码进行检查。一种常见的JavaScript范式，就是从某个对象中拾取属性的子集（With index types, you can get the compiler to check code that uses dynamic property names. For example, a common JavaScript pattern is to pick a subset of properties from an object）：

function pluck (o, names) {
    return names.map( n => o[n] );
}

下面是在TypeScript中上面函数的写法与用法，使用了 索引类型查询 与 经索引的读写 运算符（Here's how you would write and use this function in TypeScript, using the index type query and indexed access operators）：

function pluck<T, K extends keyof T>(o: T, names: K[]): T[K][] {
    return names.map(n => o[n]);
}

interface Person {
    name: string;
    age: number;
}

let person: Person = {
    name: "Jirad",
    age: 35
}

let strings = string[] = pluck ( person, ['name'] ); // 没有问题，string[]

编译器对name是Person上的属性进行检查。该示例引入了两个新的类型运算符（type operators）。首先是keyof T，也就是 索引类型查询运算符。对于任意类型的T，keyof T都是T的 已知的、公开的属性名称的联合（First is keyof T, the index type query operator. For any type T, keyof T is the union of known, public names of T）。比如：

let personProps: keyof Person; // 'name' | `age`;

keyof Person与'name' | 'age'是可完全互换的。区别在于如给Person加上另一个属性，比如address: string，那么keyof Person将自动更新为'name' | 'age' | 'address'。同时可在如pluck函数这样的，提前并不知道有哪些属性名称的通用场合，使用keyof运算符。那意味着编译器将就是否传递了正确的属性名称集合给pluck进行检查：

pluck ( person, ['age', 'unkown'] ); // 错误，'unkown' 不再 `'name' | 'age'` 属性名称联合中

引入的第二个运算符，就是T[K]，受索引的读写运算符（the indexed access operator）。这里的类型语法反映的是表达式语法（Here, the type syntax reflects the expression syntax）。那就是说person['name']具有类型Person['name'] -- 在示例中那就仅是string。但与索引类型查询一样，可在通用环境中使用T[K]，这才是其与生俱来的威力。只需确保类型变量K extends keyof T即可。下面是另一个名为getProperty函数的示例：

function getProperty<T, K extends keyof T>(o: T, name: K): T[K] {
    return o[name]; // o[name] 的类型就是`T[K]`
}

在函数getProperty中，o: T 与 name: K，就意味着o[name]: T[K]。一旦返回了T[K]结果，编辑器将立即实例化键的实际类型，因此getProperty函数的返回值类型，将根据所请求的属性，而有所不同。

let name: string = getProperty(person, 'name');
let age: number = getProperty(person, 'age');
let unkown = getProperty(person, 'unknown'); // 错误，'unkown'不在 `'name' | 'age'`中

索引类型与字符串索引签名（Index types and string index signatures）

keyof与T[K]都作用于 字符串索引签名。如有一个带有字符串索引签名的类型，那么keyof T就仅仅是string。同时T[string]也仅仅是该索引签名的类型（keyof and T[K] interact with string index signatures. If you have a type with a string index signature, keyof T will just be string. And T[string] is just the type of the index signature）。

interface Map<T> {
    [key: string]: T;
}

let keys: keyof Map<number>; // 字符串
let values: Map<number>['foo']; // 数字

映射的类型（Mapped types）

使用既有类型并令到其各个属性可选，是一项很常见的任务（A common task is to take an existing type and make each of its properties optional）：

interface PersonPartial {
    name?: string;
    age?: number;
}

或者可能想要一个只读版本：

interface PersonPartial {
    readonly name: string;
    readonly age: number;
}

因为在JavaScript或出现很多这种情况，因此TypeScript提供了一种基于原有类型来创建新类型的方式 -- 映射的类型（This happens often enough in JavaScript that TypeScript provides a way to create new types based on old types -- mapped types）。在映射的类型中，新类型对原有类型中的各个属性，都以同样方式进行转换。比如，可将所有属性，都成为readonly的或可选的。下面是两个示例：

type Readonly<T> = {
    readonly [P in keyof T]: T[P];
}

type Partial<T> = {
    [P in keyof T]? T[P];
}

下面是用法：

type PersonPartial = Partial<Person>;
type ReadonlyPerson = Readonly<Person>;

来看看下面这个最简单的映射类型及其构成（Let's take a look at the simplest mapped type and its parts）：

type Keys = 'option1' | 'option2';
type Flags = { [K in Keys]: boolean };

该语法酷似那种内部带有for .. in的索引签名语法（The syntax resembles the syntax for index signatures with a for .. in inside）。其有着三个构成部分：

  1. 类型变量K，其将依次绑定到各个属性。

  2. 字符串字面值的联合Keys，其包含了那些要进行迭代的属性名称。

  3. 属性的结果类型（The resulting type of the property）。

上面的示例中，Keys是一个硬编码的属性名称清单，同时属性类型全是boolean，那么此映射的类型就等价于下面的写法：

type Flags = {
    option1: boolean;
    option2: boolean;
}

但实际应用看起来会像上面的Readonly或Partial（Real applications, however, look like Readonly or Partial above）。它们总是基于一些既有类型，以某种方式对属性进行转换。那就是要用到keyof与受索引读写类型的地方：

type NullablePerson = { [P in keyof Person]: Person[P] | null }
type PartialPerson = { [P in keyof Person]?: Person[P] }

在这些示例中，属性清单为keyof T，结果类型是T[P]的某些变种。这可作为映射类型一般用法的良好模板。这是因为此类变换，是同态的，也就是说，只是对于T的属性进行映射，而不涉及其它部分。编译器明白，在加入任何新东西前，其只能对所有既有属性修饰器进行拷贝（In these examples, the properties list is keyof T and the resulting type is come variant of T[P]. This is a good template for any general use of mapped types. That's because this kind of transformation is homemorphic, which means that the mapping applies only to properties of T and no others. The compiler knows that it can copy all the existing property modifiers before adding any new ones. For example, if Person.name was readonly, Partial<Person>.name would be readonly and optional）。比如，如果Person.name是只读的，那么Partial<Person>.name将是只读且可选的。

下面是另一个示例，其中T[P]被封装在Proxy<T>类中：

type Proxy<T> = {
    get(): T;
    set(value: T): void;
}

type Proxify<T> = {
    [P in keyof T]: Proxy<T[P]>;
}

function proxify<T>(o: T): Proxify<T> {
    // ... 这里封装了代理 ...
}

let proxyProps = proxify(props);

注意Readonly<T>与Partial<T>是如此重要，以至于它们与Pick及Record一道，被收录进入了TypeScript的标准库中：

type Pick<T, K extends keyof T> = {
    [P in K]: T[P];
}

type Record<K extends string, T> = {
    [P in K]: T;
}

Readonly、Partial与Pick是同态的，但Record却不是。Record不是同态的一个原因，就是其并不是取得一个要从其中拷贝属性的输入类型（One clue that Record is not homomorphic is that it doesn't take an input type to copy properties from）：

type ThreeStringProps = Record<'prop1' | 'prop2' | 'prop3', string>

非同态类型，会创建新的属性，因此它们无法从任何地方拷贝属性修饰器（Non-homomorphic types are essentially creating new properties, so they can't copy property modifiers from anywhere）。

自映射类型的推导（Inference from mapped types）

现在以及知晓封装类型属性的方法，那么接着就要对这些类型属性进行解封装（Now that you know how to wrap the properties of a type, the next thing you'll want to do is unwrap them）。幸运的是，对类型属性的解封装，是相当容易的:

function unproxify<T>(t: Proxify<T>): T {
    let result = {} as T;

    for ( const k in t ) {
        result[k] = t[k].get();
    }

    return result;
}

注意这种解封装推导仅适用于同态的映射类型。如映射类型不是同态的，就必须给解封装函数一个显式类型参数（Note that this unwrapping inference only works on homomorphic mapped types. If the mapped type is not homomorphic you'll have to give an explicit type parameter to your unwrapping function）。

Last change: 2023-03-28, commit: 4e70b88