TypeScript學習（二） TypeScript基礎(chǔ)類型

本章是在官方文檔上加以注解學習

1.布爾值

最基本的數(shù)據(jù)類型就是簡單的 true/false 值露乏，在JavaScript 和 TypeScript 里叫做 boolean（其它語言中也一樣）碧浊。

let isDone: boolean = false;

注解：

let 變量名 : 基本類型 = 值

好像有了靜態(tài)語言的那種樣子? ，不像以前的js瘟仿，它的類型靠賦給它的值決定.

如果我們將后面的值賦值為字符串 “hello world”會怎樣? 把鼠標指向紅色波浪線處箱锐，會看見詳細的報錯信息??

let isDone:boolean = "hello world";

image

所以說TS的代碼更為嚴格規(guī)范。

2.數(shù)字

和 JavaScript 一樣劳较，TypeScript 里的所有數(shù)字都是浮點數(shù)驹止。這些浮點數(shù)的類型是 number。除了支持十進制和十六進制字面量兴想，TypeScript 還支持 ECMAScript 2015中引入的二進制和八進制字面量幢哨。

let decLiteral: number = 20
let hexLiteral: number = 0x14
let binaryLiteral: number = 0b10100
let octalLiteral: number = 0o24

注解：

想起了一個笑話，你就是八進制的 666???♂? (特此申明：沒有侮辱誰的意思呀)

image

3.字符串

JavaScript 程序的另一項基本操作是處理網(wǎng)頁或服務器端的文本數(shù)據(jù)。像其它語言里一樣，我們使用 string 表示文本數(shù)據(jù)類型怖竭。和 JavaScript 一樣，可以使用雙引號（"）或單引號（'）表示字符串岸售。

let name: string = 'bob'
name = 'smith'

你還可以使用模版字符串，它可以定義多行文本和內(nèi)嵌表達式厂画。這種字符串是被反引號包圍（ `）凸丸，并且以 ${ expr } 這種形式嵌入表達式

let name: string = `Yee`
let age: number = 37
let sentence: string = `Hello, my name is ${ name }.
I'll be ${ age + 1 } years old next month.`

注解：

這也就是ES6的寫法嘛

這與下面定義 sentence 的方式效果相同：

let sentence: string = 'Hello, my name is ' + name + '.\n\n' +
'I\'ll be ' + (age + 1) + ' years old next month.'

4.數(shù)組

TypeScript 像 JavaScript 一樣可以操作數(shù)組元素。有兩種方式可以定義數(shù)組袱院。第一種屎慢，可以在元素類型后面接上 []，表示由此類型元素組成的一個數(shù)組：

let list: number[] = [1, 2, 3]

第二種方式是使用數(shù)組泛型忽洛，Array<元素類型>

let list: Array<number> = [1, 2, 3]

注解：

（這種泛型的寫法是之前js中所沒有的）腻惠，<> 中的類型表示后面數(shù)組中元素必須為這種類型，否則報錯

let list1: Array<number> = [1, 2, 3]; // yes

let list: Array<number> = [1, 'hello', 3]; // no

image

5.元祖 Tuple

元組類型允許表示一個已知元素數(shù)量和類型的數(shù)組欲虚，各元素的類型不必相同集灌。比如，你可以定義一對值分別為 string 和 number 類型的元組复哆。

let x: [string, number]
x = ['hello', 10] // OK
x = [10, 'hello'] // Error

當訪問一個已知索引的元素欣喧，會得到正確的類型：

console.log(x[0].substr(1)) // OK
console.log(x[1].substr(1)) // Error, 'number' 不存在 'substr' 方法

注解：

數(shù)組各個元素的數(shù)據(jù)類型要和數(shù)據(jù)類型的位置一一對應??

image

6.枚舉

enum 類型是對 JavaScript 標準數(shù)據(jù)類型的一個補充。像 C# 等其它語言一樣梯找，使用枚舉類型可以為一組數(shù)值賦予友好的名字唆阿。

enum Color {Red, Green, Blue}
let c: Color = Color.Green

默認情況下，從 0 開始為元素編號锈锤。你也可以手動的指定成員的數(shù)值驯鳖。例如饰躲，我們將上面的例子改成從 1 開始編號：

enum Color {Red = 1, Green, Blue}
let c: Color = Color.Green

注解：

image

調(diào)試了一下，輸出為 1

全部都采用手動賦值：

enum Color {Red = 1, Green = 2, Blue = 4}
let c: Color = Color.Green

枚舉類型提供的一個便利是你可以由枚舉的值得到它的名字臼隔。例如，我們知道數(shù)值為 2妄壶，但是不確定它映射到 Color 里的哪個名字摔握，我們可以查找相應的名字：

