阅读 8810

TypeScript 它不香吗?还不快来!

文章以下面的顺序讲解:

  • 变量类型
  • 函数
  • 接口
  • 泛型
  • 命名空间
  • 联合类型
  • 类型断言

在开始之前我们先装环境:

npm i typescript -g //全局安装typescript

npm init -y //进入文件夹,初始化项目,生成package.json文件

tsc --init //创建tsconfig.json文件

npm i @types/node -S //这个主要是解决模块的声明文件问题
复制代码

环境到此安装结束。

一 变量类型

1.number 类型

let num1 : number = 20;
let num2 : number = 175.5;
let a1 : number = Infinity; //正无穷大
let a2 : number = -Infinity; //负无穷小
let a3 : number = NaN;
复制代码

注意:Infinity, -Infinity, NaN 也属于Number类型

2. undefined 类型

let un : undefined = undefined;
复制代码

注意:

undefined 类型的数据只能被赋值为 undefined

在 typescript中,已声明未初始化的值要直接访问的话,类型需要定义为undefined

3. null 类型

let nu : null = null;
复制代码

注意:

null 类型只能被被赋值为null

null是一个空指针对象,undefined是未初始化的变量,所以,可以把undefined看成一个空变量,把unll看成一个空对象。

特别注意:

默认情况下,undefined 和 null 类型,是所有其它类型的子类型,也可以说成,它俩可以给所有其他类型赋值。

4. string 类型

//值类型
let str : string = '你好!'
//引用类型
let str1 : String = new String('你好!')
复制代码

5. boolean 类型

let boo : boolean = true;
let boo1 : boolean = false
复制代码

6. symbol 类型

let sy : symbol = Symbol('bar');
复制代码

注意: symbol类型的值是通过Symbol构造函数创建的。

7. 数组类型

//字面量
let arr1 : number[] = [1, 2]

//泛型---->相当于数组中每个元素的类型
let arr2 : Array<string> = ['a', 's']

//构造函数
let arr3 : string[] = new Array('a', 's')

//联合类型-->这里的联合类型的意思是,数组中元素的类型可以是number 或 string,两种都有也可以
let arr4 : Array<number | string> = [2, 'a']
复制代码

8.元组类型(tuple)

let tup : [string,number] = ['asdasd', 43233];
复制代码

注意:

元组和数组看起来有点类似,但是,是有区别的

元组的长度是有限的,而且分别为每一个元素定义了类型

9. 枚举类型(enum)

enum--->组织收集一组相关变量的方式。

数字枚举

enum REN {
    // nan = 1 ----->初始化下标
    nan,
    nv,
    yao
}
console.log(REN.nan)//0
console.log(REN.nv)//1
console.log(REN.yao)//2
//使用数字枚举时,TS 会为枚举成员生成反向映射
console.log(REN[2])// yao
复制代码

注意:

数字的枚举---->下标从0开始,也可以自行设置枚举成员的初始值,它们会依次递增

字符串枚举

enum SIJI {
    chun = '春',
    xia = '夏',
    qiu = '秋',
    dong = '冬'
}

console.log(SIJI.chun)//春
console.log(SIJI.xia)//夏
console.log(SIJI.qiu)//秋
console.log(SIJI.dong)//冬
复制代码

注意:

字符串枚举类型允许使用字符串来初始化枚举成员,可以是一个字符串字面量或者另一个字符串的枚举成员

字符串枚举类型不支持成员自增长,每个成员必须初始化,另外字符串枚举不会为成员生成发向映射

10. void 类型

void 类型--->表示没有任何返回值,一般用于定义方法时方法没有返回值

function f1() : void {
    console.log('void类型')
}
复制代码

注意:

这里你也可以指定返回值类型为 undefined。因为 JS 中,如果函数没有返回值,则会默认返回 undefind。不过,使用 void 类型可以使表意更清晰。

11. any 类型

注意: 其他类型都是any类型的子类型 ,any类型的值可以被赋值为任何类型的值

let an : any = 'any 类型';
console.log(an)//any 类型
an = 25;
console.log(an)//25
复制代码

注意:对于any 需要注意两点

如果在声明变量时,没有声明其类型,也没有初始化,(因为类型推断会自动判断类型),那么它就会被判断为any类型

let an1;
an1 = '没有声明其类型,也没有初始化';
console.log(an1)//没有声明其类型,也没有初始化
an1 = 25
console.log(an1)//25
复制代码

在any类型变量上可以访问任何属性,即使它不存在

