一、变量类型

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;

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

注意:undefined 类型的数据只能被赋值为 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—>组织收集一组相关变量的方式

1. 数字枚举

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开始,也可以自行设置枚举成员的初始值,它们会依次递增

2. 字符串枚举

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');

六、命名空间

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'

理解TypeScript中的as

const mapDispatch = (dispatch: any) => ({
  submit: (dispatch as Dispatch).login.submit,
});

类型断言

  • as是ts的关键字,只是用来限制child的类型。
    js没有强类型声明,不需要as。

  • 要理解好类型断言,其实就深刻理解一句话:你会比TypeScript更了解某个值的详细信息 。

  • 类型断言,断言 断言,顾名思义,我断定怎么怎么样,代入这句话里就是,我断定这个类型是什么。当然这是我们主观上的思维逻辑,程序并不认可,所以我们需要告诉程序:“相信我,我知道自己在干什么” 。

any 任意值

任意值 Any 用来表示允许赋值为任意类型。

什么是任意值类型

如果是一个普通类型,在赋值过程中改变类型是不被允许的:

let num: number = 1;
num = '1';
// error TS2322: Type '"1"' is not assignable to type 'number'.

但是,如果是 any 类型,则允许被赋值为任意类型。

let num: any = 1;
num = '1';

也允许调用任何方法:

let anyThing: any = 'hello';
anyThing.setName('muzidigbig');
anyThing.setName('muzidigbig').sayHello();
anyThing.name.setFirstName('Lee');

可以认为,声明一个变量是任意值之后,对于它的任何操作返回的内容都是任意值类型。

未指定其类型进行初始赋值

遵循 类型推断 的原则:

当类型没有给出时,TypeScript 编译器利用类型推断来推断类型。

如果由于缺乏声明而不能推断出类型,那么它的类型被视作默认的动态 any 类型。

var num = 2;  //类型推断为 number
console.log(typeof num);
num = '12'; //编译错误
//error TS2322: Type '"12"' is not assignable to type 'number'.
console.log(typeof num);