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

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
}