TS入门

138 阅读10分钟

ts和js区别

  1. js属于动态编程语言,而ts属于静态编程语言
  2. js:边解释边执行,错误只有在运行的时候擦磁能发现
  3. ts:先编译在执行,在资额的时候就会发现错误(ts不能直接执行,需要先编译成js)
  4. ts完全支持js,可以直接转换

下载一个全局的包

npm i -g typescript

tsc -v查看是否下载成功

当cmd输入指令出现版本号,就说明下载成功了

什么是类型注释

就是给变量添加类型约束(可以显示标记出代码中的意外行为,从而降低可能发生错误的可能性)

语法: let 变量名:类型 = 初始值 let age: number = 18

这样写的好处就是更好的规定了数据的类型,避免不必要的错误。

image.png

注释:这里的代码错误提示,是下载了一个插件才有效的,插件名字如下:

image.png

ts的类型

  • ts的常用基础类型分为两种:

1.js已有类型

  • 原始类型:number/string/boolean/null/undefined/symbol
  • 对象类型:object(包括:数组,对象,函数等)

2.ts新增类型

  • 联合类型
  • 自定义类型(类型别名)
  • 接口
  • 元祖
  • 字面量类型
  • 枚举
  • void
  • any

原始类型:number/string/boolean/null/undefiend/symbol语法比较简单,基本和js差别不大

// 数值类型
let age: number = 18

// 字符串类型
let myName: string = '小花'

// 布尔类型
let isLoading: boolean = false

// undefined
let un: undefined = undefined

// null
let timer:null = null

// symbol
let uniKey:symbol = Symbol()

  • 类型推论在ts中,某些没有明确指定类型的情况下,ts的类型推论机制会自动提供类型。好处:由于类型推论的存在,有些情况下的类型注释可以不写。如下两种场景:
    • 声明变量并初始化时 image.png

    • 决定函数返回值时 image.png 已知函数的两个参数都是number类型,name该函数的返回类型也是number类型。

联合类型

需求:如何定义一个变量可以是null也可以是number类型?

let 变量: 类型1 | 类型2 | 类型3 .... = 初始值
let arr1 :number | string = 1 // 可以写两个类型

注意: 这里的 | 竖线,在 TS 中叫做联合类型,即:由两个或多个其他类型组成的类型,表示可以是这些类型中的任意一种。不要和 js 中的 || 搞混哦。 应用场景: 定时器id

类型别名

在我们定义的时候,有时候自己定义的类型名往往很长,这时候就需要在定义个别名,方便书写。语法如下:

type 别名 = 类型

type s = string // 定义

const str1:s = 'abc'
const str2:string = 'abc'
  • 作用

    • 给类型起别名
    • 定义了新的类型
  • 使用场景:给复杂的类型起别名

 type NewType = string | number

 let a: NewType = 1
 let b: NewType = '1'

image.png

注意:别名可以是任意合法的字符串,一般首字母大写。

数组类型

语法:

// 写法1:
let 变量: 类型[] = [值1,...]:
let numbers: number[] = [1, 3, 5] 
//  numbers必须是数组,每个元素都必须是数字
// 写法2:
let 变量: Array<类型> = [值1,...]
let strings: Array<string> = ['a', 'b', 'c'] 
//  strings必须是数组,每个元素都必须是字符串

函数

语法:

// 普通函数
function 函数名(形参1: 类型=默认值, 形参2:类型=默认值,...): 返回值类型 { }
// 声明式实际写法:
function add(num1: number, num2: number): number {
  return num1 + num2
}

// 箭头函数
const 函数名(形参1: 类型=默认值, 形参2:类型=默认值, ...):返回值类型 => { }
const add2 = (a: number =100, b: number = 100): number =>{
   return a + b
 }
 // 注意: 箭头函数的返回值类型要写在参数小括号的后面
add(1,'1') // 报错

统一定义函数格式

当函数的类型一致时,写多个就会显得代码冗余,所以要统一定义函数的格式,如下所示:

const add2 = (a: number =100, b: number = 100): number => {
    return a + b
  }

