什么是TypeScript
TypeScript是JavaScript的一个超集，在JavaScript的基础上增加了可选的静态类型和基于类的面向对象编程。它可以编译成纯JavaScript，我们可以把它和JavaScript的关系理解成css和less、sass的关系。
如何使用TypeScript
首先安装TypeScript
npm install -g typescript
安装后看是否成功
tsc --version
我安装后出现了以下问题：
这种情况只需要以管理员的身份打开命令行运行以下命令：
set-ExecutionPolicy RemoteSigned
创建第一个ts文件Hello.ts
function sayHello(name:String) {
console.log(`Hello ${name}`);
}
let person = "Alan";
sayHello(person);
我们发现ts代码和普通的js代码在sayHello函数的参数上有所不同。
sayHello(name: String)
大致的意思就是sayHello传入一个名为name的参数，该参数的类型必须是String。
下面使用TypeScript编译器编译上面的Hello.ts文件
tsc Hello.ts
在同级目录下会得到一个Hello.js文件
function sayHello(name) {
console.log("Hello " + name);
}
var person = "Alan";
sayHello(person);
如果把Hello.ts文件改写一下
function sayHello(name:String) {
const text = 3 + name;
console.log(`Hello ${name}`);
}
let person = 123;
sayHello(person);
再次编译发现会报错但是仍然能生产js文件：
TypeScript的基础类型
变量的声明：let [变量名] : [类型] = 值
TypeScript支持与JavaScript几乎相同的数据类型
- boolean(布尔值)
- number(数值)
- string(字符串)
- []/Array<元素类型>(数组)
- 元组Tuple
- enum(枚举)
- any(任何值)
- void(空值)
- null
- undefined
- never
数组
有2种方式定义数组
1、元素类型后接上[]
let arr : number[] = [1,2,3]
2、数组泛型
let arr : Array<number> = [1,2,3]
元组
表示一个数组（各个元素的类型不必相同）
let list : [string, number]; //第一个元素为string类型，第二个为number类型
a = ['abc', 123] //合格
b = [123, 'abc'] //不合格
枚举
其实有点类似对象
看例子吧
enum lan {js, ts, css};
console.log(lan.js); // 0 js对应的下标
enum lan {js = 'good', ts = 'nice', css = 'well'};
console.log(lan.js); // good
any
顾名思义，任意值
当我们想为还不清楚类型的变量指定一个类型时，any就是最好的选择
let a:any =4;
a = '123'; //合格
let arr : any[] = [1, '123', true]; // 和元组很像
arr[1] = 'good';
void
常用于无返回值得函数声明
function func() : void {
console.log('learning typescript...');
}
func(); //合格
function func() : void {
return 1;
}
func(); // 不合格：Type '1' is not assignable to type 'void'
null和undefined
用处不大，默认情况下是所有类型的子类型，例如下面代码是没有问题的：
let a:string;
a = undefined;
a = null;
但是，当指定--strictNullChecks标记时，null和undefined只能赋值给void和他们自己本身。
never
表示永不存在的值的类型
never类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型；
变量也可能是never类型，当它们被永不为真的类型保护所约束时。
never类型是任何类型的子类型，也可以赋值给任何类型；然而，没有类型是never的子类型或可以赋值给never类型（除了never本身之外）。 即使any也不可以赋值给never。
function error(message:string) : never{
throw new Error(message);
}
// 返回never的函数必须存在无法达到的终点
function infiniteLoop(): never {
while (true) {
}
}
类型断言
可以自己指定一个值得类型
格式如下
<类型>值
值 as 类型
