TS的基础类型

TypeScript

TypeScript是JavaScript的超集，它可以编译成纯JavaScript

TypeScript的定位是静态类型语言，在写代码阶段就能检查错误，而非运行阶段

类型系统是最好的文档，增加了代码的可读性和可维护性

TypeScript 基础类型

Boolean 类型

    const flag: boolean = true; 

Number 类型

    const count: number = 10;

String 类型

    let name: string = "树哥";

Enum 类型

枚举类型用于定义数值集合，使用枚举我们可以定义一些带名字的常量。

使用枚举可以清晰地表达意图或创建一组有区别的用例。，如周一到周日，方位上下左右等

普通枚举

初始值默认为 0 其余的成员会会按顺序自动增长 可以理解为数组下标

    enum Color {
        RED,
        PINK,
        BLUE,
    }

    const red: Color = Color.RED;
    console.log(red); // 0

设置初始值

    enum Color {
        RED = 2,
        PINK,
        BLUE,
    }
    const pink: Color = Color.PINK;
    console.log(pink); // 3

字符串枚举

    enum Color {
        RED = "红色",
        PINK = "粉色",
        BLUE = "蓝色",
    }

    const pink: Color = Color.PINK;
    console.log(pink); // 粉色

常量枚举

使用 const 关键字修饰的枚举，常量枚举与普通枚举的区别是，整个枚举会在编译阶段被删除 我们可以看下编译之后的效果

    const enum Color {
        RED,
        PINK,
        BLUE,
    }

    const color: Color[] = [Color.RED, Color.PINK, Color.BLUE];
    console.log(color); //[0, 1, 2]

    //编译之后的js如下：
    var color = [0 /* RED */, 1 /* PINK */, 2 /* BLUE */];
    // 可以看到我们的枚举并没有被编译成js代码 只是把color这个数组变量编译出来了

Array 类型

对数组类型的定义有两种方式:

    const arr: number[] = [1,2,3];
    const arr2: Array<number> = [1,2,3];

元组（tuple）类型

上面数组类型的方式，只能定义出内部全为同种类型的数组。

对于内部不同类型的数组可以使用元组类型来定义

元组（ Tuple ）表示一个已知数量和类型的数组,可以理解为他是一种特殊的数组

    const tuple: [number, string] = [1, "zhangmazi"];

注：元组类型只能表示一个已知元素数量和类型的数组，长度已指定，越界访问会提示错误。
例如，一个数组中可能有多种类型，数量和类型都不确定，那就直接any[]。

undefined和null

默认情况下 null 和 undefined 是所有类型的子类型。 也就是说你可以把 null 和 undefined 赋值给其他类型。

    let a: undefined = undefined;
    let b: null = null;

    let str: string = 'zhangmazi';
    str = null; // 编译正确
    str = undefined; // 编译正确

如果你在tsconfig.json指定了"strictNullChecks":true ，即开启严格模式后， null 和 undefined 只能赋值给 void 和它们各自的类型。

null 和 undefined 只能给它们自己的类型赋值

    // 启用 --strictNullChecks
    let x: number;
    x = 1; // 编译正确
    x = undefined;    // 编译错误
    x = null;    // 编译错误

但是 undefined 可以给 void 赋值

    let c:void = undefined // 编译正确
    let d:void = null // 编译错误

any 类型

any会跳过类型检查器对值的检查，任何值都可以赋值给any类型

    let value: any = 1;
    value = "zhangmazi"; // 编译正确
    value = []; // 编译正确
    value = {};// 编译正确

void 类型

void 意思就是无效的, 一般只用在函数上，告诉别人这个函数没有返回值。

    function sayHello(): void {
        console.log("hello 啊，树哥！");
    }

never 类型

never 类型表示的是那些永不存在的值的类型。

是其他类型(包括null和undefined)的子类型，代表从不会出现的值

例如never 类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型值会永不存在的两种情况：

• 1 如果一个函数执行时抛出了异常，那么这个函数永远不存在返回值（因为抛出异常会直接中断程序运行，这使得程序运行不到返回值那一步，即具有不可达的终点，也就永不存在返回了）
• 2 函数中执行无限循环的代码（死循环），使得程序永远无法运行到函数返回值那一步，永不存在返回。

    // 异常
    function error(msg: string): never { // 编译正确
        throw new Error(msg); 
    }

    // 死循环
    function loopForever(): never { // 编译正确
        while (true) {};
    }

Unknown 类型

unknown与any一样，所有类型都可以分配给unknown:

    let value: unknown = 1;
    value = "zhangmazi"; // 编译正确
    value = false; // 编译正确

unknown与any的最大区别是：

• 任何类型的值可以赋值给any，同时any类型的值也可以赋值给任何类型。

• unknown 任何类型的值都可以赋值给它，但它只能赋值给unknown和any