function add1 (a:number = 100 , b: number = 200): number {
    return a + b
  }
// 这里的 add1 和 add2 的参数类型和返回值一致,
// 那么就可以统一定义一个函数类型
type Fn = (n1:number,n2:number) => number 
const add3 : Fn = (a,b)=>{return a+b }
// 这样书写起来就简单多啦

函数返回值类型void

在ts中,如果一个函数没哟返回值应该使用 void 类型

function greet(name: string): void {  console.log('Hello', name)  //}
  • 可以用到 void 有以下几种情况
    • 函数没写ruturn
    • 只写了return没写返回值
    • return的是undefiend
// 如果什么都不写,此时,add 函数的返回值类型为: void
const add = () => {}

// 如果return之后什么都不写,此时,add 函数的返回值类型为: void
const add = () => { return }

const add = (): void => {
  // 此处,返回的 undefined 是 JS 中的一个值
  return undefined
}
// 这种写法是明确指定函数返回值类型为 void,与上面不指定返回值类型相同
const add = (): void => {}
  • 那么就有人好奇,既然return undefined,那么为什么不可以直接在返回值那里写 :undefined 呢? 如果函数没有指定返回值,调用结束之后,值是undefined的,但是不能直接声明返回值是undefined
function add(a:number, b:number): undefined { // 这里会报错
  console.log(a,b)
}

函数-可选参数

  • 使用函数某个功能时,形参可以传也可以不传
    • 例如:数组的 slice 方法,可以 slice() 也可以 slice(1) 还可以 slice(1, 3) 那么就可以定义可选参数 语法:
可选参数:在可选参数名的后面添加 ?(问号)
function slice (a?: number, b?: number) {
    // ? 跟在参数名字的后面,表示可选的参数
    // 注意:可选参数只能在 必须参数的后面
    // 如果可选参数在必选参数的前面,会报错
    console.log(111);
    
  }
  slice()
  slice(1)
  slice(1,2)
}

可选和默认值的区别

  • 相同点:调用函数时,可以少传函数
  • 区别:设置了默认值之后,就是可选的了,不写就会使用默认值;可选的参数一定有值。
  • 注意:他们不能一起使用,优先使用默认值

对象类型-单独使用

-格式:方法有两种写法:普通函数 和 箭头函数

const 对象名: {
  属性名1:类型1,
  属性名2?:类型2,
  方法名1(形参1: 类型1,形参2: 类型2): 返回值类型,
  方法名2:(形参1: 类型1,形参2: 类型2) => 返回值类型
} = { 属性名1: 值1,属性名2:值2  }

对象类型-类型别名

// 创建类型别名
type Person = {
  name: stringage: number
  sayHi(): void
}

// 使用类型别名作为对象的类型:
let person: Person = {
  name: '小花',
  age: 18
  sayHi() {}
}

接口

当一个对象类型被多次使用时,有如下两种方式来来描述对象的类型,以达到复用的目的:

  1. 类型别名,type
  2. 接口,interface
interface 接口名  {属性1: 类型1, 属性2: 类型2}
// 这里用 interface 关键字来声明接口
interface IGoodItem  {
	// 接口名称(比如,此处的 IPerson),可以是任意合法的变量名称,推荐以 `I` 开头
   name: string, price: number, func: ()=>string
}

// 声明接口后,直接使用接口名称作为变量的类型
const good1: IGoodItem = {
   name: '手表',
   price: 200,
   func: function() {
       return '看时间'
   }
}
const good2: IGoodItem = {
    name: '手机',
    price: 2000,
    func: function() {
        return '打电话'
    }
}
  • 接口和类型的区别:

    • 相同点:都可以给对象指定类型
    • 不同点:
      • 接口:只能为对象指定类型。(可以继承)
      • 类型别名:不仅可以为对象指定类型,实际上可以为任意类型指定别名
  • 先有的 interface 后右的 type, 推荐使用type

// 接口的写法-------------
interface IPerson {
	name: string,
	age: number
}

const user1:IPerson = {
	name: 'a',
	age: 20
}