let something: any = 42
something.mayExist()    // 没问题,因为其可能在运行时存在
something.toFixed() // 没问题,虽然确实存在,但是编译器并不会去检查
复制代码

12. never 类型

注意:

never 表示永远不会存在的值的类型, never 是任何类型的子类型,但是 没有任何类型是never的子类型或可以赋值给never类型(除了never本身之外)。 即使 any也不可以赋值给never。

never 类型常用于两种情况

用于描述从不会有返回值的函数---》返回never的函数必须存在无法达到的终点

function f5() : never {
    while (true) {
         // do something
     }
 }
复制代码

用于描述总抛出错误的函数

function f2(msg : string) : never {
    throw new Error(msg)
}
复制代码

13. 日期类型

let da : Date = new Date()
console.log(da)
复制代码

14. 正则表达式类型

//构造函数声明法
let reg1 : RegExp = new RegExp('ljy','gi')
console.log(reg1)

//字面量的声明法
let reg2 : RegExp = /ljy/gi
console.log(reg2)
复制代码

二 函数

1. 函数定义

定义函数有函数声明和函数表达式两种形式。定义函数的参数和返回值可以指定其类型;当调用函数时,传入参数类型必须与定义函数参数类型保持一致。

函数声明定义

//            参数类型    返回值类型
function f(age:number) : string {
    return `找到了 ${age}的小哥哥`;
}

let age : number = 22;
let res : string = f(age);
console.log(res)
复制代码

函数表达式定义

let f1 = (age:number) : string => {
    return `找到了 ${age}的小哥哥`;
}
let age1 :number = 21;
let res1 : string = f1(age1);
console.log(res1)
复制代码

注意:表达式定义完以后,必须调用函数

函数表达式还有一种写法: 函数表达式:指定变量fn的类型

注意不要混淆了 TypeScript 中的 => 和 ES6 中的 =>

在 TypeScript 的类型定义中,=> 用来表示函数的定义,左边是输入类型,需要用括号括起来,右边是输出类型。

// let fn: (x: Type, y: Type) => Type = (x, y) => {}

//例子
var run3: (x: number, y: number) => string = function(x: number, y: number): string{
    return 'run3';
}
console.log(run3(1, 2))


//当给变量run3指定类型的时候,应该是函数的参数和返回值的约束类型。如果用后面学到的ts类型推论,可以简写为:

var run4: (x: number, y: number) => string = function(x, y){
// 类型推论可以确定函数的参数和返回值类型,也就可以省略类型指定
    return 'run4';
}
console.log(run4(1, 2))
复制代码

2. 函数没有返回值可以使用 void 类型值定返回值

function  f3() : void {
    console.log('没有返回值')
}
f3()
复制代码

3. 可选参数的函数

注意:可选参数一定要放在参数的最后面

function f4(age:number, cm?:number) : string {
    //cm为可选参数,可传可不传
    if (cm) {
        return `可选参数------身高为 ${cm}厘米`;
    } else {
        return `可选参数-----年龄 ${age}岁`
    }
}
console.log(f4(12))
console.log(f4(24, 175))
复制代码

4. 有默认值参数的函数

注意:ts 会将添加了默认值的参数识别为可选参数,有默认值的参数的位置不受【可选参数必须放在后面】的限制

function f5(age:number, cm:number = 188) : string {
    return `默认参数----年龄为 ${age}岁---身高为 ${cm}cm`
}
console.log(f5(25))
复制代码

5. 剩余参数的函数

//当有很多参数的时候,或者参数个数不确定,可以用三点运算符
function f6(...rest:number[]) : number[] {
    return [...rest];
}
console.log(f6(1,2,3,4,5,6,7,8,9))

function f7(a:number, b:number, ...rest:number[]) : number[] {
    return [a, b, ...rest]
}

console.log(f7(100,200,1,2,3,4,5,6))
复制代码

6. 接口中的函数

第一种写法

interface int1 {
    say (age:number) : void  //抽象方法
}
复制代码

第二种写法

interface int2 {
    say : (age:number) => void  //抽象方法
}
复制代码

7.函数的重载

注意:

先声明所有方法重载的定义,不包含方法的实现

再声明一个参数为any类型的重载方法

实现any类型的方法并通过参数类型(和返回类型)不同来实现重载

typescript中的重载:通过为同一个函数提供多个函数类型定义来实现多种功能的目的

TypeScript 会优先从最前面的函数定义开始匹配,所以多个函数定义如果有包含关系,需要优先把精确的定义写在前面。

