TypeSctipt语法和类型基础

TypeScript基础语法

TypeScript程序由以下部分组成：

• 模块
• 函数
• 变量
• 语句和表达式
• 注释

tsc常用编译参数

参数	参数说明
--help	显示帮助信息
--module	载入扩展模块
--target	设置ECMA版本
--declaration	额外生成一个.d.ts扩展名的文件（会生成两个文件.d.ts和.js）
--removeComments	删除文件的注释
--out	编译多个文件并合并到一个输出文件
--sourcemap	生成一个sourcemap(.map)文件。sourcemap是一个存储源代码和编译代码对应闻之映射的信息文件。
--module nolmplicitAny	在表达式和声明上有隐含的any类型时报错
--watch	在监视模式下运行编译器。会监视输出文件，在他们改变时重新编译。

TypeScript保留关键字

image.png

语法

• 空白和换行
  TS会忽略程序中出现的空格、制表符和换行符（用来缩进代码）。
• TypeScript区分大小写字符
• 分号可选
  写在同一行一定要使用分号来分隔，否则会报错（每行指令都是一段语句）。
• 注释
  单行注释//；多行注释/* */

TypeScript和面向对象

TS是一种面向对象的编程语言。
面向对象主要有两个概念：对象和类。

• 对象：对象是类的一个实例，有状态和行为。
• 类：类是一个模板，描述一系列对象的行为和状态。
• 方法：方法是类的操作的实现步骤。

基础类型

数据类型	关键字	描述
任意类型	any	声明为any的变量可以赋予任意类型的值。
数字类型	number	双精度64位浮点值。可以表示整数和分数，进制数。
字符串类型	string	‘和“表示字符串类型。`定义多行文本和内嵌表达式。
布尔类型	boolean	true和false
数组类型	无	声明变量是数组。number[]或Array
元组	无	用来表示已知元素的数量和类型的数组。各元素类型不必相同，对应位置类型需相同。
枚举	enum	枚举类型用于定义数值集合。enum Color {Red, Green, Blue};let c: Color = Color.Blue;console.log(c); // 输出 2？？
void	void	用于标识方法返回值的类型，表示该方法没有返回值 。
null	null	空值
undefined	undefined	未定义的值
never	never	never是其他类型（包括null和undefined）的子类型，代表从不会出现的值。

Any类型

任意值是TS针对编程时类型不明确的变量使用的数据类型，常用于以下情况：

1. 变量的值会动态改变，如用户的输入，任意值类型可以让这些变量跳过编译阶段的类型检查。
2. 改写现有代码时，任意值允许在编译时可选择地包含或移除类型检查。？？

let x: any = 4;
x.ifItExists();    // 正确，ifItExists方法在运行时可能存在，但这里并不会检查
x.toFixed();    // 正确

3. 定义存储各种类型数据的数组。let arr: any[]=[1,false,'']

undefined

null和undefined是其他类型（包括void）的子类型，可以赋值给其他类型，赋值后的类型会编程null和undefined.而TS中启用严格的空校验（--strictNuilChecks）特性，就可以使得null和undefined只能被赋值给或本身对应的类型。启用 --strictNullChecks；let x: number | null | undefined;联合类型

never类型

never是其他类型 （包括null和undefined）的子类型，代表从不会出现的值。never类型的变量只能被never类型所赋值，在函数中它通常表现为抛出异常或无法执行到终止点（无线循环）。

let x: never;
let y: number;

// 运行错误，数字类型不能转为 never 类型
x = 123;

// 运行正确，never 类型可以赋值给 never类型
x = (()=>{ throw new Error('exception')})();

// 运行正确，never 类型可以赋值给 数字类型
y = (()=>{ throw new Error('exception')})();

// 返回值为 never 的函数可以是抛出异常的情况
function error(message: string): never {
    throw new Error(message);
}

// 返回值为 never 的函数可以是无法被执行到的终止点的情况
function loop(): never {
    while (true) {}
}

TypeScript变量声明

变量是一种使用方便的占位符，用于引用计算机地址。可以把变量看作存储数据的容器。
TS变量命名规则：

• 变量名可以包含数字和字母。
• 除了下划线 _和美元$符号外，不能包含其他特殊字符，包括空格。
• 不能以数字开头。

//声明变量的类型及初始值：
var uname:string = "Runoob";
//声明变量的类型，无初始值，变量值 会设置为undefined
var uname:string;
//声明变量并赋初始值，不设类型，可以是任意类型：
var uname = "Runoob";
//声明变量不设类型和初始值，可以是任意类型，默认初始值为undefined
var uname;

注意：变量不要使用 name 否则会与 DOM 中的全局 window 对象下的 name 属性出现了重名。
TypeScript 遵循强类型，如果将不同的类型赋值给变量会编译错误。

类型断言

它之所以不被称为类型转换，是因为转换通常意味着某种运行时的支持。但类型断言纯粹是一个编译时语法，它也是一种为编译器提供关于如何分析代码的方法。

类型推断

当类型没有给出时，TS编译器利用类型推断来推断类型。（类型一旦被推断，后面再次赋值其他类型时，会编译错误）
如果由于缺乏声明而不能推断出类型，则类型被默认动态any类型。

变量作用域

• 全局作用域
• 类作用域：这个变量也可以叫做字段.类变量声明在类中，类方法之外。可以通过类的对象来访问变量。类变量也可以是静态的，可以直接通过类名访问。
• 局部作用域

var global_num = 12          // 全局变量
class Numbers { 
   num_val = 13;             // 实例变量
   static sval = 10;         // 静态变量
   
   storeNum():void { 
      var local_num = 14;    // 局部变量
   } 
} 
console.log("全局变量为: "+global_num)  
console.log(Numbers.sval)   // 静态变量
var obj = new Numbers(); 
console.log("实例变量: "+obj.num_val)

TypeScript运算符

TypeScript条件语句

TypeScript循环

同JS类似

TypeScript函数

可选参数、默认参数和剩余参数

1. 可选参数
   在TS函数中，若定义了参数，就必须传入这些参数，除非将参数设置为可选，可选参数使用？标识。function buildName(firstName: string, lastName?: string)
   可选参数必须跟在必须参数后。若都是可选参数就不做要求。
2. 默认参数
   可以设置参数的默认值，这样在调用函数的时候，若不传入该参数的值，则使用默认参数function discount(price:number,rate:number = 0.50)。
   编译后的js将在内部if (rate === void 0) { rate = 0.50; }判断rate的取值。
3. 剩余参数
   当不确定要向函数传入多少个参数，剩余参数允许将一个不确定数量的参数作为一个数组传入。
   函数的最后一个命名参数以...为前缀，它将成为一个由剩余参数组成的数组。

函数重载

重载是方法名字相同，参数不同，返回类型可相同也可不同。每个重载的方法（或者构造函数）的参数类型列表独一无二。

1. 参数类型不同：
   function disp(string):void;
function disp(number):void;
2. 参数数量不同
   function disp(n1:number):void;
function disp(x:number,y:number):void;
3. 参数类型顺序不同
   function disp(n1:number,s1:string):void;
function disp(s:string,n:number):void;
   如果参数类型不同，则参数类型应设置为any；参数数量不同，将不同的参数设置为可选。
   同JS类似