TypeScript：初识ts、ts的数据类型、一些语法细节、函数中的类型、泛型

一、初识TypeScript

JavaScript的痛点：
优秀的JavaScript没有缺点吗？
其实上由于各种历史因素，JavaScript语言本身存在很多的缺点；
比如ES5以及之前的使用的var关键字关于作用域的问题；
比如最初JavaScript设计的数组类型并不是连续的内存空间；
比如直到今天JavaScript也没有加入类型检测这一机制。
类型错误，如：
这个错误很大的原因就是因为JavaScript没有对我们传入的参数进行任何的限制，只能等到运行期间才发现这个错误；
并且当这个错误产生时，会影响后续代码的继续执行，也就是整个项目都因为一个小小的错误而深入崩溃。

TypeScript是拥有类型的JavaScript超集，它可以编译成普通、干净、完整的JavaScript代码。
我们可以将TypeScript理解成加强版的JavaScript。 JavaScript所拥有的特性，TypeScript全部都是支持的，并且它紧随ECMAScript的标准，所以ES6、ES7、ES8等新语法标准，它都是支持的；
并且在语言层面上，不仅仅增加了类型约束，而且包括一些语法的扩展，比如枚举类型（Enum）、元组类型（Tuple）等；
TypeScript在实现新特性的同时，总是保持和ES标准的同步甚至是领先；
并且TypeScript最终会被编译成JavaScript代码，所以你并不需要担心它的兼容性问题，在编译时也不需要借助于Babel这样的工具；
所以，我们可以把TypeScript理解成更加强大的JavaScript，不仅让JavaScript更加安全，而且给它带来了诸多好用的好用特性。

1.TS是干嘛的

typescript最主要的作用：类型校验

function getLength(str: string | any[]) {
  return str.length
}
getLength('sda')
getLength([1123, false, 'sadsda'])
getLength(123) //飘红

2.安装及运行ts文件

ts的安装：

//安装命令：
npm install typescript -g
//查看版本：
tsc --version

运行环境ts-node安装：

//安装ts-node：
npm install ts-node -g
npm install tslib @types/node -g

控制台运行ts文件：

ts-node demo.ts

3.变量的声明

声明了类型后TypeScript就会进行类型检测，声明的类型可以称之为类型注解；

var/let/const 标识符: 数据类型 = 赋值;

例如声明一个message，类型规定必须是string类型

let message:string = 'hello typescript'

如果我们给message赋值其他类型的值，那么就会报错

4.变量的类型推断

默认情况想进行赋值时，会将赋值的值的类型，作为前面标识符的类型

let age = 18
// age = 'zqq'  报错
console.log(age)

const height = 1.88  //类型是字面量1.88
console.log(height)

这里要注意，使用let声明的变量，推断的就是通用类型
使用const声明的变量，推断出来的是字面量类型

5.TS中的JS的类型声明

在ts中，声明js中的类型怎么写呢？

对于number、string、boolean、null、undefined就直接写
对于数组和对象，要指定每一个具体的类型是什么

const names1: Array<string> = [] // 不推荐(react jsx 中有冲突) <div></div>
const names1: string[] = [] // 推荐
// 在数组中存放不同的类型是不好的习惯
// names2.push('abc')  //正确
// names2.push(123) // 报错

const user: {
  name: string,
  age: number,
} = {
  name: 'zqq',
  age: 18,
}

二、TypeScript的数据类型

1.any类型

在某些情况下，我们确实无法确定一个变量的类型，并且可能它会发生一些变化，这个时候我们可以使用any类型。（其实就相当于是回到了普通js）

let msg: any = 'Hello World'
msg = 123
msg = true
msg = {}
console.log(msg)

2.unknow类型

和any类似，不同的是，unknown类型的值上做任何操作都是不合法的

let foo: unknown = 'aaa'
foo = 123
console.log(foo.length) //报错

如果要做相应的操作，必须要先进行类型的校验：

let foo: unknown = 'aaa'
foo = 123
foo = 'bbb'
// console.log(foo.length) //报错
if(typeof foo === 'string') {
  console.log(foo.length) //3
}

3.void类型

void通常用来指定一个函数是没有返回值的，那么它的返回值就是void类型，通常用() => void来指定一个属性是函数类型，比如：

interface Person {
	name: string,
	coding: () => void
}

1.如果不写void，那么返回什么都不会报错（会有类型的推导的）

function add(num1: number, num2: number) {
  console.log(num1 + num2)
  return '嗷嗷嗷'  
}
let result = add(20,30)
console.log(result)  //嗷嗷嗷

2.如果写了void，那么返回值不是undefined，就会报错

function add(num1: number, num2: number): void {
  console.log(num1 + num2)
  return '嗷嗷嗷'  //报错
}
let result = add(20,30)
console.log(result)

3.写void，那么返回undefined是合法的

function add(num1: number, num2: number): void {
  console.log(num1 + num2)
  return undefined
}
let result = add(20,30)
console.log(result)

4.never类型（了解）

这个类型用的比较少，了解即可

never 表示永远不会发生值的类型，比如一个函数：
如果一个函数中是一个死循环或者抛出一个异常，那么这个函数会返回东西吗？

function foo(): never {
	// 死循环
	while (true) {}
}

function bar(): never {
  throw new Error()
}

不会，那么写void类型或者其他类型作为返回值类型都不合适，我们就可以使用never类型；

5.tuple类型（了解）

元组中每个元素都有自己特性的类型，根据索引值获取到的值可以确定对应的类型

let arr1: any[] = ['zzy', 18, true]
let age = arr1[1]  //age的类型是any