// type的写法-------------
type Person  = {
	name: string,
	age: number
}
const user2:Person = {
	name: 'b',
	age: 20
}

接口继承

  • 如果两个接口之间有相同的属性或方法,可以将公共的属性或方法抽离出来,通过继承来实现复用。语法:
interface 接口2 extends 接口1 {
 属性1: 类型1// 接口2中特有的类型 
 }

interface a { x: number; y: number }
// 继承 a
// 使用 extends(继承)关键字实现了接口
interface b extends a {
  z: number
}
// 继承后,b 就有了 a 的所有属性和方法(此时,b 同时有 x、y、z 三个属性)

元组

  • 元组是一种特殊的数组,有两点特殊之处:
    • 它约定了元素的个数
    • 它约定了特定索引对应的数据类型
function useState(n: number): [number, (number)=>void] {
        const setN = (n1) => {
            n = n1
        }
        return [n, setN]
    }

const [num ,setNum] = useState(10)

字面量类型

let str1 = 'hello TS'
const str2 = 'hello TS'

大家可以猜一下,str1 是什么类型的,str2 是什么类型?不要偷偷看答案哦。

这里是正确答案: str1 的类型为 string 类型,str2 的类型为 Hello TS类型

image.png

  • 原因是:
    • str1 是一个变量(let),它的值可以是任意字符串,所以类型为:string
    • str2是一个常量(const),它的值不能变化,只能是‘hello TS’,所以,特殊的类型为:‘hello TS’
  • 注意:此处的 'Hello TS',就是一个字面量类型,也就是说某个特定的字符串也可以作为 TS 中的类型

这时候就有人好奇了,那字面量类型有啥作用呢? 字面量类型一般是配合联合类型一起使用的, 用来表示一组明确的可选值列表。 例如下面的例子:

type Gender = 'girl' | 'boy'
// 声明一个类型,他的值 是 'girl' 或者是 'boy'
let g1: Gender = 'girl' // 正确
let g2: Gender = 'boy' // 正确
let g3: Gender = 'man' // 错误

可以看到会有提示,明确告诉你只能选这两种。妈妈再也不用担心写错啦

image.png

枚举

  • 枚举(enum)的功能类似于字面量类型+联合类型组合的功能,来描述一个值,该值只能是 一组命名常量 中的一个。 在没有 type 的时候,大家都是用枚举比较多的,现在比较少了。 语法:
enum 枚举名 { 可取值1, 可取值2,.. }

// 使用格式:
枚举名.可取值

image.png

  • 注意:
  1. 一般枚举名称以大写字母开头
  2. 枚举中的多个值之间通过 ,(逗号)分隔
  3. 定义好枚举后,直接使用枚举名称作为类型注解
  • 枚举也分数值枚举 和 字符串枚举。 数值枚举: 默认情况下,枚举的值是数值。默认为:从 0 开始自增的数值 当然,也可以给枚举中的成员初始化值
enum Direction { Up = 10, Down, Left, Right }
// Down -> 11Left -> 12Right -> 13

enum Direction { Up = 2, Down = 3, Left = 8, Right = 16 }
  • 字符串枚举
enum Direction {
  Up = 'UP',
  Down = 'DOWN',
  Left = 'LEFT',
  Right = 'RIGHT'
}
  • 注意:字符串枚举没有自增长行为,因此,字符串枚举的每个成员必须有初始值

any类型

  • any:任意的。当类型设置为any时,就取消了类型的限制。例如:
let obj: any = { x: 0 }

obj.bar = 100
obj()
// obj 可以是任意类型
const n: number = obj
使用any的场景
  • 函数就是不挑类型。例如:console.log();定义一个函数,输入任意类型的数据,返回该类型函数
  • 临时使用 any来避免书写很长,很复杂的类型

还有一种隐式any,下面两种情况会触发

  • 的恒明变量不提供类型也不提供默认值
  • 定义函数时,参数不给类型

注意:不推荐使用any!这会让typescript变为anyscript,失去ts类型的保护优势。