enum Color {Red = 1, Green, Blue}
let colorName: string = Color[2]
console.log(colorName) // 顯示'Green'因為上面代碼里它的值是2

注解：

上面的代碼編譯后的js文件如下

image

7.any

有時候，我們會想要為那些在編程階段還不清楚類型的變量指定一個類型丁寄。這些值可能來自于動態(tài)的內(nèi)容氨淌，比如來自用戶輸入或第三方代碼庫。這種情況下伊磺，我們不希望類型檢查器對這些值進行檢查而是直接讓它們通過編譯階段的檢查盛正。那么我們可以使用 any 類型來標記這些變量：

let notSure: any = 4
notSure = 'maybe a string instead'
notSure = false // 也可以是個 boolean

在對現(xiàn)有代碼進行改寫的時候，any 類型是十分有用的屑埋，它允許你在編譯時可選擇地包含或移除類型檢查豪筝。并且當你只知道一部分數(shù)據(jù)的類型時，any 類型也是有用的摘能。比如续崖，你有一個數(shù)組，它包含了不同的類型的數(shù)據(jù)：

let list: any[] = [1, true, 'free']
list[1] = 100

注解：

這樣就沒有類型語法檢查团搞，感覺和js沒啥區(qū)別

8.void

某種程度上來說严望，void 類型像是與 any 類型相反，它表示沒有任何類型逻恐。當一個函數(shù)沒有返回值時像吻，你通常會見到其返回值類型是 void：

function warnUser(): void {
console.log('This is my warning message')
}

聲明一個 void 類型的變量沒有什么大用，因為你只能為它賦予 undefined 和 null：

let unusable: void = undefined

9.null 和 undefined

TypeScript 里复隆，undefined 和 null 兩者各自有自己的類型分別叫做 undefined 和 null拨匆。和 void 相似，它們的本身的類型用處不是很大：

let u: undefined = undefined
let n: null = null

默認情況下 null 和 undefined 是所有類型的子類型昏名。就是說你可以把 null 和 undefined 賦值給 number 類型的變量涮雷。
然而，當你指定了 --strictNullChecks 標記轻局，null 和 undefined 只能賦值給 void 和它們各自洪鸭，這能避免很多常見的問題。也許在某處你想傳入一個 string 或 null 或 undefined仑扑，你可以使用聯(lián)合類型 string | null | undefined览爵。再次說明，稍后我們會介紹聯(lián)合類型镇饮。

10.never

never 類型表示的是那些永不存在的值的類型蜓竹。例如， never 類型是那些總是會拋出異常或根本就不會有返回值的函數(shù)表達式或箭頭函數(shù)表達式的返回值類型俱济；變量也可能是 never 類型嘶是，當它們被永不為真的類型保護所約束時。
never 類型是任何類型的子類型蛛碌，也可以賦值給任何類型聂喇；然而，沒有類型是 never 的子類型或可以賦值給never 類型（除了 never 本身之外）蔚携。即使 any 也不可以賦值給 never希太。
下面是一些返回 never 類型的函數(shù)：

// 返回never的函數(shù)必須存在無法達到的終點
function error(message: string): never {
    throw new Error(message)
}
// 推斷的返回值類型為never
function fail() {
    return error("Something failed")
}
// 返回never的函數(shù)必須存在無法達到的終點
function infiniteLoop(): never {
    while (true) {
    }
}

11.object

object 表示非原始類型，也就是除 number酝蜒，string誊辉，boolean，symbol亡脑，null或undefined 之外的類型堕澄。
使用 object 類型，就可以更好的表示像 Object.create 這樣的 API霉咨。例如：

declare function create(o: object | null): void
create({ prop: 0 }) // OK
create(null) // OK
create(42) // Error
create('string') // Error
create(false) // Error
create(undefined) // Error

12.類型斷言

有時候你會遇到這樣的情況奈偏，你會比 TypeScript 更了解某個值的詳細信息。通常這會發(fā)生在你清楚地知道一個實體具有比它現(xiàn)有類型更確切的類型躯护。
通過類型斷言這種方式可以告訴編譯器惊来，“相信我，我知道自己在干什么”棺滞。類型斷言好比其它語言里的類型轉(zhuǎn)換裁蚁，但是不進行特殊的數(shù)據(jù)檢查和解構(gòu)。它沒有運行時的影響继准，只是在編譯階段起作用枉证。 TypeScript 會假設你，程序員移必，已經(jīng)進行了必須的檢查室谚。
類型斷言有兩種形式。其一是“尖括號”語法：

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

兩種形式是等價的崔泵。至于使用哪個大多數(shù)情況下是憑個人喜好秒赤；然而，當你在 TypeScript 里使用 JSX 時憎瘸，只有 as 語法斷言是被允許的入篮。

本文參考：