let arr2: [string, number, boolean] = ['zzy', 18, true]
let flag = arr2[2] //flag的类型是boolean

比如我们模拟一下react中的useState，明确返回值的类型，可以用到元组。这样可以保证返回的数组中第一个是number，第二个是函数

//模拟react中的useState
function useState(initialValue: number): [number, (newValue: number) => void] {
  let stateValue = initialValue
  let setValue = (newValue: number) => {
    stateValue = newValue
    //实现响应式的代码……
  }
  return [stateValue, setValue]
}

这样可以避免一些奇怪的问题，比如下面如果不声明返回值的类型，那么count当函数用不会报错，这样是不准确的，因为count是一个number类型

function useState(initialValue) {
  let stateValue = initialValue
  let setValue = (newValue: number) => {
    stateValue = newValue
    //实现响应式的代码……
  }
  return [stateValue, setValue]
}
let [count, setCount] = useState(10)
count(123)

三、TypeScript的语法细节

1.可选类型

可以指定某个对象中某个属性是否是可选的（可以不传），语法就是加个问号?

function printPoint(point: { x: number; y: number; z?: number }) {
  console.log(point.x)
  console.log(point.y)
  console.log(point.z)
}
// printPoint({ x: 123}) // 报错，因为y是必传的但没传
printPoint({ x: 123, y: 321 }) // 123 321 undefined
printPoint({ x: 123, y: 321, z: 111 }) // // 123 321 111

2.联合类型

联合类型意思就是可以指定多个类型，表示可以是这些类型中任何一个值：

function printID(id: number | string | boolean) {
  ......
}

如果我们要做一些操作比如说读取length，那么就需要对传进来的参数进行类型缩小，不然你怎么知道传进来的是string还是number还是boolean？

function printID(id: number | string) {
  if (typeof id === 'string') {
    // TypeScript 帮助确定 id 一定是 string 类型
    console.log(id.length)
  } else {
    console.log(id)
  }
}
printID(123)
printID('abc')

by the way，其实可选类型本质上可以理解为加上个联合类型undefined，但是不同是可选类型是可以不传参数的，但是下面这个必须要传参，哪怕传的是undefined

function foo(message?: string) {console.log(message)}
function foo(message: string | undefined) {console.log(message)}

3.类型的别名

使用type关键字（或interface）来定义类型的别名

type IDtype = string | number
function getId(id: IDtype) {
  console.log(id)
}

type pointType = { x: number; y: number; z?: number }
function printPoint(point: pointType) {
  console.log(point.x)
  console.log(point.y)
  console.log(point.z)
}

4.type和interface的区别

1、type类型使用范围更广，interface只能用来声明对象

type IDtype = string | number
type pointType = { x: number; y: number; z?: number }
interface pointType { x: number; y: number; z?: number }

2、在声明对象时，interface可以追加声明

interface pointType { x: number; y: number }
interface pointType { z: number }

3、interface支持继承，和追加声明效果是一样的

interface IPerson { name: string; age: number }
interface IDantin extends Iperson { habit: string }
const person1: IDantin = {name: 'dantin', age: 18, habit: 'rap'}

5.交叉类型

联合类型表示多个类型中一个即可，交叉类似表示需要满足多个类型的条件；交叉类型使用 & 符号；

interface Person {
	name: string
}
interface Behavior {
	eat: () => void
}
const me1: Person ｜ Behavior = {
	name: 'zqq',
}
const me2: Person & Behavior = {
	name: 'zqq',
	eat: () => { console.log('吃') }
}

当然上面这些是可以起别名的噢：type IPerson = Person & Behavior

6.类型断言as

有时候TypeScript无法获取具体的类型信息，这个我们需要使用类型断言

//document.getElementById('why')的类型：HTMLImageElement | null
const img = document.getElementById('why') as HTMLImageElement
//这样就不需要类型缩小了
img.src = 'url地址'

当然，这么搞是不行的：

const name: string = 'zqq'
const num:number = name as number

但是这么搞却是可以的（不推荐）：

const name:string = 'zqq'
const num:number = name as any as number

7.类型缩小

typeof、instanceof、in、switch-case等

四、函数类型

1.函数调用签名

正常情况下，我们定义一个函数的类型是这样的

//函数调用签名
type BarType = (num: number) => string

const bar: BarType = (num1: number): string => {
  return 'zqq'
}
bar(18)

但是，如果我们要描述一个东西可以作为对象被调用，也可以拥有其他属性，就要这样写：

//1.用函数表达式声明类型
//type BarType = (num: number) => string
//2.用函数调用签名
interface IBar {
  name: string
  age: number
  (num: number): string  //函数调用签名，用冒号
}
const bar: IBar = (num1: number): string => {
  return 'zqq'
}
bar.name = 'zqq'
bar.age = 18
bar(18)

2.参数的可选类型

我们可以指定某个参数不是必传的，可选类型必须写在必传类型的后面

// 可选类型必须写在必须按类型的后面的
// y -> undefined | number
function foo(x: number, y?: number) {
  console.log(x, y)
}
foo(20, 30)
foo(20)

这里y的类型是一个联合类型：number | undefined，也就是说不传的话就是undefined

3.默认参数

// 必传参数 -> 有默认值的参数 -> 可选参数
function foo(x: number, y: number = 100) {
  console.log(x, y)
}
foo(20) // 20 100，第二个参数也可以不传，也算个可选参数吧
foo(20, undefined) //这样其实也是对的

4.其他

五、泛型

参考: ts完整版学习笔记