function f1(x: number, y: number): number;
function f1(x: string, y: string): string;

// 上面定义函数的格式,下面定义函数的具体实现
function f1(x: any, y: any): any {
    return x + y;
}

f1(1, 2);
f1('a', 'b');
复制代码

三 类

1. 访问修饰符

public:公共修饰符

注意:

表示属性或方法都是公有的,在类的内部,子类的内部,类的实例都能被访问,默认情况下,为public

class People {
    public name : string
     constructor (name:string) { //构造函数必须写
        this.name = name
    }
    public say () :void {
        console.log('你好')
    }
}
复制代码

private 私有修饰符

注意:

表示在当前类中可以访问,子类,外部类不可以访问

class People {
    private name : string
     constructor (name:string) { //构造函数必须写
        this.name = name
    }
    private say () :void {
        console.log('你好')
    }
}
复制代码

protected 保护类型

注意:

表示在当前类中和子类中可以访问,外部类不可以访问

class People {
    protected name : string
     constructor (name:string) { //构造函数必须写
        this.name = name
    }
    protected say () :void {
        console.log('你好')
    }
}
复制代码

注意:

TypeScript 只做编译时检查,当你试图在类外部访问被 private 或者 protected 修饰的属性或方法时,TS 会报错,但是它并不能阻止你访问这些属性或方法。

readonly 只读修饰符

注意:

表示某个属性是只读的,不能被修改

class People {
    readonly name : string
     constructor (name:string) { //构造函数必须写
        this.name = name
    }
}
复制代码

2. 声明类

class People {
    name : string //默认为public
    age : number
    constructor (name:string, age:number) { //构造函数必须写
        this.name = name
        this.age = age
    }
    say () :void {
        console.log('你好')
    }
}

const HH : People = new People('含含', 21)
console.log(HH.name)
console.log(HH.age)
HH.say()
复制代码

3. 类的继承

class Student extends People {
     cm : number
    constructor (name:string, age:number, cm:number) {
        super(name, age) //super 继承父类的构造函数,并向构造函数传参,super必须写在第一行
        this.cm = cm
    }
    work () : void {
        console.log('学习')
    }
}

const  stu1 : Student = new Student('liu', 22, 175)
console.log(stu1.name)
console.log(stu1.age)
console.log(stu1.cm)
stu1.say()
stu1.work()
复制代码

4. 静态属性和静态方法

注意:

静态方法和静态属性必须使用类名调用

静态属性和静态方法在实例化之前就已经存在

class People {
    static name1 : string = '静态属性';
    static say () :void {
        console.log('静态方法')
    }
}
console.log(People.name1)
People.say()
复制代码

注意:

静态方法调用不了实例化方法和实例化属性,因为静态域加载是在解析阶段,而实例化是在初始化阶段,(java原理),所以静态方法里面不能调用本类的方法和属性,可以调用静态属性和静态方法

5. 多态

多态---->重写方法

父类定义一个方法不去实现,让继承它的子类去实现,每个子类的该方法有不同的表现

class Animal {
    name : string
    constructor (name:string) {
        this.name = name
    }
    eat () : void {
        //让它的子类去实现不同的eat方法
    }
}

class Laohu extends Animal {
    constructor (name:string) {
        super(name)
    }
    eat () : void {
        console.log(`${this.name}吃肉!`)
    }
}

class Laoshu extends Animal {
    constructor (name:string) {
        super(name)
    }
    eat () : void {
        console.log(`${this.name}吃粮食!`)
    }
}
const laohu : Laohu = new Laohu('老虎')
laohu.eat()
const  laoshu : Laoshu = new Laoshu('老鼠')
laoshu.eat()
复制代码

6. 类和接口

注意:

类可以实现(implement)接口。通过接口,你可以强制地指明类遵守某个契约。你可以在接口中声明一个方法,然后要求类去具体实现它。

接口不可以被实例化,实现接口必须重写接口中的抽象方法

interface Play {
    plays (difang:string) : void;
}

class Playy implements Play {
    plays(difang: string): void {
        console.log(`我们要去 ${difang}玩!!!`)
    }
}

const pl : Playy = new Playy();
pl.plays('北京')
复制代码

注意:类和接口的区别

类可以实现(implement)多个接口,但只能扩展(extends)自一个抽象类。

抽象类中可以包含具体实现,接口不能。

抽象类在运行时是可见的,可以通过 instanceof判断。接口则只在编译时起作用。

接口只能描述类的公共(public)部分,不会检查私有成员,而抽象类没有这样的限制。

