TypeScript 學習（一）

挖坑埋神經病發表於2018-10-18
TypeScript

倉庫地址：github.com/YaliixxG/Ty…

基礎型別

布林值

let isDone: boolean = false
複製程式碼

數字

let decLiteral: number = 6

let hexLiteral: number = 0xf00d

let binaryLiteral: number = 0b1010

let octalLiteral: number = 0o744
複製程式碼

字串

let name: string = "bob"

let age: number = 37

//也可以使用ES6模板字串 `` 和 ${}

let sentence: string = ` Hello, my name is ${name}. I'll be ${age +
  1} years old next month.`
複製程式碼

陣列

兩種方式定義陣列：

  • 在元素型別後面接上[],表示由此型別元素組成的一個陣列：
let list: number[] = [1, 2, 3]
複製程式碼
  • 使用陣列泛型，Array<元素型別>:
let list: Array<number> = [1, 2, 3]
複製程式碼

元祖 Tuple

元祖可以表示一個已知元素數量和型別的陣列，各元素的型別不必相同。

    let x: [string, number]; //定義一對值分別為string和number型別的元祖

    x = ['hello',10]; //OK

    x = [10, 'hello]; //報錯
複製程式碼

列舉

enum型別是對 JS 資料型別的一個補充，它表示的是一個命名元素的集合。

//命名元素集合裡面的值，預設為遞增的 0,1,2,3...

enum Color {
  Red,
  Green,
  Blue
}

let c: Color = Color.Green // 1

//也可以顯示指定值,沒有被指定的會預設在前面的值遞增

enum Color {
  Red = 1,
  Green,
  Blue = 4
}

let c: Color = Color.Green // 2

//當然，你也可以用值來得到對應的名稱是什麼，但是如果沒有與之對應的列舉項就是 undefined

enum Coloe {
  Red = 1,
  Green,
  Blue
}

let colorName: string = Color[2] // 'Green'

let colorName: string = Color[Color.Green] // 'Green'
複製程式碼

任意值

當我們並不清楚這個變數的型別的時候，可以用any型別來標記這些變數

let notSure: any = 4

notSure = "可能是個字串呢"

notSure = false //這必須是個布林值了 = =
複製程式碼

空值

void型別像是與any型別相反，它表示沒有任何型別。
當一個函式沒有返回值時，它的返回值型別通常就是void。

function warnUser(): void {
  alert("這是一條警告資訊")
}
複製程式碼

宣告一個void型別的變數沒有什麼大用，因為你只能為它賦予 undefined 和 null 。

let unusable: void = undefined
複製程式碼

Null 和 Undefined

預設情況下null和undefined是所有型別的子型別。

Never

never型別表示的是那些永不存在的值的型別。 例如，never型別是那些總是會丟擲異常或根本就不會有返回值的函式表示式或箭頭函式表示式的返回值型別； 變數也可能是never型別，當它們被永不為真的型別保護所約束時。
never型別是任何型別的子型別，也可以賦值給任何型別；然而，沒有型別是never的子型別或可以賦值給never型別（除了never本身之外）。 即使any也不可以賦值給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) {}
}
複製程式碼

Object

object表示非原始型別，也就是除number，string，boolean，symbol，null或undefined之外的型別。

型別斷言

通過型別斷言這種方式可以告訴編譯器，“相信我，我知道自己在幹什麼”。 型別斷言好比其它語言裡的型別轉換，但是不進行特殊的資料檢查和解構。 它沒有執行時的影響，只是在編譯階段起作用。 TypeScript 會假設你，程式設計師，已經進行了必須的檢查。

型別斷言有兩種形式。 其一是“尖括號”語法：

let someValue: any = "this is a string"

let strLength: number = (<string>someValue).length
複製程式碼

另一種為 as 語法：

let someValue: any = "this is a string"

let strLength: number = (someValue as string).length
複製程式碼

相關文章