教材文檔：https://www.tslang.cn/docs/handbook/basic-types.html

TypeScript支持與JavaScript幾乎相同的數據類型，此外還提供了實用的枚舉類型

布爾值

最基本的數據類型就是簡單的true/false值，在JavaScript和TypeScript裡叫做boolean。

let isDone: boolean = false;

數字

和JavaScript一樣，TypeScript裡的所有數字都是浮點數。 這些浮點數的類型是 number。 支持二進制、八進制、十進制、十六進制字面量。

let decLiteral: number = 6;
let hexLiteral: number = 0xf00d;
let binaryLiteral: number = 0b1010;
let octalLiteral: number = 0o744;

字符串

JavaScript一樣，可以使用雙引號（ "）或單引號（'）表示字符串。

let name: string = "bob";
name = "smith";

還可以使用模版字符串，它可以定義多行文本和

內嵌表達式。 這種字符串是被反引號包圍（ `），並且以${ expr }這種形式嵌入表達式。

數組

有兩種方式可以定義數組。 第一種，可以在元素類型後面接上 []，表示由此類型元素組成的一個數組：

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

第二種方式是使用數組泛型，Array：

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

元組 Tuple

元組類型允許表示一個已知元素數量和類型的數組，各元素的類型不必相同。 比如，你可以定義一對值分別為 string和number類型的元組。（一一對應）

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

console.log(x[0].substr(1)); // OK
console.log(x[1].substr(1)); // Error, 'number' does not have 'substr'

當訪問一個越界的元素，會使用聯合類型替代：

x[3] = 'world'; // OK, 字符串可以賦值給(string | number)類型
console.log(x[5].toString()); // OK, 'string' 和 'number' 都有 toString
x[6] = true; // Error, 布爾不是(string | number)類型

枚舉

enum類型是對JavaScript標準數據類型的一個補充。使用枚舉類型可以為一組數值賦予友好的名字。

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

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

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

或者，全部都採用手動賦值：

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

枚舉類型提供的一個便利是你可以由枚舉的值得到它的名字。 例如，我們知道數值為2，但是不確定它映射到Color裡的哪個名字，我們可以查找相應的名字：

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

Any

有時候在編程階段還不清楚類型的變量類型,這些值可能來自於動態的內容，比如來自用戶輸入或第三方代碼庫。 那麼我們可以使用 any類型來標記這些變量：

let notSure: any = 4;
notSure = "maybe a string instead";
notSure = false; // okay, definitely a boolean

Void

某種程度上來說，void類型像是與any類型相反，它表示沒有任何類型

。 當一個函數沒有返回值時，你通常會見到其返回值類型是 void：

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

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

let unusable: void = undefined;

Null 和 Undefined

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

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

默認情況下null和undefined是所有類型的子類型。 就是說你可以把 null和undefined賦值給number類型的變量。

Never

never類型表示的是那些永不存在的值的類型。 例如， never類型是那些總是會拋出異常或根本就不會有返回值的函數表達式或箭頭函數表達式的返回值類型； 變量也可能是 never類型，當它們被永不為真的類型保護所約束時。

never類型是任何類型的子類型，也可以賦值給任何類型；然而，沒有類型是never的子類型或可以賦值給never類型（除了never本身之外）。 即使 any也不可以賦值給never。

下面是一些返回never類型的函數：

Object

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

使用object類型，就可以更好的表示像Object.create這樣的API。例如：

類型斷言

比TypeScript更瞭解某個值的詳細信息,"我知道自己在幹什麼",比如：someValue聲明的時候是any.實際上程序員看到“this is a string”這段內容時，確定是一大坨

字符串，所以直接斷言、確信 (someValue as string).

機器是any,值可能是number，boolean,string......;

人明確string，值是“this is a string”,它就是string，“更瞭解某個值的詳細信息”。

類型斷言有兩種形式。

兩種形式是等價的。 至於使用哪個大多數情況下是憑個人喜好；然而，當你在TypeScript裡使用JSX時，只有 as語法斷言是被允許的。