typescript编程指南

资料参考来源 O'reilly(Typescript编程Programming Typescript)BorisCherny著安道译

第一章导言

当我使用JavaScript语言时候，检查异常，往往要等到代码运行的时候，才能检查出代码问题所在，这使得我们需要花大量时间分析代码，找出问题。

而Typescript能帮助我们检查代码，指出一些问题。减少重构代码痛苦，省去一些测试时间。

这里的错误往往是类型推断相关的问题（JavaScript具有自动类型转换功能，这为我们带来了便捷，同时也带来了问题。假如我们计算的时候传入了一个错误的类型，JavaScript会自动为我们转换，而不会报错。）

这时Typescript的作用就凸显出来了。在输入代码的过程中，文本编辑器会给出错误消息，我们能在编写代码的时候，直接看到问题。

第二章 Typescript概述

接下来几章介绍Typescript语言，概述Typescript编译器（TSC）的原理,介绍开发中能用到的Typescript特性和模式。

2.1编译器

编译器原理

代码->解析成AST（AST是去掉了空白，注释和缩进的数据结构）->AST转换成字节码->运行

Typescript的特殊之处在于，他不直接编译成字节码，而是编译成JavaScript代码，然后在js解释环境中执行（浏览器，nodejs）

Typescript编译器生成AST之后，真正运行代码之前，Typescript会对代码做类型检查。

TS
1. Typescript源码->Typescript AST
2. 类型检查器检查AST
3. Typescript AST->JavaScript源码
JS
1. JavaScript源码->javascript AST
2. AST->字节码
3. 运行时计算字节码

1-3步由TSC(Typescript编译器)操作，4-6步由浏览器等运行时操作

TSC把Typescript编译成JavaScript时，不会考虑类型，这意味着，类型对程序生成的输出没有任何影响，类型只是在检查这一步使用。这表示可以随意改动，更新和改进程序中的类型，而无需担心会破坏应用的功能。

2.2类型系统

类型系统有两种：一种是通过显示句法告诉编译器所有值的类型，另一种自动推导值的类型。

2.3代码编辑器设置

我使用vscode，非常好的支持ts

新建ts项目

使用npm安装tsc和tslint，

mkdir chapter-2
cd chapter-2
npm init
pnpm install -D typescript tslint @types/node

第三章类型

类型：一些列值及可以对其执行的操作

例如：

boolean类型包含所有的布尔值，以及可以对布尔值执行的操作（例如||，&&和！）
number类型包含所有的数字，以及对数字可以执行的操作（±*/）以及可以在数字上调用的方法

Typescript所有类型

Unknown
- Any
  - Undefined
  - Void
  - Null
  - Any
    - Number
      - Number Enum
        
        Never
    - BigInt
      - Never
    - Boolean
      - Never
    - String
      - StringEnum
        
        Never
    - Symbol
      - UniqueSymbol
        
        Never
    - Object
      - Array
        
        Tuple
        
        Never
      - Function
        
        Never
      - Constructor
        
        Never

3.1类型术语

可赋值性，界限，约束

3.2类型浅谈

逐一介绍支持的类型

3.2.1 any

所有类型的父亲。不设置数据类型默认为any

3.2.2 unknown

不要使用any，而使用unknown，可以比较，=，||，&&，？，！

let a:unknown = 30
let b = a === 130
let c = a + 10 //'a' is of type 'unknown'
if(typeof a == "number"){
    // unknown需要证明
     let d = a +10 // number
 }
console.log(c);

3.2.3 boolean

true和false

let a = true
var b = false
const c = true
let d:boolean = true
// 类型字面量
let e:true = true
let f:true = false// Type 'false' is not assignable to type 'true'.

类型字面量

仅仅表示一个值的类型

3.2.4 number

包括所有数字，整数，浮点数，正数，负数，Infinity,NaN等

3.2.5 bigInt

javascript和Ts新引入的类型，处理较大的整数，不用担心舍入误差

3.2.6 string

包含所有字符串

3.2.7 symbol

JavaScript中一个比较新的类型，表示唯一

const e = Symbol("e")
const f:unique symbol = Symbol("f")

3.2.8 对象

ts对象类型表示对象的结构

通过对象类型无法区分不同的简单对象**{}或复杂的对象 new Obj**

这是一种设计选择，JavaScript一般采用结构化类型。

ts描述对象有好几种方式

第一种：

let a:object = {
    b:'x'
}
let a:object = {
    b:'x'
}
a.b // Property 'b' does not exist on type 'object'.

object仅比any的范围窄了一些，差不了多少。object只能表示这是一个对象（而不是null）

第二种:

let a = {
    b:'x'
}
a.b

let b:{c:number} = {
    c:12
}

告诉ts某个属性是可选的

let a:{
    b:number,
    c?:string,
    [key:number]:boolean
}

索引签名

[key:T]:U用这种方式，告诉ts指定的对象可能有更多的键。

只读属性

let isOk:{
    readonly firstName:string
} = {
    firstName:"red"
}

3.2.9 类型别名，并集，交集

//类型别名
type Age = number
type Person = {
    name:string,
    age:Age
}
let driver:Person = {
    name:"red",
    age:23
}

type Cat = {
    name: string
    purrs: boolean
}
type Dog = {
    name: string
    barks: boolean
    wags: boolean
}
type CatOrDogOrBoth = Cat | Dog
type CatAndDog = Cat & Dog
// 并集 abc
// cat
let a:CatOrDogOrBoth = {
    name:"ddd",
    purrs:true
}
// dog
let b:CatOrDogOrBoth = {
    name:'bbb',
    barks:true,
    wags:true
}
// both
let c:CatOrDogOrBoth = {
    name:'cc',
    barks:true,
    purrs:true,
    wags:true
}

// 交集 d
let d:CatAndDog = {
    name:'ddd',
    purrs:true,
    barks:true,
    wags:true
}

type red = string
type run = number

let test:red|run = 12
let test1:red&run = [];// 永远不满足never

3.2.10 数组

let a = [1,2,3]
var b = ['a','b']
let c:string[] = ['a']
let d = [1,'a']
const e = [2,'b']

3.2.11 元组

元组是array的子类型

let a:[number] = [1]
let b:[string,string,number]= ['a','b',1]
let c:[string,string?][] = [
    ["s"],
    ["s","s"]
]
// 剩余参数
// let a:[string,...number[]] = ["ss",1,2,3]
// 只读
let a:readonly number[] = [1,23,3]
let b:readonly [number,string] = [1,"s"]

3.2.12 null,undefined,void,never

null缺少值，undefined未定义

void没有返回值

never根本不返回

3.2.13 枚举

// 不安全
enum Language {
     English=0,
     Chinese=1
 }
// 相对安全,t通过数组下表，获取没有的值会报错
const enum Language{
     English,Chinese,Spanish
}

typescript前三章编译器，类型系统，类型