TypeScript 繼承了 JavaScript 的類型，在這個(gè)基礎(chǔ)上，定義了一套自己的類型系統(tǒng)。

基本類型

概述

JavaScript 語(yǔ)言（注意，不是 TypeScript）將值分成8種類型。

• boolean
• string
• number
• bigint
• symbol
• object
• undefined
• null

TypeScript 繼承了 JavaScript 的類型設(shè)計(jì)，以上8種類型可以看作 TypeScript 的基本類型。

注意，上面所有類型的名稱都是小寫字母，首字母大寫的Number、String、Boolean等在 JavaScript 語(yǔ)言中都是內(nèi)置對(duì)象，而不是類型名稱。

另外，undefined 和 null 既可以作為值，也可以作為類型，取決于在哪里使用它們。

這8種基本類型是 TypeScript 類型系統(tǒng)的基礎(chǔ)，復(fù)雜類型由它們組合而成。

以下是它們的簡(jiǎn)單介紹。

boolean 類型

boolean類型只包含true和false兩個(gè)布爾值。

const x:boolean = true;
const y:boolean = false;

上面示例中，變量x和y就屬于 boolean 類型。

string 類型

string類型包含所有字符串。

const x:string = 'hello';
const y:string = `${x} world`;

上面示例中，普通字符串和模板字符串都屬于 string 類型。

number 類型

number類型包含所有整數(shù)和浮點(diǎn)數(shù)。

const x:number = 123;
const y:number = 3.14;
const z:number = 0xffff;

上面示例中，整數(shù)、浮點(diǎn)數(shù)和非十進(jìn)制數(shù)都屬于 number 類型。

bigint 類型

bigint 類型包含所有的大整數(shù)。

const x:bigint = 123n;
const y:bigint = 0xffffn;

上面示例中，變量x和y就屬于 bigint 類型。

bigint 與 number 類型不兼容。

const x:bigint = 123; // 報(bào)錯(cuò)
const y:bigint = 3.14; // 報(bào)錯(cuò)

上面示例中，bigint類型賦值為整數(shù)和小數(shù)，都會(huì)報(bào)錯(cuò)。

注意，bigint 類型是 ES2020 標(biāo)準(zhǔn)引入的。如果使用這個(gè)類型，TypeScript 編譯的目標(biāo) JavaScript 版本不能低于 ES2020（即編譯參數(shù)target不低于es2020）。

symbol 類型

symbol 類型包含所有的 Symbol 值。

const x:symbol = Symbol();

上面示例中，Symbol()函數(shù)的返回值就是 symbol 類型。

symbol 類型的詳細(xì)介紹，參見《Symbol》一章。

object 類型

根據(jù) JavaScript 的設(shè)計(jì)，object 類型包含了所有對(duì)象、數(shù)組和函數(shù)。

const x:object = { foo: 123 };
const y:object = [1, 2, 3];
const z:object = (n:number) => n + 1;

上面示例中，對(duì)象、數(shù)組、函數(shù)都屬于 object 類型。

undefined 類型，null 類型

undefined 和 null 是兩種獨(dú)立類型，它們各自都只有一個(gè)值。

undefined 類型只包含一個(gè)值undefined，表示未定義（即還未給出定義，以后可能會(huì)有定義）。

let x:undefined = undefined;

上面示例中，變量x就屬于 undefined 類型。兩個(gè)undefined里面，第一個(gè)是類型，第二個(gè)是值。

null 類型也只包含一個(gè)值null，表示為空（即此處沒有值）。

const x:null = null;

上面示例中，變量x就屬于 null 類型。

注意，如果沒有聲明類型的變量，被賦值為undefined或null，它們的類型會(huì)被推斷為any。

let a = undefined;   // any
const b = undefined; // any

let c = null;        // any
const d = null;      // any

如果希望避免這種情況，則需要打開編譯選項(xiàng)strictNullChecks。

// 打開編譯設(shè)置 strictNullChecks
let a = undefined;   // undefined
const b = undefined; // undefined

let c = null;        // null
const d = null;      // null

上面示例中，打開編譯設(shè)置strictNullChecks以后，賦值為undefined的變量會(huì)被推斷為undefined類型，賦值為null的變量會(huì)被推斷為null類型。

包裝對(duì)象類型

包裝對(duì)象的概念

JavaScript 的8種類型之中，undefined和null其實(shí)是兩個(gè)特殊值，object屬于復(fù)合類型，剩下的五種屬于原始類型（primitive value），代表最基本的、不可再分的值。

• boolean
• string
• number
• bigint
• symbol

上面這五種原始類型的值，都有對(duì)應(yīng)的包裝對(duì)象（wrapper object）。所謂“包裝對(duì)象”，指的是這些值在需要時(shí)，會(huì)自動(dòng)產(chǎn)生的對(duì)象。

'hello'.charAt(1) // 'e'

