typescript类型说明

一、TypeScript简介

1. TypeScript是JavaScript的超集。
2. 它对JS进行了扩展，向JS中引入了类型的概念，并添加了许多新的特性。
3. TS代码需要通过编译器编译为JS，然后再交由JS解析器执行。
4. TS完全兼容JS，换言之，任何的JS代码都可以直接当成JS使用。
5. 相较于JS而言，TS拥有了静态类型，更加严格的语法，更强大的功能；TS可以在代码执行前就完成代码的检查，减小了运行时异常的出现的几率；TS代码可以编译为任意版本的JS代码，可有效解决不同JS运行环境的兼容问题；同样的功能，TS的代码量要大于JS，但由于TS的代码结构更加清晰，变量类型更加明确，在后期代码的维护中TS却远远胜于JS。

二、TypeScript 开发环境搭建

1. 下载Node.js

• 64位：https://nodejs.org/dist/v14.15.1/node-v14.15.1-x64.msi
• 32位：https://nodejs.org/dist/v14.15.1/node-v14.15.1-x86.msi

2. 安装Node.js

3. 使用npm全局安装typescript

• 进入命令行
• 输入：npm i -g typescript

4. 创建一个ts文件

5. 使用tsc对ts文件进行编译

• 进入命令行

• 进入ts文件所在目录

• 执行命令：tsc xxx.ts

三、基本类型

类型声明

• 类型声明是TS非常重要的一个特点
• 通过类型声明可以指定TS中变量（参数、形参）的类型
• 指定类型后，当为变量赋值时，TS编译器会自动检查值是否符合类型声明，符合则赋值，否则报错
• 指定参数个数过后，参数类型和个数必须保持一致，否则报错

function sum(a: number, b: number): number{//第三个number返回值的类型
    return a + b;
}

let result = sum(123, 456);//这里的参数必须为指定类型

• 简而言之，类型声明给变量设置了类型，使得变量只能存储某种类型的值
• TS拥有自动的类型判断机制
• 当对变量的声明和赋值是同时进行的，TS编译器会自动判断变量的类型
• 所以如果你的变量的声明和赋值时同时进行的，可以省略掉类型声明

3.1 number类型

// 声明一个变量a，同时指定它的类型为number
let a: number;
// a 的类型设置为了number，在以后的使用过程中a的值只能是数字
a = 10;
a = 33;
// a = 'hello'; // 此行代码会报错，因为变量a的类型是number，不能赋值字符串

3.2 string类型

let b: string;
b = 'hello';
// b = 123;这里会报错，类型不一致

3.3 boolean类型

// 声明完变量直接进行赋值
 let c: boolean = false;
// 如果变量的声明和赋值是同时进行的，TS可以自动对变量进行类型检测
let c = false;
c = true;

3.4 字面量类型

// 也可以直接使用字面量进行类型声明
let a: 10;
a = 10;
// a=11;指定为10，所以会报错
// 可以使用 | 来连接多个类型（联合类型）
let b: "male" | "female";
b = "male";
b = "female";

let c: boolean | string;
c = true;
c = 'hello';

3.5 any类型

// any 表示的是任意类型，一个变量设置类型为any后相当于对该变量关闭了TS的类型检测
// 使用TS时，不建议使用any类型
 let b: any;

// 声明变量如果不指定类型，则TS解析器会自动判断变量的类型为any （隐式的any）
let d;
d = 10;
d = 'hello';
d = true;

3.6 unknown类型

// unknown 表示未知类型的值
let e: unknown;
e = 10;
e = "hello";
e = true;

let s:string;

// d的类型是any，它可以赋值给任意变量
// s = d;

e = 'hello';

// unknown 实际上就是一个类型安全的any
// unknown类型的变量，不能直接赋值给其他变量
if(typeof e === "string"){
    s = e;
}

3.7 void类型

// void 用来表示空，以函数为例，就表示没有返回值的函数或者返回值是undefined
function fn(): void{
    // return undefined;
}
//自动确定返回值类型true | 11
 function fun(){
     if(true){
        return true;
     }
     else{
         return 11;
     }
 }

3.8 never类型

// never 表示永远不会返回结果,用来报错
function fn2(): never{
    throw new Error('报错了！');
}

3.9 object类型

// object表示一个js对象
let a: object;
a = {};
a = function () {
};

// {} 用来指定对象中可以包含哪些属性
// 语法：{属性名:属性值,属性名:属性值}
// 在属性名后边加上?，表示属性是可选的,可有可无 
let b: {name: string, age?: number};
b = {name: '孙悟空', age: 18};

// [propName: string]: any 表示任意类型的属性
let c: {name: string, [propName: string]: any};
c = {name: '猪八戒', age: 18, gender: '男'};

/*
*   设置函数结构的类型声明：
*       语法：(形参:类型, 形参:类型 ...) => 返回值
* */
let d: (a: number ,b: number)=>number;
// d = function (n1: string, n2: string): number{
//     return 10;
// }

3.10 arry类型

/*
*   数组的类型声明：
*       类型[]
*       Array<类型>
* */
//第一种写法 string[] 表示字符串数组
let e: string[];
e = ['a', 'b', 'c'];

// number[] 表示数值数值
let f: number[];
// 第二种写法，数值类型的数组
let g: Array<number>;
g = [1, 2, 3];

3.11 tuple类型

/*
*   元组，数组的一种，元组就是固定长度的数组并且指定元素的类型
*       语法：[类型, 类型, 类型]
* */
let h: [string, number];
h = ['hello', 123];

3.12 enum类型

/*
* enum 枚举，
*没有指定值，其值就是索引
* */
enum Gender{
    Male,
    Female
}

let i: {name: string, gender: Gender};
i = {
    name: '孙悟空',
    gender: Gender.Male // '0'
}

// console.log(i.gender === Gender.Male);
// &表示同时
let j: { name: string } & { age: number };
// j = {name: '孙悟空', age: 18};


// 类型的别名
type myType = 1 | 2 | 3 | 4 | 5;//myType就等于1 | 2 | 3 | 4 | 5
let k: myType;//k值可取 1 | 2 | 3 | 4 | 5
let l: myType;
let m: myType;

k = 2;

• 类型断言

  • 有些情况下，变量的类型对于我们来说是很明确，但是TS编译器却并不清楚，此时，可以通过类型断言来告诉编译器变量的类型，断言有两种形式：

    • 第一种

      • let someValue: unknown = "this is a string";
        let strLength: number = (someValue as string).length;
        

    • 第二种

      • let someValue: unknown = "this is a string";
        let strLength: number = (<string>someValue).length;