1.聲明變量
let/const
let:用來聲明變量,類似於var,但是使用let有以下特性:
(1).不存在變量提升
eg:
// var 的情況 console.log(foo); // 輸出undefined var foo = 2; // let 的情況 console.log(bar); // 報錯ReferenceError let bar = 2;
(2).暫時性死區
eg:
var tmp = 123; if (true) { tmp = 'abc'; // ReferenceError let tmp; }
(3).不允許重復聲明,同一作用域內只能聲明一次
eg:
// 報錯 function func() { let a = 10; var a = 1; } // 報錯 function func() { let a = 10; let a = 1; }
因此,不能在函數內部重新聲明參數。
function func(arg) { let arg; } func() // 報錯 function func(arg) { { let arg; } } func() // 不報錯
(4).新增的塊級作用域
function f1() { let n = 5; if (true) { let n = 10; } console.log(n); // 5 }
上面的函數有兩個代碼塊,都聲明了變量n
,運行后輸出 5。這表示外層代碼塊不受內層代碼塊的影響。如果兩次都使用var
定義變量n
,最后輸出的值才是 10。
const:
用來聲明常量,使用規則除了聲明之后不能被修改,其他特性和let一樣,本質上是const是內存地址不得改動,而不是變量的值不能改動
const
聲明一個只讀的常量。一旦聲明,常量的值就不能改變。
const PI = 3.1415; PI // 3.1415 PI = 3; // TypeError: Assignment to constant variable.
上面代碼表明改變常量的值會報錯。
const
聲明的變量不得改變值,這意味着,const
一旦聲明變量,就必須立即初始化,不能留到以后賦值。
const foo; // SyntaxError: Missing initializer in const declaration
上面代碼表示,對於const
來說,只聲明不賦值,就會報錯。
const
的作用域與let
命令相同:只在聲明所在的塊級作用域內有效。
if (true) { const MAX = 5; } MAX // Uncaught ReferenceError: MAX is not defined
const
命令聲明的常量也是不提升,同樣存在暫時性死區,只能在聲明的位置后面使用。
if (true) { console.log(MAX); // ReferenceError const MAX = 5; }
上面代碼在常量MAX
聲明之前就調用,結果報錯。
const
聲明的常量,也與let
一樣不可重復聲明。
var message = "Hello!"; let age = 25; // 以下兩行都會報錯 const message = "Goodbye!"; const age = 30;
2.字符串擴展
(1).codePointAt()
ES6 提供了codePointAt()
方法,能夠正確處理 4 個字節儲存的字符,返回一個字符的碼點。codePointAt()
方法會正確返回 32 位的 UTF-16 字符的碼點。對於那些兩個字節儲存的常規字符,它的返回結果與charCodeAt()
方法相同。
(2).fromCodePoint()
ES6 提供了String.fromCodePoint()
方法,可以識別大於0xFFFF
的字符,彌補了String.fromCharCode()
方法的不足。在作用上,正好與上面的codePointAt()
方法相反。注意,fromCodePoint
方法定義在String
對象上,而codePointAt
方法定義在字符串的實例對象上。
(3).repeat()
repeat
方法返回一個新字符串,表示將原字符串重復n
次。
(4).indexof()補充includes() startswith() endswith()
- includes():返回布爾值,表示是否找到了參數字符串。
- startsWith():返回布爾值,表示參數字符串是否在原字符串的頭部。
- endsWith():返回布爾值,表示參數字符串是否在原字符串的尾部。
3.字符串的正則方法
字符串對象共有 4 個方法,可以使用正則表達式:match()
、replace()
、search()
和split()
。
ES6 將這 4 個方法,在語言內部全部調用RegExp
的實例方法,從而做到所有與正則相關的方法,全都定義在RegExp
對象上。
String.prototype.match
調用RegExp.prototype[Symbol.match]
String.prototype.replace
調用RegExp.prototype[Symbol.replace]
String.prototype.search
調用RegExp.prototype[Symbol.search]
String.prototype.split
調用RegExp.prototype[Symbol.split]
u 修飾符
ES6 對正則表達式添加了u
修飾符,含義為“Unicode 模式”,用來正確處理大於\uFFFF
的 Unicode 字符。也就是說,會正確處理四個字節的 UTF-16 編碼。
/^\uD83D/u.test('\uD83D\uDC2A') // false /^\uD83D/.test('\uD83D\uDC2A') // true
上面代碼中,\uD83D\uDC2A
是一個四個字節的 UTF-16 編碼,代表一個字符。但是,ES5 不支持四個字節的 UTF-16 編碼,會將其識別為兩個字符,導致第二行代碼結果為true
。加了u
修飾符以后,ES6 就會識別其為一個字符,所以第一行代碼結果為false
。
一旦加上u
修飾符號,就會修改下面這些正則表達式的行為。
(1)點字符
點(.
)字符在正則表達式中,含義是除了換行符以外的任意單個字符。對於碼點大於0xFFFF
的 Unicode 字符,點字符不能識別,必須加上u
修飾符。
var s = '𠮷'; /^.$/.test(s) // false /^.$/u.test(s) // true
上面代碼表示,如果不添加u
修飾符,正則表達式就會認為字符串為兩個字符,從而匹配失敗。
(2)Unicode 字符表示法
ES6 新增了使用大括號表示 Unicode 字符,這種表示法在正則表達式中必須加上u
修飾符,才能識別當中的大括號,否則會被解讀為量詞。
/\u{61}/.test('a') // false /\u{61}/u.test('a') // true /\u{20BB7}/u.test('𠮷') // true
上面代碼表示,如果不加u
修飾符,正則表達式無法識別\u{61}
這種表示法,只會認為這匹配 61 個連續的u
。
(3)量詞
使用u
修飾符后,所有量詞都會正確識別碼點大於0xFFFF
的 Unicode 字符。
/a{2}/.test('aa') // true /a{2}/u.test('aa') // true /𠮷{2}/.test('𠮷𠮷') // false /𠮷{2}/u.test('𠮷𠮷') // true
(4)預定義模式
u
修飾符也影響到預定義模式,能否正確識別碼點大於0xFFFF
的 Unicode 字符。
/^\S$/.test('𠮷') // false /^\S$/u.test('𠮷') // true
上面代碼的\S
是預定義模式,匹配所有非空白字符。只有加了u
修飾符,它才能正確匹配碼點大於0xFFFF
的 Unicode 字符。
利用這一點,可以寫出一個正確返回字符串長度的函數。
function codePointLength(text) { var result = text.match(/[\s\S]/gu); return result ? result.length : 0; } var s = '𠮷𠮷'; s.length // 4 codePointLength(s) // 2
(5)i 修飾符
有些 Unicode 字符的編碼不同,但是字型很相近,比如,\u004B
與\u212A
都是大寫的K
。
/[a-z]/i.test('\u212A') // false /[a-z]/iu.test('\u212A') // true
上面代碼中,不加u
修飾符,就無法識別非規范的K
字符。
y 修飾符
除了u
修飾符,ES6 還為正則表達式添加了y
修飾符,叫做“粘連”(sticky)修飾符。
y
修飾符的作用與g
修飾符類似,也是全局匹配,后一次匹配都從上一次匹配成功的下一個位置開始。不同之處在於,g
修飾符只要剩余位置中存在匹配就可,而y
修飾符確保匹配必須從剩余的第一個位置開始,這也就是“粘連”的涵義。
var s = 'aaa_aa_a'; var r1 = /a+/g; var r2 = /a+/y; r1.exec(s) // ["aaa"] r2.exec(s) // ["aaa"] r1.exec(s) // ["aa"] r2.exec(s) // null
上面代碼有兩個正則表達式,一個使用g
修飾符,另一個使用y
修飾符。這兩個正則表達式各執行了兩次,第一次執行的時候,兩者行為相同,剩余字符串都是_aa_a
。由於g
修飾沒有位置要求,所以第二次執行會返回結果,而y
修飾符要求匹配必須從頭部開始,所以返回null
。
如果改一下正則表達式,保證每次都能頭部匹配,y
修飾符就會返回結果了。
var s = 'aaa_aa_a'; var r = /a+_/y; r.exec(s) // ["aaa_"] r.exec(s) // ["aa_"]
上面代碼每次匹配,都是從剩余字符串的頭部開始。
使用lastIndex
屬性,可以更好地說明y
修飾符。
const REGEX = /a/g; // 指定從2號位置(y)開始匹配 REGEX.lastIndex = 2; // 匹配成功 const match = REGEX.exec('xaya'); // 在3號位置匹配成功 match.index // 3 // 下一次匹配從4號位開始 REGEX.lastIndex // 4 // 4號位開始匹配失敗 REGEX.exec('xaya') // null
上面代碼中,lastIndex
屬性指定每次搜索的開始位置,g
修飾符從這個位置開始向后搜索,直到發現匹配為止。
y
修飾符同樣遵守lastIndex
屬性,但是要求必須在lastIndex
指定的位置發現匹配。
const REGEX = /a/y; // 指定從2號位置開始匹配 REGEX.lastIndex = 2; // 不是粘連,匹配失敗 REGEX.exec('xaya') // null // 指定從3號位置開始匹配 REGEX.lastIndex = 3; // 3號位置是粘連,匹配成功 const match = REGEX.exec('xaya'); match.index // 3 REGEX.lastIndex // 4
實際上,y
修飾符號隱含了頭部匹配的標志^
。
/b/y.exec('aba') // null
上面代碼由於不能保證頭部匹配,所以返回null
。y
修飾符的設計本意,就是讓頭部匹配的標志^
在全局匹配中都有效。
下面是字符串對象的replace
方法的例子。
const REGEX = /a/gy; 'aaxa'.replace(REGEX, '-') // '--xa'
上面代碼中,最后一個a
因為不是出現在下一次匹配的頭部,所以不會被替換。
單單一個y
修飾符對match
方法,只能返回第一個匹配,必須與g
修飾符聯用,才能返回所有匹配。
'a1a2a3'.match(/a\d/y) // ["a1"] 'a1a2a3'.match(/a\d/gy) // ["a1", "a2", "a3"]
y
修飾符的一個應用,是從字符串提取 token(詞元),y
修飾符確保了匹配之間不會有漏掉的字符。
const TOKEN_Y = /\s*(\+|[0-9]+)\s*/y; const TOKEN_G = /\s*(\+|[0-9]+)\s*/g; tokenize(TOKEN_Y, '3 + 4') // [ '3', '+', '4' ] tokenize(TOKEN_G, '3 + 4') // [ '3', '+', '4' ] function tokenize(TOKEN_REGEX, str) { let result = []; let match; while (match = TOKEN_REGEX.exec(str)) { result.push(match[1]); } return result; }
上面代碼中,如果字符串里面沒有非法字符,y
修飾符與g
修飾符的提取結果是一樣的。但是,一旦出現非法字符,兩者的行為就不一樣了。
tokenize(TOKEN_Y, '3x + 4') // [ '3' ] tokenize(TOKEN_G, '3x + 4') // [ '3', '+', '4' ]
上面代碼中,g
修飾符會忽略非法字符,而y
修飾符不會,這樣就很容易發現錯誤。
數組的解構賦值
基本用法
ES6 允許按照一定模式,從數組和對象中提取值,對變量進行賦值,這被稱為解構(Destructuring)。
以前,為變量賦值,只能直接指定值。
let a = 1; let b = 2; let c = 3;
ES6 允許寫成下面這樣。
let [a, b, c] = [1, 2, 3];
上面代碼表示,可以從數組中提取值,按照對應位置,對變量賦值。
本質上,這種寫法屬於“模式匹配”,只要等號兩邊的模式相同,左邊的變量就會被賦予對應的值。下面是一些使用嵌套數組進行解構的例子。
let [foo, [[bar], baz]] = [1, [[2], 3]]; foo // 1 bar // 2 baz // 3 let [ , , third] = ["foo", "bar", "baz"]; third // "baz" let [x, , y] = [1, 2, 3]; x // 1 y // 3 let [head, ...tail] = [1, 2, 3, 4]; head // 1 tail // [2, 3, 4] let [x, y, ...z] = ['a']; x // "a" y // undefined z // []
如果解構不成功,變量的值就等於undefined
。
let [foo] = []; let [bar, foo] = [1];
以上兩種情況都屬於解構不成功,foo
的值都會等於undefined
。
另一種情況是不完全解構,即等號左邊的模式,只匹配一部分的等號右邊的數組。這種情況下,解構依然可以成功。
let [x, y] = [1, 2, 3]; x // 1 y // 2 let [a, [b], d] = [1, [2, 3], 4]; a // 1 b // 2 d // 4
上面兩個例子,都屬於不完全解構,但是可以成功。
如果等號的右邊不是數組(或者嚴格地說,不是可遍歷的結構,參見《Iterator》一章),那么將會報錯。
// 報錯 let [foo] = 1; let [foo] = false; let [foo] = NaN; let [foo] = undefined; let [foo] = null; let [foo] = {};
上面的語句都會報錯,因為等號右邊的值,要么轉為對象以后不具備 Iterator 接口(前五個表達式),要么本身就不具備 Iterator 接口(最后一個表達式)。
對於 Set 結構,也可以使用數組的解構賦值。
let [x, y, z] = new Set(['a', 'b', 'c']); x // "a"
事實上,只要某種數據結構具有 Iterator 接口,都可以采用數組形式的解構賦值。
function* fibs() { let a = 0; let b = 1; while (true) { yield a; [a, b] = [b, a + b]; } } let [first, second, third, fourth, fifth, sixth] = fibs(); sixth // 5
上面代碼中,fibs
是一個 Generator 函數(參見《Generator 函數》一章),原生具有 Iterator 接口。解構賦值會依次從這個接口獲取值。
默認值
解構賦值允許指定默認值。
let [foo = true] = []; foo // true let [x, y = 'b'] = ['a']; // x='a', y='b' let [x, y = 'b'] = ['a', undefined]; // x='a', y='b'
注意,ES6 內部使用嚴格相等運算符(===
),判斷一個位置是否有值。所以,只有當一個數組成員嚴格等於undefined
,默認值才會生效。
let [x = 1] = [undefined]; x // 1 let [x = 1] = [null]; x // null
上面代碼中,如果一個數組成員是null
,默認值就不會生效,因為null
不嚴格等於undefined
。
如果默認值是一個表達式,那么這個表達式是惰性求值的,即只有在用到的時候,才會求值。
function f() { console.log('aaa'); } let [x = f()] = [1];
上面代碼中,因為x
能取到值,所以函數f
根本不會執行。上面的代碼其實等價於下面的代碼。
let x; if ([1][0] === undefined) { x = f(); } else { x = [1][0]; }
默認值可以引用解構賦值的其他變量,但該變量必須已經聲明。
let [x = 1, y = x] = []; // x=1; y=1 let [x = 1, y = x] = [2]; // x=2; y=2 let [x = 1, y = x] = [1, 2]; // x=1; y=2 let [x = y, y = 1] = []; // ReferenceError: y is not defined
上面最后一個表達式之所以會報錯,是因為x
用y
做默認值時,y
還沒有聲明。
對象的解構賦值
簡介
解構不僅可以用於數組,還可以用於對象。
let { foo, bar } = { foo: 'aaa', bar: 'bbb' }; foo // "aaa" bar // "bbb"
對象的解構與數組有一個重要的不同。數組的元素是按次序排列的,變量的取值由它的位置決定;而對象的屬性沒有次序,變量必須與屬性同名,才能取到正確的值。
let { bar, foo } = { foo: 'aaa', bar: 'bbb' }; foo // "aaa" bar // "bbb" let { baz } = { foo: 'aaa', bar: 'bbb' }; baz // undefined
上面代碼的第一個例子,等號左邊的兩個變量的次序,與等號右邊兩個同名屬性的次序不一致,但是對取值完全沒有影響。第二個例子的變量沒有對應的同名屬性,導致取不到值,最后等於undefined
。
如果解構失敗,變量的值等於undefined
。
let {foo} = {bar: 'baz'}; foo // undefined
上面代碼中,等號右邊的對象沒有foo
屬性,所以變量foo
取不到值,所以等於undefined
。
對象的解構賦值,可以很方便地將現有對象的方法,賦值到某個變量。
// 例一 let { log, sin, cos } = Math; // 例二 const { log } = console; log('hello') // hello
上面代碼的例一將Math
對象的對數、正弦、余弦三個方法,賦值到對應的變量上,使用起來就會方便很多。例二將console.log
賦值到log
變量。
如果變量名與屬性名不一致,必須寫成下面這樣。
let { foo: baz } = { foo: 'aaa', bar: 'bbb' }; baz // "aaa" let obj = { first: 'hello', last: 'world' }; let { first: f, last: l } = obj; f // 'hello' l // 'world'
這實際上說明,對象的解構賦值是下面形式的簡寫(參見《對象的擴展》一章)。
let { foo: foo, bar: bar } = { foo: 'aaa', bar: 'bbb' };
也就是說,對象的解構賦值的內部機制,是先找到同名屬性,然后再賦給對應的變量。真正被賦值的是后者,而不是前者。
let { foo: baz } = { foo: 'aaa', bar: 'bbb' }; baz // "aaa" foo // error: foo is not defined
上面代碼中,foo
是匹配的模式,baz
才是變量。真正被賦值的是變量baz
,而不是模式foo
。
與數組一樣,解構也可以用於嵌套結構的對象。
let obj = { p: [ 'Hello', { y: 'World' } ] }; let { p: [x, { y }] } = obj; x // "Hello" y // "World"
注意,這時p
是模式,不是變量,因此不會被賦值。如果p
也要作為變量賦值,可以寫成下面這樣。
let obj = { p: [ 'Hello', { y: 'World' } ] }; let { p, p: [x, { y }] } = obj; x // "Hello" y // "World" p // ["Hello", {y: "World"}]
下面是另一個例子。
const node = { loc: { start: { line: 1, column: 5 } } }; let { loc, loc: { start }, loc: { start: { line }} } = node; line // 1 loc // Object {start: Object} start // Object {line: 1, column: 5}
上面代碼有三次解構賦值,分別是對loc
、start
、line
三個屬性的解構賦值。注意,最后一次對line
屬性的解構賦值之中,只有line
是變量,loc
和start
都是模式,不是變量。
下面是嵌套賦值的例子。
let obj = {}; let arr = []; ({ foo: obj.prop, bar: arr[0] } = { foo: 123, bar: true }); obj // {prop:123} arr // [true]
如果解構模式是嵌套的對象,而且子對象所在的父屬性不存在,那么將會報錯。
// 報錯 let {foo: {bar}} = {baz: 'baz'};
上面代碼中,等號左邊對象的foo
屬性,對應一個子對象。該子對象的bar
屬性,解構時會報錯。原因很簡單,因為foo
這時等於undefined
,再取子屬性就會報錯。
注意,對象的解構賦值可以取到繼承的屬性。
const obj1 = {}; const obj2 = { foo: 'bar' }; Object.setPrototypeOf(obj1, obj2); const { foo } = obj1; foo // "bar"
上面代碼中,對象obj1
的原型對象是obj2
。foo
屬性不是obj1
自身的屬性,而是繼承自obj2
的屬性,解構賦值可以取到這個屬性。
默認值
對象的解構也可以指定默認值。
var {x = 3} = {}; x // 3 var {x, y = 5} = {x: 1}; x // 1 y // 5 var {x: y = 3} = {}; y // 3 var {x: y = 3} = {x: 5}; y // 5 var { message: msg = 'Something went wrong' } = {}; msg // "Something went wrong"
默認值生效的條件是,對象的屬性值嚴格等於undefined
。
var {x = 3} = {x: undefined}; x // 3 var {x = 3} = {x: null}; x // null
上面代碼中,屬性x
等於null
,因為null
與undefined
不嚴格相等,所以是個有效的賦值,導致默認值3
不會生效。
注意點
(1)如果要將一個已經聲明的變量用於解構賦值,必須非常小心。
// 錯誤的寫法 let x; {x} = {x: 1}; // SyntaxError: syntax error
上面代碼的寫法會報錯,因為 JavaScript 引擎會將{x}
理解成一個代碼塊,從而發生語法錯誤。只有不將大括號寫在行首,避免 JavaScript 將其解釋為代碼塊,才能解決這個問題。
// 正確的寫法 let x; ({x} = {x: 1});
上面代碼將整個解構賦值語句,放在一個圓括號里面,就可以正確執行。關於圓括號與解構賦值的關系,參見下文。
(2)解構賦值允許等號左邊的模式之中,不放置任何變量名。因此,可以寫出非常古怪的賦值表達式。
({} = [true, false]); ({} = 'abc'); ({} = []);
上面的表達式雖然毫無意義,但是語法是合法的,可以執行。
(3)由於數組本質是特殊的對象,因此可以對數組進行對象屬性的解構。
let arr = [1, 2, 3]; let {0 : first, [arr.length - 1] : last} = arr; first // 1 last // 3
上面代碼對數組進行對象解構。數組arr
的0
鍵對應的值是1
,[arr.length - 1]
就是2
鍵,對應的值是3
。方括號這種寫法,屬於“屬性名表達式”(參見《對象的擴展》一章)。
字符串的解構賦值
字符串也可以解構賦值。這是因為此時,字符串被轉換成了一個類似數組的對象。
const [a, b, c, d, e] = 'hello'; a // "h" b // "e" c // "l" d // "l" e // "o"
類似數組的對象都有一個length
屬性,因此還可以對這個屬性解構賦值。
let {length : len} = 'hello'; len // 5
數值和布爾值的解構賦值
解構賦值時,如果等號右邊是數值和布爾值,則會先轉為對象。
let {toString: s} = 123; s === Number.prototype.toString // true let {toString: s} = true; s === Boolean.prototype.toString // true
上面代碼中,數值和布爾值的包裝對象都有toString
屬性,因此變量s
都能取到值。
解構賦值的規則是,只要等號右邊的值不是對象或數組,就先將其轉為對象。由於undefined
和null
無法轉為對象,所以對它們進行解構賦值,都會報錯。
let { prop: x } = undefined; // TypeError let { prop: y } = null; // TypeError
函數參數的解構賦值
函數的參數也可以使用解構賦值。
function add([x, y]){ return x + y; } add([1, 2]); // 3
上面代碼中,函數add
的參數表面上是一個數組,但在傳入參數的那一刻,數組參數就被解構成變量x
和y
。對於函數內部的代碼來說,它們能感受到的參數就是x
和y
。
下面是另一個例子。
[[1, 2], [3, 4]].map(([a, b]) => a + b); // [ 3, 7 ]
函數參數的解構也可以使用默認值。
function move({x = 0, y = 0} = {}) { return [x, y]; } move({x: 3, y: 8}); // [3, 8] move({x: 3}); // [3, 0] move({}); // [0, 0] move(); // [0, 0]
上面代碼中,函數move
的參數是一個對象,通過對這個對象進行解構,得到變量x
和y
的值。如果解構失敗,x
和y
等於默認值。
注意,下面的寫法會得到不一樣的結果。
function move({x, y} = { x: 0, y: 0 }) { return [x, y]; } move({x: 3, y: 8}); // [3, 8] move({x: 3}); // [3, undefined] move({}); // [undefined, undefined] move(); // [0, 0]
上面代碼是為函數move
的參數指定默認值,而不是為變量x
和y
指定默認值,所以會得到與前一種寫法不同的結果。
undefined
就會觸發函數參數的默認值。
[1, undefined, 3].map((x = 'yes') => x); // [ 1, 'yes', 3 ]
Symbol
ES6 引入了一種新的原始數據類型Symbol
,表示獨一無二的值。它是 JavaScript 語言的第七種數據類型,前六種是:undefined
、null
、布爾值(Boolean)、字符串(String)、數值(Number)、對象(Object)。
Symbol 值通過Symbol
函數生成。這就是說,對象的屬性名現在可以有兩種類型,一種是原來就有的字符串,另一種就是新增的 Symbol 類型。凡是屬性名屬於 Symbol 類型,就都是獨一無二的,可以保證不會與其他屬性名產生沖突。
let s = Symbol(); typeof s // "symbol"
上面代碼中,變量s
就是一個獨一無二的值。typeof
運算符的結果,表明變量s
是 Symbol 數據類型,而不是字符串之類的其他類型。
注意,Symbol
函數前不能使用new
命令,否則會報錯。這是因為生成的 Symbol 是一個原始類型的值,不是對象。也就是說,由於 Symbol 值不是對象,所以不能添加屬性。基本上,它是一種類似於字符串的數據類型。
Symbol
函數可以接受一個字符串作為參數,表示對 Symbol 實例的描述,主要是為了在控制台顯示,或者轉為字符串時,比較容易區分。
let s1 = Symbol('foo'); let s2 = Symbol('bar'); s1 // Symbol(foo) s2 // Symbol(bar) s1.toString() // "Symbol(foo)" s2.toString() // "Symbol(bar)"
上面代碼中,s1
和s2
是兩個 Symbol 值。如果不加參數,它們在控制台的輸出都是Symbol()
,不利於區分。有了參數以后,就等於為它們加上了描述,輸出的時候就能夠分清,到底是哪一個值。
如果 Symbol 的參數是一個對象,就會調用該對象的toString
方法,將其轉為字符串,然后才生成一個 Symbol 值。
const obj = { toString() { return 'abc'; } }; const sym = Symbol(obj); sym // Symbol(abc)
注意,Symbol
函數的參數只是表示對當前 Symbol 值的描述,因此相同參數的Symbol
函數的返回值是不相等的。
// 沒有參數的情況 let s1 = Symbol(); let s2 = Symbol(); s1 === s2 // false // 有參數的情況 let s1 = Symbol('foo'); let s2 = Symbol('foo'); s1 === s2 // false
上面代碼中,s1
和s2
都是Symbol
函數的返回值,而且參數相同,但是它們是不相等的。
Symbol 值不能與其他類型的值進行運算,會報錯。
let sym = Symbol('My symbol'); "your symbol is " + sym // TypeError: can't convert symbol to string `your symbol is ${sym}` // TypeError: can't convert symbol to string
但是,Symbol 值可以顯式轉為字符串。
let sym = Symbol('My symbol'); String(sym) // 'Symbol(My symbol)' sym.toString() // 'Symbol(My symbol)'
另外,Symbol 值也可以轉為布爾值,但是不能轉為數值。
let sym = Symbol(); Boolean(sym) // true !sym // false if (sym) { // ... } Number(sym) // TypeError sym + 2 // TypeError