資訊專欄INFORMATION COLUMN
摘要：現(xiàn)在，出現(xiàn)了更多本身支持或者通過插件支持語法智能提示糾錯(cuò)甚至是內(nèi)置編譯器的文本編輯器和。
TypeScript是什么
TypeScript是JavaScript的一個(gè)超集
TypeScript需要編譯為JavaScript才能運(yùn)行（語法糖）
TypeScript提供了類型系統(tǒng)，規(guī)范類似Java
TypeScript提供了ES6的支持，也可以支持部分ES7草案的特性，不用擔(dān)心TypeScript無法兼容目前主流的JavaScript解釋器
環(huán)境安裝安裝node.js
https://nodejs.org/en/download/
安裝TypeScript包，這就是TS的編譯器
npm install -g typescript
檢查TypeScript是否安裝成功
tsc -v
TypeScript是開源的項(xiàng)目，由微軟開發(fā)和維護(hù)，因此最初只有微軟的?Visual Studio?支持。現(xiàn)在，出現(xiàn)了更多本身支持或者通過插件支持 TypeScript 語法、智能提示、糾錯(cuò)、甚至是內(nèi)置編譯器的文本編輯器和IDE。
Visual Studio Code，微軟出品，內(nèi)置支持TypeScript特性
Sublime Text的官方插件
WebStorm的最新版本內(nèi)置支持
類型系統(tǒng) 原始數(shù)據(jù)類型主類型：
string、number、boolean
特殊類型：
null、undefined、symbol（ES6）
基礎(chǔ)類型聲明與使用：
string：
let name: string = ‘Alice’;
let desc: string = `my name is ${name}`;
number：
let norm: number = 666;
let binaryNum: number = 0b111;
let hexNum: number = 0xfff;
let octalNum: number = 0o17;
let nan: number = NaN;
let infinity: number = Infinity;
boolean:
let yet: boolean = true;
let flag: boolean = Boolean(0);
null:
let n: null = null;
undefined:
let u: undefined = undefined;
symbol:
let s: Symbol = Symbol(2);
void:
let v2: void = null;
let v5: void = undefined;
任意值類型
let name: string = ‘Tom’;
name = 666;
demo.ts(2,1): error TS2322: Type "666" is not assignable to type "string".
使用any類型:
```
let name: any = ‘Tom’;
name = 666;
```
隱式任意值類型:
let name;
name = ‘Tom’;
name = 666;
等價(jià)于：
let name : any;
name = ‘Tom’;
name = 666;
類型推論
TS會(huì)在沒有明確指定類型的時(shí)候推測(cè)出一個(gè)類型，這就是類型推論
let user = ‘Tom’; user = 666; demo.ts(2,1): error TS2322: Type "666" is not assignable to type "string".聯(lián)合類型
TS中的聯(lián)合類型表示取值可為多種類型中的一種:
let user: string | number; user = 666; user = ‘Tom’;
訪問聯(lián)合類型的屬性或方法時(shí)，只能訪問所有類型的共有方法:
function test(param: string|number){
return param.length;
}
demo.ts(2,18): error TS2339: Property "length" does not exist on type "string | number’.
類型斷言
類型斷言可以手動(dòng)指定一個(gè)值的類型,但是類型斷言不是強(qiáng)制類型轉(zhuǎn)換，TypeScript編譯器不支持強(qiáng)制類型轉(zhuǎn)換。
function test(param: number|string){
if((param).length)
return (param).length;
else
return param.toString().length
}
對(duì)象的類型—接口
interface Sport {
name: string,
teamwork: boolean
}
let football: Sport = {
name: "soccer",
teamwork: true
}
可選屬性：
interface Sport {
name: string,
teamwork: boolean,
needPg?: boolean
}
let football: Sport = {
name: "soccer",
teamwork: true
}
任意屬性：
interface Sport {
name: string,
teamwork: boolean,
needPg?: boolean,
[other: string]: any
}
let football: Sport = {
name: "soccer",
teamwork: true,
needPg: true,
count: 22
}
一旦定義任意屬性，那么確定屬性和可選屬性的類型必須是它的子屬性
只讀屬性：
interface Sport {
readonly name: string,
teamwork: boolean
}
let football: Sport = {
name: "soccer",
teamwork: true
}
函數(shù)的類型
函數(shù)聲明
function avg(x: number,y:number):number{
return (x+y)/2;
}
函數(shù)表達(dá)式
let avg = function(x:number,y:number):number{
return (x+y)/2;
}
or
let avg: (x:number,y:number) => number = function(x:number,y:number):number{
return (x+y)/2;
}
函數(shù)可選參數(shù)：
function avg(x: number,y?:number):number{
if(y){
return (x+y)/2;
}else{
return x;
}
}
可選參數(shù)必須在必選參數(shù)的后面
函數(shù)的可選參數(shù)與默認(rèn)值:
function avg(y:number = 10,x: number):number{
if(y){
return (x+y)/2;
}else{
return x;
}
}
TypeScript會(huì)將添加默認(rèn)值的參數(shù)識(shí)別為可選參數(shù)，此時(shí)不受“可選參數(shù)必須在必選參數(shù)的后面”的限制
函數(shù)重載:
TypeScript中通過為一個(gè)函數(shù)進(jìn)行多次函數(shù)定義，并實(shí)現(xiàn)函數(shù)完成重載
function reverse(x: number): number;
function reverse(x: string): string;
function reverse(x: any):any{
if(typeof x == ‘number’){
return Number(x.toString().split(‘’).reverse().join(‘’));
}else{
return x.split(‘’).reverse().join(‘’);
}
}
面向?qū)ο蟮暮瘮?shù)重載：
interface A{
say(x:number);
say(x:string);
}
class AA implements A{
say (x:any){
if(typeof x == ‘string’)
console.log(‘string’,x);
else
console.log(‘number’,x);
}
}
console.log((new AA()).say(1));
console.log((new AA()).say("123"));
字符串字面量類型
該類型約束值只能是某幾個(gè)字符串的一個(gè)，這是在編譯器層面做的約束，并不會(huì)改變生成的js代碼
type Name = "abc" | "def" | "mn";
function demo(e: Name): void{
console.log(e);
}
demo(‘a(chǎn)bc");
TypeScript與面向?qū)ο?/b>
類
class Block {
private hash: string;
private prevHash: string;
private nonce: number;
constructor (hash: string, prevHash: string, nonce = 0){
this.hash = hash;
this.prevHash = prevHash;
this.nonce = nonce;
}
public get $hash(): string {
return this.hash;
}
public set $hash(value: string) {
this.hash = value;
}
public get $prevHash(): string {
return this.prevHash;
}
public set $prevHash(value: string) {
this.prevHash = value;
}
public get $nonce(): number {
return this.nonce;
}
public set $nonce(value: number) {
this.nonce = value;
}
public computeHash(){
let sha256 = crypto.createHash("sha256");
sha256.update(`${this.prevHash}${this.nonce.toString(16)}`,"utf8");
let hash = sha256.digest("hex");
return hash;
}
}
抽象類
TypeScript中抽象類不允許被實(shí)例化
abstract class BtcBlock {
public abstract computeHash(x:string):string;
}
class Block extends BtcBlock {
public computeHash(x:string):string{
return `btc${x}`;
};
}
接口
上節(jié)已提到，TS中的接口就是抽象多個(gè)類的共有屬性與方法，作為對(duì)象的類型而存在
interface Alarm {
alert(): void;
}
interface Light {
lightOn(): void;
lightOff(): void;
}
class Auto implements Alarm, Light {
alert(){
console.log("car alart");
}
lightOn(){
console.log("car light on");
}
lightOff(){
console.log("car light off");
}
}
泛型
即在定義類、函數(shù)或接口時(shí)不指定具體類型，而在使用時(shí)指定類型的特性。
