基础语法
ts程序组成部分
模块、函数、变量、语句和表达式、注释
一些注意
- ts会忽略程序中的空格、制表符和换行符
- ts区分大小写
- 分号可选，建议使用
- 注释与js相同
- ts是一种面向对象的编程语言
基础类型
ts包含的数据类型
any - 任意类型：声明为any的变量可以赋予任意类型的值
number - 数字类型
string - 字符串类型
boolean - 布尔类型
元素类型[] - 数组类型
let arr: number[] = [1, 2]
Array<元素类型> - 数组类型(使用数组泛型)
let arr: Array<number> = [1, 2]
[元素类型1, 元素类型2, ...] - 元组类型：元组类型用来表示已知元素数量和类型的数组，各元素的类型不必相同，但对应位置上但类型需要相同。
let x: [string, number];
x = ['string', 1]; // 正常运行
x = [1, 'string']; // 报错
enum - 枚举：枚举类型用于定义数值集合
enum Color {Red, Green, Blue};
let c: Color = Color.Blue;
console.log(c); // 2
void - void：用于标识方法返回值的类型，表示该方法没有返回值
function hello(): void {
alert('Hello World!')
}
null - null：表示对象值缺失
undefined - undefined：用于初始化变量为一个未定义的值
never - never：never是其他类型(包括null和undefined)的子类型，代表从不会出现的值
Any 类型
任意值是TypeScript针对编程时类型不明确的变量使用的一种数据类型，它常用于以下三种情况：
1 - 变量的值会动态改变时，比如来自用户的输入，任意值类型可以让这些变量跳过编译阶段的类型检查
2 - 改写现有代码时，任意值允许在编译时可选择地包含或移除类型检查
3 - 定义存储各种类型数据的数组时
Null 和Undefined
null
在JavaScript中null表示“什么都没有”
在TypeScript中null时一个只有一个值的特殊类型，表示一个空对象引用。
用typeof检测null返回是object。
undefined
在JavaScript中，undefined是一个已声明但未赋值的变量。
Null和Undefined是其他任何类型(包括void)的子类型，可以赋值给其他类型，如数字类型，此时，赋值后的类型会变成null或undedined。
而在TypeScript中启用严格的空校验(--strictNullChecks)特性，就使得null和undefined只能被赋值给void或本身对应的类型。
never类型
never是其他类型的子类型，代表从不会出现的值。这意味着声明为never类型的变量只能被never类型所赋值，在函数中它通常表现为抛出异常或无法执行到终止点(例如无限循环)
变量声明
ts变量声明
ts变量的命名规则与js变量的命名规则相同
变量不要使用name否则会与DOM中的全局window对象下的name属性出现重名
ts是强类型语言，如果将不同的类型赋值给变量会编译错误
类型断言
类型断言可以用来手动制定一个值的类型，即允许变量从一种类型更改为另一种类型。
类型推断
当类型没有给出时，TypeScript编译器利用类型推断来推断类型。
如果由于缺乏声明而不能推断出类型，那么它的类型被视作默认的动态的any类型。
let num = 2; // 类型推断为 number
num = '2'; // 编译错误
编译错误原因：第一行代码num的类型已被推断为number了，不能再将字符型赋值给num。
变量作用域
全局作用域
类作用域 - 这个变量也可称为字段。类变量声明在一个类里，但在类的外面，该变量可以通过类的对象来访问。类变量也可以是静态的，静态的变量可以通过类名直接访问。
局部作用域
函数
函数返回值
function 函数名(): 返回值类型 {}
带参数函数
function 函数名( 参数1: 参数1的类型, 参数2: 参数2的类型, ... ) {}
可选参数
function 函数名( 参数?: 参数类型 ) {} - 在形参后加上?，该参数即作为可选参数
默认参数
function 函数名( 参数: 参数类型 = 默认值 ) {}
剩余参数
当我们不知道要向函数传入多少个参数时，可以使用剩余参数来定义。
function 函数名( ...参数数组: 数组类型 ) {}
Lambda函数（箭头函数）
let 变量名 = (参数: 参数类型) => {}
参数可不指定类型，通过函数内来推断参数类型
函数重载
重载就是方法名字相同，而参数不同，返回类型可以相同也可以不同。
每个重载的方法（或构造函数）都必须有一个独一无二的参数类型列表。
* 如果参数类型不同，则参数类型应设置为any
* 如果参数数量不同，则可以将不同的参数设置为可选
TypeScript Number
Number 对象属性
MAX_VALUE：可表示的最大的数，MAX_VALUE属性值接近于 1.79E+308。大于MAX_VALUE的值代表“Infinity”
MIN_VALUE：可表示的最小的数，即最接近 0 的正整数(实际上不会变为 0 )，MIN_VALUE的值约为 5e-324，小于MIN_VALUE的值将会转换为 0 。最大的负数是 -MIN_VALUE。
NaN：非数字值
NEGATIVE_INFINITY：负无穷大，溢出时的返回值。该值小于MIN_VALUE。
POSITIVE_INFINITY：正无穷大，溢出时的返回值。该值大于MAX_VALUE。
prototype：Number 对象的静态属性。可以向对象添加属性和方法。
constructor：返回对创建此对象的Number函数的引用。
Number 对象方法
toExponential() ：把对象的值转为指数计数法
toFixed() ： 把数字转换为字符串，并可指定小数点的位数
toLocaleString() ： 把数字转换为字符串，使用本地数字格式顺序
toPrecision() : 把数字格式转为指定的长度
toString() ：把数字转换为字符串，使用指定的基数。数字的基数是2～36之间的整数。若省略该参数，则使用基数10.
valueOf() ：返回一个Number对象的原始数字值
TypeScript String
String 对象属性
length
prototype
constructor
String 对象方法
localeCompare() - 用本地特定对顺序来比较两个字符串 - 相同返回0 不同返回-1
TypeScript Array(数组)
声明数组的语法格式
let array_name [:datatype]; // 声明
array_name = [val1, val2, val3, ...]; // 初始化
let array_name [:datatype] = [val1, val2, val3, ...]; // 直接在声明时初始化
*如果数组声明时未设置类型，则会被认为时any类型，在初始化时根据第一个元素的类型来推断数组的类型。
Array 对象
Array 对象的构造函数接受两种值：
表示数组大小的数值
初始化的数组列表 元素使用逗号隔开
数组结构
let arr:number[] = [1, 2];
let [num1, num2] = arr
// num1 = 1, num2 = 2
数组迭代
for ... in
多维数组
let arr_name:datatype[] []
数组方法
reduce() - 将数组元素计算为一个值（从左到右）
reduceRight() - 将数组元素计算为一个值（从右到左）
TypeScript 元组
创建元组
let tuple_name = [val1, val2, val3, ...]
元组运算
push() - 向元组尾部添加元素
pop() - 从元组尾部移除元素，并返回移除的元素
结构元组
let tup = ['a', 1];
let [a, b] = tup;
// a = 'a', b = 1
TypeScript 联合类型
联合类型可以通过管道将变量设置多种类型，赋值时可以根据设置的类型来赋值。
*只能赋值指定的类型
联合类型 格式
datatype1 | datatype2 | datatype3 | ...
TypeScript 接口
定义接口
interface interface_name {}
接口和数组
接口中我们可以将数组的索引值和元素设置为不同类型，索引值类型可以是数字或字符串。
接口继承
单接口继承：Child_interface_name extends super_interface_name
多接口继承：Child_interface_name extends super_interface1_name, super_interface2_name, ...
TypeScript 类
类的模块（类的数据成员）
字段 - 类里面声明的变量，表示对象的有关数据
构造函数 - 类实例化时可调用，可以为类的对象分配内存
方法 - 对象要执行的操作
类的继承
子类不能继承父类的私有成员（方法和属性）和构造函数。
一次只能继承一个类，不支持继承多个类，但支持多重继承（A继承B，B继承C）。
语法：class child_class_name extends parent_class_name
static 关键字
static 关键字用于定义类的数据成员（属性和方法）为静态的，静态成员可以直接通过类名调用。
instanceof 运算符
instanceof 运算符用于判断对象是否是指定的类型，如果是返回true，否则返回false。
访问控制修饰符
TypeScript中，可以使用访问控制符来保护对类、变量、方法和构造方法的访问。
支持三种不同的访问权：
public（默认） - 公有 可以在任何地方被访问
protected - 受保护 可以被其自身以及其子类和父类访问
private - 私有 只能被其定义所在的类访问
类和接口
类可以实现接口，使用关键词 implements，可将接口字段作为类的属性使用。
TypeScript 对象
TypeScript 类型模板
TypeScript 中的对象必须是特定类型的实例。
在JavaScript中如果需要在对象中添加方法，可以直接 object.方法名 = ... 添加，但是在TypeScript中使用该方法会出现编译错误，因为TypeScript 中的对象必须是特定类型的实例。
TypeScript 命名空间
命名空间定义了标识符的可见范围，一个标识符可在多个名字空间中定义，它在不同名字空间中的含义是互不相关的。
命名空间使用 namespace 来定义。
如果需要在外部调用命名空间内的标识符，需要在标识符前添加 export 关键词。
举例：
namespace 命名空间名字 {
export interface 接口名 {}
export class 类名 {}
... ...
}
要在另一个命名空间调用 语法格式为：需要被调用的标识符所在命名空间.标识符
如果一个命名空间在另一个TypeScript文件中，则需要使用三斜杠 /// 引用它。
/// <reference path = "SomeFileName.ts" />
TypeScript 模块
模块的导入导出
export 导出 import 导入
举例：
导出文件名：SomeInterface.ts
导出代码：export interface SomeInterface { }
导入代码：import someInterfaceRef = require("./SomeInterface")
