1. JavaScript 已有类型

原始类型： number/string/boolean/null/undefined/symbol

let age3: number = 18;
let username3: string = '张三';
let isMerry3: boolean = false;
let unique3: Symbol = Symbol('shuiruohanyu');

对象类型：object(数组、对象、函数等)

//数组两种写法1：类型[]写法
let userList3: string[] = ['John', 'Bob', 'Tony'];
let peopleList3: object[] = [{ name: '张三', age: 18 }];
//数组两种写法2：Array<类型>写法
let user2List3: Array<string> = ['John', 'Bob', 'Tony'];
let people2List3: Array<object> = [{ name: '张三', age: 18 }];

2. TypeScript 新增类型

接口、元祖、枚举、联合类型、自定义类型（类型别名）、字面量类型、void、any 等

注意：原始类型在 TS 和 JS 中写法一致，对象类型在 TS 中更加细化，每个具体对象都有自己的类型语法

3.元组

元组（Tuple）就是元素个数和类型固定的数组类型，它确切知道包含多少个元素，以及特定索引对应的类型

type Tuple = [number, string];

4.接口

当一个对象类型被多次使用时，一般使用接口（interface）描述对象的类型，达到复用的目的

我们使用interface关键字来声明接口
接口名称推荐以I为开头
声明接口之后，直接使用接口名称作为变量的类型

//对象
interface IPerson5 {
  name: string;
  age: number;
  sayHello(): void;
}

let p5: IPerson5 = {
  name: '老高',
  age: 18,
  sayHello() { },
};

//函数
interface SayHello5 {
  (name: string): string;
}

const func5: SayHello5 = (name: string) => {
  return 'hello,' + name
}

//构造器
interface PersonConstructor {
  new(name: string, age: number): IPerson5;
}

function createPerson(ctor: PersonConstructor): IPerson5 {
  return new ctor('guang', 18);
}

5.枚举

枚举（Enum）是一系列值的复合：

枚举的功能类似于字面量类型+联合类型组合的功能，也可以表示一组明确的可选值
字面量类型，也就是类似 1111、'aaaa'、{ a: 1} 这种值也可以做为类型。
枚举：定义一组命名常量。它描述一个值，该值可以是这些命名常量中的一个

// 枚举
 
// 创建枚举
enum Direction2 {
  Up,
  Down,
  Left,
  Right,
}
 
// 使用枚举类型
function changeDirection2(direction: Direction2) {
  console.log(direction);
}
 
// 调用函数时，需要应该传入：枚举 Direction 成员的任意一个
// 类似于 JS 中的对象，直接通过 点（.）语法 访问枚举的成员
changeDirection2(Direction2.Up);
//输出0

数字枚举

问题：我们把枚举成员作为了函数的实参，它的值是什么呢?
解释：通过将鼠标移入 Direction.Up， 可以看到枚举成员 Up 的值为 0
注意：枚举成员是有值的，默认为：从 0 开始自增的数值
我们把，枚举成员的值为数字的枚举，称为：数字枚举
当然，也可以给枚举中的成员初始化值

// Down -> 11、Left -> 12、Right -> 13
enum Direction {
  Up = 10,
  Down,
  Left,
  Right,
}
 
enum Direction {
  Up = 2,
  Down = 4,
  Left = 8,
  Right = 16,
}

字符串枚举

字符串枚举：枚举成员的值是字符串
注意：字符串枚举没有自增长行为，因此，字符串枚举的每个成员必须有初始值

enum Direction {
  Up = 'UP',
  Down = 'DOWN',
  Left = 'LEFT',
  Right = 'RIGHT',
}

枚举实现原理

枚举是 TS 为数不多的非 JavaScript 类型级扩展(不仅仅是类型)的特性之一
因为：其他类型仅仅被当做类型，而枚举不仅用作类型，还提供值(枚举成员都是有值的)
也就是说，其他的类型会在编译为 JS 代码时自动移除。但是，枚举类型会被编译为 JS 代码


enum Direction {
  Up = 'UP',
  Down = 'DOWN',
  Left = 'LEFT',
  Right = 'RIGHT'
}
 
// 会被编译为以下 JS 代码：
var Direction;
 
(function (Direction) {
  Direction['Up'] = 'UP'
  Direction['Down'] = 'DOWN'
  Direction['Left'] = 'LEFT'
  Direction['Right'] = 'RIGHT'
})(Direction || Direction = {})

说明：枚举与前面讲到的字面量类型+联合类型组合的功能类似，都用来表示一组明确的可选值列表
一般情况下，推荐使用字面量类型+联合类型组合的方式，因为相比枚举，这种方式更加直观、简洁、高效

6.字面量类型

字符串的字面量类型有两种

一种是普通的字符串字面量，比如 'aaa'
另一种是模版字面量，比如 aaa${string}，它的意思是以 aaa 开头，后面是任意 string 的字符串字面量类型。

7.四种特殊的类型：void、never、any、unknown