7. 抽象类和抽象方法

注意:

用abstract关键字定义抽象类和抽象方法,抽象类中的抽象方法不包含具体实现并且必须在派生类(抽象类的子类)中实现

抽象类:它是提供其他类继承的基类,不能直接被实例化,子类继承可以被实例化

abstract修饰的方法(抽象方法)只能放在抽象类里面

抽象类和抽象方法用来定义标准(比如定义标准为:抽象类Animal有抽象方法eat,要求它的子类必须包含eat方法)

abstract class People {
    name : string
    constructor (name:string) {
        this.name = name
    }
    abstract eat (food:string) :void;//抽象方法不包括具体实现,并且必须再派生类中实现
}

class Stud1 extends People {
    //抽象类的子类必须实现抽象类中的抽象方法
    constructor (name:string) {
        super(name)
    }
    eat(food: string): void {
        console.log(`我爱吃 ${food}`)
    }

}

const stu11 : Stud1 = new Stud1('liu')
stu11.eat('面条')
复制代码

四 接口

注意:

接口定义:接口是对传入参数进行约束;或者对类里面的属性和方法进行声明和约束,实现这个接口的类必须实现该接口里面属性和方法;typescript中的接口用interface关键字定义。

接口作用:接口定义了某一批类所需要遵守的规范,接口不关心这些类的内部状态数据,也不关心这些类里方法的实现细节,它只规定这批类里必须提供某些方法,提供这些方法的类就可以满足实际需要。typescrip中的接口类似于java,同时还增加了更灵活的接口类型,包括属性、函数、可索引和类等。

1. 属性接口

对传入对象的约束,也就是 json 数据

interface Sx {
    name : string
    age : number
}

function f8(peop:Sx) {
    //name age 必须传递
    console.log(peop)
}

const obj = {
    name : 'liu',
    age : 25
}
f8(obj)
复制代码

2. 函数类型的接口

对方法传入的参数和返回值进行约束

interface Sta {
    (difang : string, todo : string) : string
}

let play : Sta = (difang:string, todo:string) : string => {
    return `我们去 ${difang}${todo}`
}

console.log(play('灞桥', '吃烧烤'))
复制代码

3. 可索引的接口

对索引和传入的参数的约束

//对数组的约束
interface UserArr {
    //索引为number,参数为string
    [index : number] : string
}

const arr : UserArr = ['a', 'b']
console.log(arr)

//对 对象的约束
interface UserObj {
    [index : number] : number
}

const obj1 : UserObj = { 2:1, 3:4 }
console.dir(obj1)
复制代码

4. 类 类型接口

对类的约束

interface Anmal {
    //对类里面的属性和方法进行约束
    name : string
    eat (food:string) : void
}
//类实现接口要用implements , 子类必须实现接口里面声明的属性和方法
class Laoshu implements Anmal{
    name : string
    constructor (name : string) {
        this.name = name
    }
    eat(food:string):void {
        console.log(`${this.name}${food}`)
    }
}
const lao : Laoshu = new Laoshu('老鼠')
lao.eat('粮食')
复制代码

5. 接口继承

//父类Anmal看上面
//实现LaoHu的这个接口,必须也要实现LaoHu继承的Anmal接口中的方法
interface LaoHu extends Anmal{
    say (sa : string) : void
}
//继承并实现接口
class XiaoLaoHu implements LaoHu{
    name : string
    constructor (name : string) {
        this.name = name
    }
    eat (food : string) : void {
        console.log(`${this.name}${food}`)
    }
    say(sa: string): void {
        console.log(`${this.name}${sa}`)
    }
}

const xiao : XiaoLaoHu = new XiaoLaoHu('老虎')
xiao.eat('肉')
xiao.say('你好')
复制代码

五 泛型

注意:

很多时候,类型是写死的,不利于复用,泛型可以简单的理解为给类型的这种值设置变量,解决类,接口

方法的复用性,以及对不特定数据类型的支持

语法 : <类型变量名> 一般是单字母大写

1. 泛型函数

函数再调用时,指定泛型T的类型

function f9<T>(value:T) : T {
    //传入参数类型为T,返回值的类型也为T
    console.log(`我传入了 ${value}`)
    return value
}

f9<number>(10)

function f10 <T> (value:T) : any {
    //传入参数的类型为T,返回任意类型的值
    console.log(`我返回了 ${value}`)
    return `我返回了 ${value}`
}

console.log(f10<string>('我是ljy'))
复制代码

2. 泛型类

泛型类,使用 < > 跟在类名后面

