TypeScript 基础语法入门

一.基础数据类型

1. Any 类型

任意值是 TypeScript 针对编程时类型不明确的变量使用的一种数据类型，它常用于以下三种情况。

1. 变量的值会动态改变是，比如来自用户的输入，任意类型可以让这些变量跳过编译阶段的类型检查

let x: any = 1;
x = 'Is time';
x = false;

2. Null 和 Undefined

null

在 JavaScript 中 null 表示 "什么都没有"。
null 是一个只有一个值的特殊类型。表示一个空对象引用。
用 type of 检测 null 返回是 object。

undefined

在 JavaScript 中, undefined 是一个没有设置值的变量。

type of 一个没有值的变量会返回 undefined。

Null 和 Undefined 是其他任何类型（包括 void）的子类型，可以赋值给其它类型，如数字类型，此时，赋值后的类型会变成 null 或 undefined。而在 TypeScript 中启用严格的空校验（--strictNullChecks）特性，就可以使得 null 和 undefined 只能被赋值给 void 或本身对应的类型

//启用严格的空校验(--strictNullChecks)
let x: number;
x = 1; // 运行正确
x = undefined;    // 运行错误
x = null;    // 运行错误

// 启用 --strictNullChecks
let x: number | null | undefined;
x = 1; // 运行正确
x = undefined;    // 运行正确
x = null;    // 运行正确

3. 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 变量声明

1. 声明变量的类型及初始值：

var [变量名] : [类型] = 值;
var uname:string = "time";

2. 声明变量的类型，但没有初始值，变量值会设置为 undefined：

var [变量名]: [类型];
var uname:string;

3. 声明变量并初始值，但不设置类型，该变量可以是任意类型：

var [变量名] = 值;
var uname = "time";

4. 声明变量没有设置类型和初始值，类型可以是任意类型，默认初始值为 undefined：

var [变量名];
var uname;

注意:变量不要使用 name 否则会与 DOM 中的全局 window 对象下的 name 属性出现了重名。

类型断言

类型断言可以用来手动指定一个值的类型，即允许变量从一种类型更改为另一种类型。
语法格式：

<类型> 值

或

值 as 类型

示例：

var str = '1'
var str2:number = <number><any> str //str、str2是string类型
console.log(str2)

个人理解

类型断言不是类型强制转换，而是类型选择。只是在特定地点强制认为该变量的类型为断言类型。
例如：
val变量为联合类型number和string,即val既是number类型，也是string类型，当代码中需要返回val的长度时，val.length就会报错，因为number类型没有length方法。
访问联合类型值的属性时，这个属性必须是所有可能类型的共有属性

变量作用域

变量作用域指定了变量定义的位置。

程序中变量的可用性由变量作用域决定。

TypeScript 有以下几种作用域：

• 全局作用域 ： 全局变量定义在程序结构的外部，它可以在你代码的任何位置使用。
• 类作用域 ： 这个变量也可以称为 字段。类变量声明在一个类里头，但在类的方法外面。 该变量可以通过类的对象来访问。类变量也可以是静态的，静态的变量可以通过类名直接访问。
• 局部作用域 ： 局部变量，局部变量只能在声明它的一个代码块（如：方法）中使用。

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)