資訊專欄INFORMATION COLUMN
摘要：現在，出現了更多本身支持或者通過插件支持語法智能提示糾錯甚至是內置編譯器的文本編輯器和。
TypeScript是什么
TypeScript是JavaScript的一個超集
TypeScript需要編譯為JavaScript才能運行（語法糖）
TypeScript提供了類型系統，規范類似Java
TypeScript提供了ES6的支持，也可以支持部分ES7草案的特性，不用擔心TypeScript無法兼容目前主流的JavaScript解釋器
環境安裝安裝node.js
https://nodejs.org/en/download/
安裝TypeScript包，這就是TS的編譯器
npm install -g typescript
檢查TypeScript是否安裝成功
tsc -v
TypeScript是開源的項目，由微軟開發和維護，因此最初只有微軟的?Visual Studio?支持。現在，出現了更多本身支持或者通過插件支持 TypeScript 語法、智能提示、糾錯、甚至是內置編譯器的文本編輯器和IDE。
Visual Studio Code，微軟出品，內置支持TypeScript特性
Sublime Text的官方插件
WebStorm的最新版本內置支持
類型系統 原始數據類型主類型：
string、number、boolean
特殊類型：
null、undefined、symbol（ES6）
基礎類型聲明與使用：
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;
等價于：
let name : any;
name = ‘Tom’;
name = 666;
類型推論
TS會在沒有明確指定類型的時候推測出一個類型，這就是類型推論
let user = ‘Tom’; user = 666; demo.ts(2,1): error TS2322: Type "666" is not assignable to type "string".聯合類型
TS中的聯合類型表示取值可為多種類型中的一種:
let user: string | number; user = 666; user = ‘Tom’;
訪問聯合類型的屬性或方法時，只能訪問所有類型的共有方法:
function test(param: string|number){
return param.length;
}
demo.ts(2,18): error TS2339: Property "length" does not exist on type "string | number’.
類型斷言
類型斷言可以手動指定一個值的類型,但是類型斷言不是強制類型轉換，TypeScript編譯器不支持強制類型轉換。
function test(param: number|string){
if((param).length)
return (param).length;
else
return param.toString().length
}
對象的類型—接口
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
}
函數的類型
函數聲明
function avg(x: number,y:number):number{
return (x+y)/2;
}
函數表達式
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;
}
函數可選參數：
function avg(x: number,y?:number):number{
if(y){
return (x+y)/2;
}else{
return x;
}
}
可選參數必須在必選參數的后面
函數的可選參數與默認值:
function avg(y:number = 10,x: number):number{
if(y){
return (x+y)/2;
}else{
return x;
}
}
TypeScript會將添加默認值的參數識別為可選參數，此時不受“可選參數必須在必選參數的后面”的限制
函數重載:
TypeScript中通過為一個函數進行多次函數定義，并實現函數完成重載
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(‘’);
}
}
面向對象的函數重載：
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"));
字符串字面量類型
該類型約束值只能是某幾個字符串的一個，這是在編譯器層面做的約束，并不會改變生成的js代碼
type Name = "abc" | "def" | "mn";
function demo(e: Name): void{
console.log(e);
}
demo(‘abc");
TypeScript與面向對象
類
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中抽象類不允許被實例化
abstract class BtcBlock {
public abstract computeHash(x:string):string;
}
class Block extends BtcBlock {
public computeHash(x:string):string{
return `btc${x}`;
};
}
接口
上節已提到，TS中的接口就是抽象多個類的共有屬性與方法，作為對象的類型而存在
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");
}
}
泛型
即在定義類、函數或接口時不指定具體類型，而在使用時指定類型的特性。
