TypeScript是什么

TypeScript 是 JavaScript 的一个超集，支持 ECMAScript 6 标准（ES6 教程）。
TypeScript 由微软开发的自由和开源的编程语言。
TypeScript 设计目标是开发大型应用，它可以编译成纯 JavaScript，编译出来的 JavaScript 可以运行在任何浏览器上。

TypeScrtipe基础

基础数据类型

1. boolean、number、string
2. undefined、null
3. any、unknown、void
4. never
5. 数组类型[]
6. 元组类型 tuple

函数

• 定义: TS定义函数类型时要定义输入参数类型和输出类型
• 输入参数:参数支持可选参数和默认参数
• 输出参数:输出可以自动推断，没有返回值时，默认为void类型
• 函数重载:名称相同但参数不同，可以通过重载支持多种类型

interface（接口）

• 定义: 接口是为了定义对象类型
• 特点:
  • 只读属性: readonly
  • 可以描述函数类型
  • 可以描述自定义属性
• 总结:接口非常灵活duck typing

类

• 定义: 写法和JS差不多，增加了一些定义
• 特点:
  • 增加了 public、private、protected 修饰符
  • 抽象类
    • 只能被继承，不能被实例化
    • 作为基类，抽象方法必须被子类实现
  • interface约束类，使用implements关键字

TypeScript高级特性

1. 联合类型I

let num: number l string
num = 8
num = 'eight'

function getLength(arg: number | string): number 
{
    return arg.length // Property 'length' does not exist on type 'number'
}

3. 交叉类型&
4. 类型断言
5. 类型别名 (type VS interface)
   • 定义:给类型起个别名
   • 相同点:
     1. 都可以定义对象或函数
     2. 都允许继承
   • 差异点:
     1. interface是TS用来定义对象，type是用来定义别名方便使用
     2. type可以定义基本类型，interface不行
     3. interface可以合并重复声明，type不行

TypeScript泛型

1. 泛型的语法是里面写类型参数，一般用T表示
2. 使用时有两种方法指定类型
   • 定义要使用的类型
   • 通过TS类型推断，自动推导类型
3. 泛型的作用是临时占位，之后通过传来的类型进行推导

function print<T>(arg:T):T {
    console.log(arg)
    return arg
}
print<string>('hello')// 定义 T为 string
print('hello') // TS 类型推断，自动推导类型为 string

泛型工具

• typeof:获取类型
• keyof: 获取所有键
• in: 遍历枚举类型
• T[K]: 索引访问
• extends:泛型约束
• Partial:将类型属性变为可选
• Required:将类型属性变为必选
• Readonly:将类型属性变为只读

type Partial<T> = {
    [P in keyof T]-?: T[P]
};
    
type Required<T> = {
    [P in keyof T]-?: T[P]
};
    
type Readonly<T> = {
    [P in keyof T]-?: T[P]
};

课外链接

Awesome TypeScript(TypeScript开源教程及应用)
TypeScript: TS Playground - An online editor for exploring TypeScript and JavaScript (typescriptlang.org)