12.TypeScript中的交叉类型

交叉类型（Intersection Types）

交叉类型是将多个类型合并为一个类型。 这让我们可以把现有的多种类型叠加到一起成为一种类型，它包含了所需的所有类型的特性。 例如， Person & Serializable & Loggable同时是 Person 和 Serializable 和 Loggable。 就是说这个类型的对象同时拥有了这三种类型的成员。

interface Person {
    name: string
}

interface Serializable {
    serializer(): void
}
interface Loggable {
    log(): void
}

// 使用类型别名创建一个新的类型
type Itype = Person & Serializable & Loggable;

let itype: Itype = { // error 缺少serializer属性
    name: 'type',
    log() { }
};

itype = { // ok
    name: 'type',
    log() { },
    serializer() { }
}

我们大多是在混入（mixins）或其它不适合典型面向对象模型的地方看到交叉类型的使用。 （在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();

利用交叉类型，我们可以方便的使用已有的类型，创建出更加丰富的类型。

其实交叉类型很好理解，各种类型有交集，那么组成的新类型一定是要满足各个类型的。