never 代表不可达，比如函数抛异常的时候，返回值就是 never。
void 代表空，可以是 undefined 或 never。
any 是任意类型，任何类型都可以赋值给它，它也可以赋值给任何类型（除了 never）。
unknown 是未知类型，任何类型都可以赋值给它，但是它不可以赋值给别的类型。

8. 联合类型

数组中既有 number 类型，又有 string 类型

//数组中既有 number 类型，又有 string 类型：可以用|(竖线)分割多个类型
let str8: string | number = 1;
str8 = '张三';
let arr8: Array<number | string> = [1, 2, '张三'];

9. 类型别名

当一个复杂类型或者联合类型过多或者被频繁使用时，可以通过类型别名来简化该类型的使用用法：type 名称 = 具体类型

type CustomArray9 = Array<number | string>;
let arr9: CustomArray9 = [1, 2, '张三'];

以上代码中，**type**作为创建自定义类型的关键字

类型别名可以使任意合法的变量名称
推荐大驼峰的命名写法

10.函数类型

函数类型需要指的是 函数参数和返回值的类型有下面两种写法：

//第一种： 单独指定参数，返回值类型

function add10_1(num1: number, num2: number): number {
  return num1 + num2;
}

const add10_2 = (num1: number, num2: number): number => {
  return num1 + num2;
};


//第二种， 同时指定参数和返回值

type CustomFunc10 = (num1: number, num2: number) => number;
 
const add10_3: CustomFunc10 = (num1, num2) => {
  return num1 + num2;
};

void 类型

//当我们的函数定义为没有返回值的类型时，可用关键字void表示
type CustomFunc10_1 = (num1: string, num2: number) => void;
const combinStr10: CustomFunc10_1 = () => { };

//如果一个函数没有返回值，此时，在 TS 的类型中，应该使用 void 类型 
const add10_4 = () => {};
// 如果什么都不写 表示add4函数的类型为void
 
const add10_5 = (): void => {};
// 这种写法明确指定返回值为void与上方的类型相同
 
const add10_6 = (): undefined => {
  return undefined;
};
// 如果指定返回值为undefined  return undefined

函数可选参数

当我们定义函数时，有的参数可传可不传，这种情况下，可以使用 TS 的可选参数来指定类型

比如，在使用数组的slice方法时，我们可以直接使用slice()也可以传入参数 slice(1) 也可以slice(1,3)

const slice10 = (start?: number, end?: number): void => {};

? 表示该参数或者变量可传可不传

注意：可选参数只能出现在参数列表的最后，即必须参数必须在可选参数之前

11. 对象类型

JS 中的对象是由属性和方法组成的，TS 的对象类型是对象中属性和方法的描述

写法

// 如果有多个属性 可以换行 去掉间隔符号
let person11: {
  name: string;
  sayHello: Function;
} = {
  name: '王五',
  sayHello() {},
};

使用类型别名

//使用类型别名
//直接使用{ }会降低代码可读性，不具有辨识度，更推荐使用类型别名添加对象类型 
type PersonObj11 = {
  name: string;
  sayHello(start: number): string;
};

const p11: PersonObj11 = {
  name: '高大大',
  sayHello(start) {
    return this.name;
  },
}

//箭头函数形式的方法类型
type People11 = {
  sayHello: (start: number) => string;
};
const pp11: People11 = {
  sayHello() {
    return '';
  },
};

对象可选属性

//对象中的若干属性，有时也是可选的，此时我们依然可以使用?来表示
type Config11 = {
  method?: string;
  url: string;
};

const func11 = (config: Config11) => { };
func11({ url: '/a' });

12. 类型推论

在 TS 中，某些没有明确指出类型的地方，TS 的类型推论机制会帮助提供类型

也就是说，由于类型推论的存在，在某些地址类型注解可以省略不写。

发生类型推论的常见场景

声明变量并初始化时
决定函数返回值时

// 变量creater_name自动被推断为 string
let creater_name12 = 'gaoly';

// 函数返回值的类型被自动推断为 number
function addCount12(num1: number, num2: number) {
  return num1 + num2;
}

推荐：能省略类型注解的地方就省略（偷懒，充分利用 TS 类型推论的能力，提升开发效率）

技巧：如果不知道类型，可以通过鼠标放在变量名称上，利用 VSCode 的提示来查看类型

13. typeof

实际上，TS 也提供了 typeof 操作符：可以在类型上下文中引用变量或属性的类型（类型查询）
使用场景:根据已有变量的值，获取该值的类型，来简化类型书写
注意：typeof 只能用来查询变量或属性的类型，无法查询其他形式的类型（比如，函数调用的类型）

let p = { x: 1, y: 2 };
function formatPoint13(point: { x: number; y: number }) { }
formatPoint13(p);
/*
使用 typeof 操作符来获取变量 p 的类型，结果与第一种（对象字面量形式的类型）相同
function formatPoint13(point: { x: number; y: number }) { } 
            ||
function formatPoint13(point: typeof p) { }
typeof 出现在类型注解的位置（参数名称的冒号后面）所处的环境就在类型上下文(区别于 JS 代码)
*/

参考链接+：

blog.csdn.net/m0_62118859…

TypeScript 类型系统中的类型