前端面試中常被問到的問題之一就是“JavaScript的基本類型有幾種?”。
有的回答“數字、字符串、布爾”,有的可能會再加上“Null、Undefined”。而有人可能認為“object”也是基本類型。到底是什么樣呢?
所謂“基本類型(primitive types)”的概念ECMAScript(V3,V5)中壓根就沒有,它只是將類型分為6種。

ECMAScript只提到類型,用types表示,在V3,V5整個文檔搜關鍵字“primitive”也沒見“primitive type”,“primitive value”倒是有,如true/false/0-9等。這說明規范壓根就沒有所謂的“基本類型”、“原始類型”一說(primitive types)。如果非要說有那么object明顯也是,即有6種基本類型。
一些書籍卻經常使用這個概念,如《JavaScript高級程序設計》第一版、第二版,第三版。
第一版提到有5種原始類型,即Undefined、Null、Boolean、Number、String

第二版和第三版又搞出了個simple data type,翻譯為簡單數據類型(也稱為基本數據類型),稱對象為復雜數據類型。

另一本經典書《JavaScript權威指南(第6版)》第3章也提到了primitive types

先分為基本類型(primitive types)和對象類型,基本類型又分為數字,字符串,布爾,及兩個特殊null,undefined。
5年前JavaScript方面的書籍還很少,這兩本書就是其中之二,影響也很大,可謂經典。因此受此影響的JSer不乏少數。我想書作者把語言類型分為基本類型(元類型)和對象類型(復雜類型)也是符合學習邏輯的,復雜類型由簡單類型組合而成。另外也是受到其它語言如Java的影響,它們也是把類型分為基本類型(8種)和對象類型。
但ECMAScript中沒有所謂的primitive types,就好比它沒有類(class)的概念一樣(具有其它語言能力的人仍然喜歡在JavaScript使用名詞“類”)。它里面提到的就是類型,可以把它理解成基本類型,但也應該是6種。這里的基本類型也不是Java中的基本類型,因為它包含了復雜數據類型-對象。
不是所有的書都認為JavaScript中基本類型只有5種(不包括對象),《JavaScript語言精髓與編程實踐》認為是6種,如下

它沒有將null歸為其中,卻增加了function類型。 它的依據是typeof的結果只有6種(僅含ES自身,不包括宿主對象),如下
var a = 1, b = '2', c = true, d, e = null, f = function(){}
typeof a === 'number'; // true
typeof b === 'string'; // true
typeof c === 'boolean'; // true
typeof d === 'undefined'; // true
typeof e === 'object'; // true
typeof f === 'function'; // true
一共是6中類型,注意null的類型時object。有的書說null的實現是當初的一個錯誤,誰知道呢。
我們來看wiki中基本數據類型的定義
- a basic type is a data type provided by a programming language as a basic building block. Most languages allow more complicated composite types to be recursively constructed starting from basic types.
- a built-in type is a data type for which the programming language provides built-in support. In most programming languages, all basic data types are built-in. In addition, many languages also provide a set of composite data types. Opinions vary as to whether a built-in type that is not basic should be considered "primitive".
翻譯以下
- 基本類型是這樣一種數據類型,它是由編程語言提供的最基本的構建塊,多數語言還允許眾多復雜的由基本類型組成的復合數據類型
- 內置類型是由編程語言自身提供的類型,多數編程語中所有的基本類型都是內置的。此外,很多語言還提供一組復合數據類型。一個內置類型是不是該認為是“原始的”的類型這個一直存在爭議。
ES6新增了一種 Symbol 類型,它是一種不可變的類型,表示獨一無二的值。一般作為對象屬性的標識符使用。ES6 之前的屬性名都是字符串類型,會造成屬性名的重寫覆蓋。ES6 提出 Symbol 類型后,JS的基本類型即增加到了 7 種。
下面是 Symbol 的基本使用
var s1 = Symbol();
typeof s1; // "symbol"
var s2 = Symbol('andy');
s2; // Symbol(andy)
