[TOC] ## 交叉類型（Intersection Types） 交叉類型是將多個類型合并為一個類型。 這讓我們可以把現有的多種類型疊加到一起成為一種類型，它包含了所需的所有類型的特性 ``` 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） bad ``` function demo(a:any){ console.log(a); } ``` good ``` function demo(a:string|number){ console.log(a); } ``` ### 值是聯合類型 只能訪問此聯合類型的所有類型里共有的成員 ``` interface Bird { fly(); layEggs(); } interface Fish { swim(); layEggs(); } function getSmallPet(): Fish | Bird { // ... } let pet = getSmallPet(); pet.layEggs(); // 公共 pet.swim(); // errors ``` ## 類型別名 ``` type Name = string; type NameResolver = () => string; type NameOrResolver = Name | NameResolver; function getName(n: NameOrResolver): Name { if (typeof n === 'string') { return n; } else { return n(); } } ``` ### 用 tpye 約束參數值 ``` type test="123"|"abc" class demo{ d(p:test):test{ return p } } let dd =new demo(); dd.d("123"); dd.d("abcc");//error ``` ### 可辨識聯合（Discriminated Unions） ``` interface A { kind: "A"; aa: string; } interface B{ kind:"B"; bb:string; } interface C{ kind:"C"; cc:number } type kind = A|B|C function foo(k:kind){ switch (k.kind){ case "A":return k.aa case "B":return k.bb case "C":return k.cc } } ```