类型推断

• ts会自动推断写的代码是什么类型
• 当你不需要ts自动推断类型的时候 需要用到类型断言
• 最佳通过类型推断
• 上下文类型推断

// 断言为number
let a = 1;
// 断言为number[]
let b = [1,2]

interface Foo{
 bar: number
}

let foo = {} as Foo    // 增加了Foo就不会报错 类型断言 
foo.bar = 1  // 空对象没有bar 会报错

//但是常用直接指定类型 不建议用as断言方式
let foo: Foo = {
 bar: 1
}

类型兼容性问题

• 当一个类型Y可以被赋值给另外一个类型X时，我们就可以说类型X兼容类型Y
• 结构之间兼容，成员少的兼容成员多的
• 函数之间兼容，参数多的兼容参数少的

类型保护

• 能够在特定的区块中保证变量属于某种确定的类型
• 可以在此区块中放心的引用此类型的属性，或者调用此类型的方法

enum Type { Strong, Week }

class Java{
  helloJava(){
    console.log('java')
  }
  java:any
}

 class JavaScript { 
   helloJavaScript(){
     console.log('JavaScript')
   }
   javascript: any
 }

function isJava(lang: Java | JavaScript): lang is Java{
  return (lang as Java).helloJava !== undefined
}

function getLanguage(type: Type, x: sting | number){
  let lang = type = Type.Strong ? new java() : new JavaScript()

  // 方式一：
  if( lang instanceof Java){
    lang.helloJava()
  }else{
    lang.helloJavaScript()
  }

//  方式二：class里面添加属性
  if('java' in lang){
    lang.helloJava()
  }else{
    lang.helloJavaScript()
  }

  // 方式三：
  if(typeof x === 'string'){
    x.leng
  }else{
    x.toFixed(2)
  }

  //方式四： 创建一个类型保护函数判断对象类型
  if(isJava(lang)){
    lang.helloJava()
  }else{
    lang.helloJavaScript()
  }

  return lang
}

getLanguage(Type.Strong)