1、强类型语言与弱类型语言
（1）、强类型语言
通俗定义：强类型语言不允许改变变量的数据类型，除非进行强制类型转换
在强类型语言中，当一个对象从调用函数传递到被调用函数时，其类型必须与被调用函数中声明的类型兼容
（2）、弱类型语言
在弱类型语言中，变量可以被赋予不同的数据类型
let x = 1; x = 'hello'; console.log(x); // hello x = true; console.log(x); // true
2、静态类型语言和动态类型语言
（1）、静态类型语言
在编译阶段确定所有变量的类型
（2）、动态类型语言
在执行阶段确定所有变量的类型
静态类型与动态类型的对比：
语言类型象限：
3、数据类型
类型注解
作用：相当于强类型语言中的类型声明，可以对变量起到约束作用
语法：(变量/函数): type
let checkAll: boolean = false; checkAll = true; console.log('checkAll ', checkAll); // checkAll true checkAll = null; console.log('checkAll ', checkAll); // checkAll null checkAll = undefined; console.log('checkAll ', checkAll); // checkAll undefined // 类型注解使得 ts 的变量数据类型不可随意改变 checkAll = 'hello'; // 不能将类型“"hello"”分配给类型“boolean” checkAll = 123; // 不能将类型“123”分配给类型“boolean” checkAll = [1, 2]; // 不能将类型“number[]”分配给类型“boolean”
TypeScript 在 ES6的基础之上新增了一些数据类型
3-1、布尔值 - boolean
let isDone: boolean = false;
3-2、数字 - number
let decLiteral: number = 6; // 十进制 let hexLiteral: number = 0xf00d; // 十六进制 let binaryLiteral: number = 0b1010; // 二进制 let octalLiteral: number = 0o744; // 八进制
3-3、字符串 - string
let str1: string = 'hello'; // 单引号 let str2: string = "world"; // 双引号 let str: string = `${str1} ${str2} !`; // 摸板字符串 console.log(str); // hello world !
3-4、数组 - Array
// 定义方式一：type[]，表示由此类型元素组成的一个数组 let list: number[] = [1, 2, 3]; // 定义方式二：Array<type>，使用数组泛型 let result: Array<number> = [1, 2, 3]; // 数组一旦在定义时指定了数据类型，就不能添加其它的数据类型 list.push('hello'); // 类型“"hello"”的参数不能赋给类型“number”的参数 // 如果想要一个数组接收两种数据类型，可以这么做 let data: Array<number | string> = [1, 'hello', 2, 'world'];
3-5、元组 - Tuple
元组类型表示一个已知元素数量和类型的数组，准确的说，是已知数组中的每一个位置上的元素类型
为元组类型赋值时，各个位置上的元素类型都要对应，元素个数也要一致
let tuple: [string, number] = ['Bob', 23]; tuple = ['Bob', 'Chirs']; // 不能将类型“string”分配给类型“number” tuple = [23, 32]; // 不能将类型“number”分配给类型“string” tuple = ['Bob', 23, 32]; // 不能将类型“[string, number, number]”分配给类型“[string, number]”
强烈不建议像数组一样添加、删除和修改元组的元素
let tuple: [number, string] = [0, '1']; tuple.push(1); console.log('tuple', tuple); // tuple [ 0, '1', 1 ] // 试图读取越界元素时，还是会报错 tuple[2]; // Tuple type '[number, string]' of length '2' has no element at index '2'
3-6、函数
let add = (x: number, y: number): number => x + y // 根据函数的类型推断功能，可以简写为 let add = (x: number, y: number) => x + y // 定义函数类型 let getResult: (x: number, y: number) => number // 实现函数(参数名不必相同，也无需指出参数类型、函数返回值) getResult = (a, b) => a + b
3-7、对象
let obj: {name: string, age: number} = {
name: 'Bob',
age: 23
}
obj.age = 30;
console.log('obj', obj); // obj { name: 'Bob', age: 30 }
// 如果不具体指出对象的参数类型，则无法修改对象的属性
let map: object = {x: 1, y: 2};
map.x = 22; // 类型“object”上不存在属性“x”
3-8、Symbol
具有唯一的值
// symbol 类型的值是通过 Symbol 构造函数创建的 let s1: symbol = Symbol(); let s2 = Symbol(); console.log(s1 === s2); // false, symbols是唯一的
3-9、undefined 和 null
如果一个变量被初始化为 undefined 或 null，就不能再赋值其它数据类型
let un: undefined = undefined; let nu: null = null; un = 12; // 不能将类型“12”分配给类型“undefined” nu = 34; // 不能将类型“34”分配给类型“null”
默认情况下，undefined 和 null 是所有类型的子类型，也就是说可以把 undefined 和 null 赋值给 number、string 等类型的变量
let num: number = 23; num = undefined; let str: string = 'hello'; str = null; let bool: boolean = false; bool = undefined;
3-10、void
void 是一种操作符，表示没有任何返回值的类型，它可以让任意一个表达式返回undefined
function warnUser(): void { alert("This is my warning message"); }
3-11、any
如果不指定一个变量的类型，则默认就是any类型
let x; x = 1; x = {}; x = () => {}
3-12、never
never表示永远不会有返回值的类型，有两种情况：
（1）、函数抛出异常
（2）、死循环
let error = () => { throw new Error('error') } let endless = () => { while(true) {} }