class Ni <T> {
    name : T
    constructor (name : T) {
        this.name = name
    }
    say (value : T) : any {

        return `${this.name}${value}`
    }
}

const ni1 = new Ni<string>('ljy')//实例化类,指定类的类型是string
console.log(ni1.say('你好'))

const ni2 = new Ni<number>(20)//实例化类,指定类的类型是number
console.log(ni2.say(23))
复制代码

3. 泛型接口

第一种

interface Niniubi {
    <T> (value:T) : any
}

let fff : Niniubi = <T>(value : T) : any => {
    return `我传入了 ${value}`
}
console.log(fff<number>(25))
console.log(fff<string>('ljy'))
复制代码

第二种

interface ConfigFnTwo<T>{
    (value:T):T;
}
function setDataTwo<T>(value:T):T{
    return value
}
var setDataTwoFn:ConfigFnTwo<string> = setDataTwo
setDataTwoFn('name');
复制代码

4.在泛型约束中使用类型参数

有时,我们想让参数的类型是某个对象的属性时,可以这样写:

function getProperty<T, k extends keyof T>(obj:T, key: K) {
    return obj[key]
}

let obj = { a: 1, b: 2, c: 3}
getProperty(obj, "a"); // true
getProperty(obj, "t"); // error: Argument of type '"t"' is not assignable to
                                parameter of type '"a" | "b" | "c"'.
复制代码

错误的原因:首先keyof T就等于"a" | "b" | "c",然后K extends就相当于K在keyof T中,这就是约束。

六 命名空间

namespace Shuaige {
    export class DeHua {
        public name : string = '刘德华'
        say () {
            console.log(`我是 ${this.name}`)
        }
    }
}

namespace Bajie {
    export class DeHua {
        public name : string = '马德华'
        say () {
            console.log(`我是 ${this.name}`)
        }
    }
}


const de : Shuaige.DeHua = new Shuaige.DeHua()
de.say()

const de1 : Bajie.DeHua = new Bajie.DeHua()
de1.say()
复制代码

七 联合类型

联合类型表示一个值可以是几种类型之一,我们使用( | )分隔每个类型

联合类型的变量在被赋值的时候,会根据类型推论的规则推断出一个类型

如果一个值是联合类型,我们只能访问此联合类型的所有类型里面共有的成员

let ddd : string | number
ddd = 'nihao'
console.log(ddd.length)//ddd被推断成了 string,访问它的 length 属性不会报错
console.log(`联合类型 ${ddd}`)
ddd = 255
console.log(`联合类型 ${ddd}`)
console.log(ddd.length)//报错 ddd被推断成了 number,访问它的 length 属性时就报错了
//ddd = false                   err
//console.log(`联合类型 ${ddd}`)  err
复制代码

1. 访问联合类型的属性或方法

当 TypeScript 不确定一个联合类型的变量到底是哪个类型的时候,我们只能访问此联合类型的所有类型里共有的属性或方法:

function f11(name : string, age : string | number) {
     console.log(age.length)//报错
 }
f11('ljy', '21')

报错:Property 'length' does not exist on type 'string | number'.Property 'length' does not exist on type 'number'.
复制代码

上例中,length 不是 string 和 number 的共有属性,所以会报错。所以只能访问类型的共有的属性或方法

function f12(name : string, age : string | number) {
    console.log(age.toString)
}
f12('ljy', 21)
复制代码

八 类型断言

注意:类型断言(Type Assertion)可以用来手动指定一个值的类型。

语法:

<类型>值
值 as 类型
复制代码

类型断言的用法如上,在需要断言的变量前加上 即可

就刚才上边 TypeScript 不确定一个联合类型的变量到底是哪个类型的时候来说

 function f13(name : string, age : string | number) {
     if (age.length) { //报错
         console.log(age.length) //报错
     }  else {
         console.log(age.toString)
     }

 }

 f13('ljy', 21)//Property 'length' does not exist on type 'string |number'.Property 'length' does not exist on type 'number'
复制代码

此时可以使用类型断言,将 age 断言成 string

function f14(name : string, age : string | number) {
    if ((<string>age).length) {//断言
        console.log((<string>age).length)//断言
    }  else {
        console.log(age.toString)
    }

}
f14('ljy', 21)
复制代码

类型断言不是类型转换,断言成一个联合类型中不存在的类型是不允许的:

 function toBoolean(something: string | number): boolean {
     return <boolean>something;
 }
Type 'string | number' cannot be converted to type 'boolean'
复制代码