TypeScript入門-枚舉、類型推論

枚舉

使用枚舉能夠定義一些具備名字的數字常量，和在C語言中同樣都是使用關鍵字enum

enum Direction {
    Up = 1,
    Down = 1<<2,
    Left,
    Right
}

 

注意：一個枚舉類型能夠有多個枚舉成員，每一個枚舉成員都有一個對應的數字值，這個數字值能夠是常數或者是計算得出的值。當知足下列條件時，枚舉成員的數字值被認爲是常數

• 不具備初始化函數而且以前的枚舉成員是常數。 在這種狀況下，當前枚舉成員的值爲上一個枚舉成員的值加1。 但第一個枚舉元素是個例外。 若是它沒有初始化方法，那麼它的初始值爲 0。
• 枚舉成員使用常數枚舉表達式初始化。 常數枚舉表達式是TypeScript表達式的子集，它能夠在編譯階段求值。 當一個表達式知足下面條件之一時，它就是一個常數枚舉表達式：
• 數字字面量
• 引用以前定義的常數枚舉成員（能夠是在不一樣的枚舉類型中定義的） 若是這個成員是在同一個枚舉類型中定義的，可使用非限定名來引用。
• 帶括號的常數枚舉表達式
• +, -, ~ 一元運算符應用於常數枚舉表達式
• +, -, *, /, %, <<, >>, >>>, &, |, ^ 二元運算符，常數枚舉表達式作爲其一個操做對象 若常數枚舉表達式求值後爲 NaN或Infinity，則會在編譯階段報錯。

 

例如：

enum Direction {
    //常數
    Up, //0
    Down = 3, //3
    Left = Down + 4, //7
    Right, //8

    //計算的值
    center = [1,2,3,4].length //4
}

 

注意：在枚舉類型中每一個枚舉成員對應的數字值必須是惟一的，不能重複。若是有重複，則會取最後一個

enum Direction {
    //常數
    Up, //0
    Down = 3, //3
    Left = Down + 4, //7
    Right, //8

    //計算的值
    center = [1,2,3].length //3
}

console.log(Direction.Down); //3
console.log(Direction[3]); //center

 

枚舉類型中是包含雙向映射的，即（value -> name）和（name -> value）

console.log(Direction.Down); //3
console.log(Direction[3]); //Down

 

常數枚舉

當訪問枚舉值時，爲了不生成多餘的代碼和間接引用，可使用常數枚舉。 常數枚舉是在enum關鍵字前使用const修飾符。

常數枚舉只能使用常數枚舉表達式而且不一樣於常規的枚舉的是它們在編譯階段會被刪除。 常數枚舉成員在使用的地方被內聯進來。 這是由於常數枚舉不可能有計算成員。

const enum Direction {
    //常數
    Up, //0
    Down = 3, //3
    Left = Down + 4, //7
    Right, //8

    //計算的值
    center = [1,2,3,4].length //error
}

 

類型推論

TypeScript裏，在有些沒有明確指出類型的地方，類型推論會幫助提供類型

let x = 'qwe';

變量x的類型被推斷爲string。 這種推斷髮生在初始化變量和成員，設置默認參數值和決定函數返回值時

 

最佳通用類型

有時須要從多個類型中推斷，這時會根據這些類型推斷出一個最合適的通用類型

let x = [0, 1, null];

爲了推斷x的類型，咱們必須考慮全部元素的類型。 這裏有兩種選擇： number和null。 計算通用類型算法會考慮全部的候選類型，並給出一個兼容全部候選類型的類型

 

可是有時沒有一個類型可以做爲全部候選類型的類型，若是沒有找到最佳通用類型的話，類型推論的結果是空對象類型，{}。 由於這個類型沒有任何成員，因此訪問其成員的時候會報錯。

通常要明確的指出類型

 

上下文類型

TypeScript類型推論也可能按照相反的方向進行。 這被叫作「按上下文歸類」。按上下文歸類會發生在表達式的類型與所處的位置相關時。

上下文歸類會在不少狀況下使用到。 一般包含函數的參數，賦值表達式的右邊，類型斷言，對象成員和數組字面量和返回值語句

window.onmousedown = function(mouseEvent) {
    console.log(mouseEvent.buton);  //error
};

之因此會報錯，是由於類型檢查器會根據賦值號=右邊來推斷參數mouseEvent的類型

 

若是上下文類型表達式包含了明確的類型信息，上下文的類型被忽略。 重寫上面的例子：

window.onmousedown = function(mouseEvent: any) {
    console.log(mouseEvent.buton); 
};

這個函數表達式有明確的參數類型註解，上下文類型被忽略。 這樣的話就不報錯了，由於這裏不會使用到上下文類型

 

 

參考資料：

        TypeScript中文網 · TypeScript——JavaScript的超集