TypeScript从精通到入门7：ts中的高级类型

TypeScript的高级类型提供了一系列复杂的类型构造方法，使得开发者能够创建出更加精确和灵活的类型。这些高级类型有助于在编译时捕获潜在的类型错误，提高代码的安全性和可维护性。以下是一些TypeScript中的高级类型。

交叉类型

使用&符号，交叉类型将多个类型合并为一个新的类型，这个新的类型具有所有参与合并的类型的特性。例如，如果你有一个表示猫的接口和一个表示狗的接口，它们都有一个eat方法，但其他方法不同，你可以使用交叉类型创建一个同时包含这两个接口特性的新类型。

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();

联合类型

联合类型与交叉类型很有关联，但是使用上却完全不同。 偶尔你会遇到这种情况，一个代码库希望传入 number或 string类型的参数。 例如下面的函数：

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);

类型断言

 类型断言好比其它语言里的类型转换，但是不进行特殊的数据检查和解构。 它没有运行时的影响，只是在编译阶段起作用。 TypeScript会假设你，程序员，已经进行了必须的检查。

类型断言有两种形式。 其一是“尖括号”语法：

let someValue: any = "this is a string";

let strLength: number = (<string>someValue).length;

另一个为as语法： 

let someValue: any = "this is a string";

let strLength: number = (someValue as string).length;

使用any临时断言：

window.abc = 123
//这样写会报错因为window没有abc这个东西

(window as any).abc = 123
//可以使用any临时断言在 any 类型的变量上，访问任何属性都是允许的。