// 定义函数 extend，用来合并对象
function extend<T, U>(first: T, second: U): T & U {
    // result 是要返回结果，类型断言为 T & U
    let result = {} as T & U

    // 遍历 first，结果存入 result
    for(let id in first){
        // 不能将类型“T”分配给类型“T & U”，所以需使用断言
        result[id] = first[id] as any
    }

    // 遍历 second，结果存入 result
    for(let id in second){
        if(!result.hasOwnProperty(id)){
            // 不能将类型“U”分配给类型“T & U”，同样需要断言
            result[id] = second[id] as any
        }
    }

    // 返回结果，类型是 T & U
    return result
}

// 定义 Person 类，有 name 实例属性，类型为 string
class Person{
    constructor(public name: string){}
}

// 定义接口，要求有 log() 函数
interface Loggable{
    log(): void
}

// 定义 ConsoleLogger 类，它实现了接口 Loggable，有实例方法 log()
class ConsoleLogger implements Loggable{
    log(){

    }
}

// 使用 extend 方法合并两个类的实例，返回的是交叉类型，所以可以访问 name 和 log()
let jim = extend(new Person('Jim'), new ConsoleLogger())
let n = jim.name
jim.log()

function PadLeft(value: string, padding: any){
    // 如果是 number 类型，则在 value 前填充对用空格
    if(typeof padding === 'number'){
        return Array(padding + 1).join(' ') + value
    }
    // 如果是 string 类型，则直接拼接 value 和 padding
    if(typeof padding === 'string'){
        return padding + value
    }

    // 如果不是 string 和 number，抛出错误
    throw new Error(`Expected string or number, got '${padding}'.`)
}

PadLeft("hello world", 4) // '    hello world'

padLeft("Hello world", true); // 编译阶段通过，运行时报错

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

PadLeft("hello world", true) // error，类型“true”的参数不能赋给类型“string | number”的参数。

let a: string | number

a.length // 类型“string | number”上不存在属性“length”。类型“number”上不存在属性“length”。