TypeScript基礎型別
一、基礎型別
介紹
為了讓程式有價值,我們需要能夠處理最簡單的資料單元:數字,字串,結構體,布林值等。 TypeScript支援與JavaScript幾乎相同的資料型別,此外還提供了實用的列舉型別方便我們使用。
(其實說白了就是對資料型別進行限制,或者說資料型別檢查)
布林值
最基本的資料型別就是簡單的true/false值,在JavaScript和TypeScript裡叫做boolean
(其它語言中也一樣)。
let isDone: boolean = false
上面例子中': boolean' 就是對變數'isDone'的資料型別限制,如果輸入資料型別為非布林值型別,系統會有明顯的錯誤提示" 不能將型別 'xx' 分配給型別 'boolean' "。
數字
和JavaScript一樣,TypeScript裡的所有數字都是浮點數。 這些浮點數的型別是number
。 除了支援十進位制和十六進位制字面量,TypeScript還支援ECMAScript 2015中引入的二進位制和八進位制字面量。
let decLiteral: number = 6 let hexLiteral: number = 0xf00d let binaryLiteral: number = 0b1010 let octalLiteral: number = 0o744
字串
JavaScript程式的另一項基本操作是處理網頁或伺服器端的文字資料。 像其它語言裡一樣,我們使用string
"
)或單引號('
)表示字串。
let name: string = "bob";
name = "smith";
與JS相同,TS也支援模板字串(也有人稱為模板運算子),即反引號(``)
// 表示式1: let name: string = `Gene`; let age: number = 37; let sentence: string = `Hello, my name is ${ name }. I'll be ${ age + 1 } years old next month.`; // 表示式2: let sentence: string = "Hello, my name is " + name + ".\n\n" + "I'll be " + (age + 1) + " years old next month."; // 這裡'表示式1'和'表示式2'效果一樣
陣列
TS和JS一樣支援對陣列的各種操作方法,例如push、pop之類;在TS中,對陣列進行資料型別限制有兩種寫法:
// 第一種 let list: number[] = [1, 2, 3] // 第二種方式是使用陣列泛型, Array<元素型別> let list: Array<number> = [1, 2, 3]
// 因為陣列內部資料的複雜性,所以不可能只有一種資料型別,所以可以這樣寫:
let list: any[] = [1, '', true]
letlist:Array<any>=[1,'',true]
元組 Tuple
元組型別允許表示一個已知元素數量和型別的陣列,各元素的型別不必相同。 比如,你可以定義一對值分別為string
和number
型別的元組。
// Declare a tuple type let x: [string, number]; // Initialize it x = ['hello', 10]; // OK // Initialize it incorrectly x = [10, 'hello']; // Error
當訪問一個已知索引的元素,會得到正確的型別:
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標準資料型別的一個補充。 像C#等其它語言一樣,使用列舉型別可以為一組數值賦予友好的名字。
// test.tsvarColor; (function(Color){ Color[Color["Red"]=0]="Red"; Color[Color["Green"]=1]="Green"; Color[Color["Blue"]=2]="Blue"; })(Color||(Color={})); varc=Color.Green;
enum Color {Red, Green, Blue} let c: Color = Color.Green;
//test.js
預設情況下,從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
在對現有程式碼進行改寫的時候,any
型別是十分有用的,它允許你在編譯時可選擇地包含或移除型別檢查。 你可能認為Object
有相似的作用,就像它在其它語言中那樣。 但是Object
型別的變數只是允許你給它賦任意值 - 但是卻不能夠在它上面呼叫任意的方法,即便它真的有這些方法:
let notSure: any = 4; notSure.ifItExists(); // okay, ifItExists might exist at runtime notSure.toFixed(); // okay, toFixed exists (but the compiler doesn't check) let prettySure: Object = 4; prettySure.toFixed(); // Error: Property 'toFixed' doesn't exist on type 'Object'.
當你只知道一部分資料的型別時,any
型別也是有用的。 比如,你有一個數組,它包含了不同的型別的資料:
let list: any[] = [1, true, "free"]; list[1] = 100;
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
相似,它們的本身的型別用處不是很大:
// Not much else we can assign to these variables! let u: undefined = undefined; let n: null = null;
預設情況下null
和undefined
是所有型別的子型別。 就是說你可以把null
和undefined
賦值給number
型別的變數。
然而,當你指定了--strictNullChecks
標記,null
和undefined
只能賦值給void
和它們各自。 這能避免很多常見的問題。 也許在某處你想傳入一個string
或null
或undefined
,你可以使用聯合型別string | null | undefined
。
Never
never
型別表示的是那些永不存在的值的型別。 例如,never
型別是那些總是會丟擲異常或根本就不會有返回值的函式表示式或箭頭函式表示式的返回值型別; 變數也可能是never
型別,當它們被永不為真的型別保護所約束時。
never
型別是任何型別的子型別,也可以賦值給任何型別;然而,沒有型別是never
的子型別或可以賦值給never
型別(除了never
本身之外)。 即使any
也不可以賦值給never
。
下面是一些返回never
型別的函式:
// 返回never的函式必須存在無法達到的終點 function error(message: string): never { throw new Error(message); } // 推斷的返回值型別為never function fail() { return error("Something failed"); } // 返回never的函式必須存在無法達到的終點 function infiniteLoop(): never { while (true) { } }
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 因為null和undefined是所以型別的子型別 create(42); // Error create("string"); // Error create(false); // Error create(undefined); // Error
型別斷言
有時候你會遇到這樣的情況,你會比TypeScript更瞭解某個值的詳細資訊。 通常這會發生在你清楚地知道一個實體具有比它現有型別更確切的型別。
通過型別斷言這種方式可以告訴編譯器,“相信我,我知道自己在幹什麼”。 型別斷言好比其它語言裡的型別轉換,但是不進行特殊的資料檢查和解構。 它沒有執行時的影響,只是在編譯階段起作用。 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;
兩種形式是等價的。 至於使用哪個大多數情況下是憑個人喜好;然而,當你在TypeScript裡使用JSX時,只有as
語法斷言是被允許的。