上面示例中，字符串hello執(zhí)行了charAt()方法。但是，在 JavaScript 語(yǔ)言中，只有對(duì)象才有方法，原始類型的值本身沒有方法。這行代碼之所以可以運(yùn)行，就是因?yàn)樵谡{(diào)用方法時(shí)，字符串會(huì)自動(dòng)轉(zhuǎn)為包裝對(duì)象，charAt()方法其實(shí)是定義在包裝對(duì)象上。

這樣的設(shè)計(jì)大大方便了字符串處理，省去了將原始類型的值手動(dòng)轉(zhuǎn)成對(duì)象實(shí)例的麻煩。

五種包裝對(duì)象之中，symbol 類型和 bigint 類型無法直接獲取它們的包裝對(duì)象（即Symbol()和BigInt()不能作為構(gòu)造函數(shù)使用），但是剩下三種可以。

• Boolean()
• String()
• Number()

以上三個(gè)構(gòu)造函數(shù)，執(zhí)行后可以直接獲取某個(gè)原始類型值的包裝對(duì)象。

const s = new String('hello');
typeof s // 'object'
s.charAt(1) // 'e'

上面示例中，s就是字符串hello的包裝對(duì)象，typeof運(yùn)算符返回object，不是string，但是本質(zhì)上它還是字符串，可以使用所有的字符串方法。

注意，String()只有當(dāng)作構(gòu)造函數(shù)使用時(shí)（即帶有new命令調(diào)用），才會(huì)返回包裝對(duì)象。如果當(dāng)作普通函數(shù)使用（不帶有new命令），返回就是一個(gè)普通字符串。其他兩個(gè)構(gòu)造函數(shù)Number()和Boolean()也是如此。

包裝對(duì)象類型與字面量類型

由于包裝對(duì)象的存在，導(dǎo)致每一個(gè)原始類型的值都有包裝對(duì)象和字面量?jī)煞N情況。

'hello' // 字面量
new String('hello') // 包裝對(duì)象

上面示例中，第一行是字面量，第二行是包裝對(duì)象，它們都是字符串。

為了區(qū)分這兩種情況，TypeScript 對(duì)五種原始類型分別提供了大寫和小寫兩種類型。

• Boolean 和 boolean
• String 和 string
• Number 和 number
• BigInt 和 bigint
• Symbol 和 symbol

其中，大寫類型同時(shí)包含包裝對(duì)象和字面量?jī)煞N情況，小寫類型只包含字面量，不包含包裝對(duì)象。

const s1:String = 'hello'; // 正確
const s2:String = new String('hello'); // 正確

const s3:string = 'hello'; // 正確
const s4:string = new String('hello'); // 報(bào)錯(cuò)

上面示例中，String類型可以賦值為字符串的字面量，也可以賦值為包裝對(duì)象。但是，string類型只能賦值為字面量，賦值為包裝對(duì)象就會(huì)報(bào)錯(cuò)。

建議只使用小寫類型，不使用大寫類型。因?yàn)榻^大部分使用原始類型的場(chǎng)合，都是使用字面量，不使用包裝對(duì)象。而且，TypeScript 把很多內(nèi)置方法的參數(shù)，定義成小寫類型，使用大寫類型會(huì)報(bào)錯(cuò)。

const n1:number = 1;
const n2:Number = 1;

Math.abs(n1) // 1
Math.abs(n2) // 報(bào)錯(cuò)

上面示例中，Math.abs()方法的參數(shù)類型被定義成小寫的number，傳入大寫的Number類型就會(huì)報(bào)錯(cuò)。

上一小節(jié)說過，Symbol()和BigInt()這兩個(gè)函數(shù)不能當(dāng)作構(gòu)造函數(shù)使用，所以沒有辦法直接獲得 symbol 類型和 bigint 類型的包裝對(duì)象，因此Symbol和BigInt這兩個(gè)類型雖然存在，但是完全沒有使用的理由。

Object 類型與 object 類型

TypeScript 的對(duì)象類型也有大寫Object和小寫object兩種。

Object 類型

大寫的Object類型代表 JavaScript 語(yǔ)言里面的廣義對(duì)象。所有可以轉(zhuǎn)成對(duì)象的值，都是Object類型，這囊括了幾乎所有的值。

let obj:Object;

obj = true;
obj = 'hi';
obj = 1;
obj = { foo: 123 };
obj = [1, 2];
obj = (a:number) => a + 1;

上面示例中，原始類型值、對(duì)象、數(shù)組、函數(shù)都是合法的Object類型。

事實(shí)上，除了undefined和null這兩個(gè)值不能轉(zhuǎn)為對(duì)象，其他任何值都可以賦值給Object類型。

let obj:Object;

obj = undefined; // 報(bào)錯(cuò)
obj = null; // 報(bào)錯(cuò)

上面示例中，undefined和null賦值給Object類型，就會(huì)報(bào)錯(cuò)。

另外，空對(duì)象{}是Object類型的簡(jiǎn)寫形式，所以使用Object時(shí)常常用空對(duì)象代替。

let obj:{};

obj = true;
obj = 'hi';
obj = 1;
obj = { foo: 123 };
obj = [1, 2];
obj = (a:number) => a + 1;

上面示例中，變量obj的類型是空對(duì)象{}，就代表Object類型。

顯然，無所不包的Object類型既不符合直覺，也不方便使用。

object 類型

小寫的object類型代表 JavaScript 里面的狹義對(duì)象，即可以用字面量表示的對(duì)象，只包含對(duì)象、數(shù)組和函數(shù)，不包括原始類型的值。

let obj:object;

obj = { foo: 123 };
obj = [1, 2];
obj = (a:number) => a + 1;
obj = true; // 報(bào)錯(cuò)
obj = 'hi'; // 報(bào)錯(cuò)
obj = 1; // 報(bào)錯(cuò)

上面示例中，object類型不包含原始類型值，只包含對(duì)象、數(shù)組和函數(shù)。

大多數(shù)時(shí)候，我們使用對(duì)象類型，只希望包含真正的對(duì)象，不希望包含原始類型。所以，建議總是使用小寫類型object，不使用大寫類型Object。