ts基础知识

一、什么是typescript

        typescript的目标就是成为javascript程序的静态类型检查器，换句话说，是一个在代码运行之前运行的工具，我们可以叫它静态编译，并且可以确保程序的类型正确。

二、基本的ts类型

1、布尔类型

        let isLogin: boolean = false;

2、数字

        ts中的数字类型不像js中分为int和float，ts中所有的浮点数类型都是number

        let num: number = 6;

3、字符串

        使用string表示文本数据类型，同时支持es6中的模板字符串

        let name: string = `张张`;

        let age: number = 18;

4、数组

        定义数组的方法有两种

        第一种是在元素类型后面接上[]，表示由此类型组成的数组

        let list: number[] = [1, 2, 3];

        这里需要注意数组中的元素类型要与定义的元素类型一致

        第二种是使用数组泛型，Array<元素类型>

        let list: Array<number> = [1, 2, 3];

三、ts泛型

       泛型是指在定义函数、接口或类的时候，不预定指定具体的类型，使用时再去指定类型的一           种特性。

泛型函数

function first(arr:any[]){
    return arr[0];
}

可以看到这个函数中参数数组的类型是any，返回值类型也是any

我们更希望数组的元素类型和函数的返回值类型是一致的

function first<Typt>(arr:type[]):type|undefined{
    return arr[0]
}

使用泛型是函数的输入和输出有了关系，都是type类型

下面调用一下这个函数

const s=first(["a","b","c"]);//type是字符串类型
const t=first([1,2,3]);//type是数字类型
const u=first([]);//type是undefined类型

泛型函数的限制条件

我们可以使用一个约束条件，来限制类型参数可以接受的类型

定义一个logest函数返回a和b长度较长的

function logest<Type extends {length:number}>(a:Type,b:Type){
    if(a.length>=b.length){
    return a;
}else{
    return b;
}
}

我们无法保证type这个泛型一定有length属性，所以要加上限制条件，使用extends去继承一个类型。