智慧印刷工坊

智慧印刷工坊

ES6 中的 Symbol 是什么?

admin 35 35
前言

记得刚找工作那会,几种数据类型是必问题,当时的答案一般都是七种——字符串(String)、数字(Number)、布尔(Boolean)、数组(Array)、对象(Object)、空(Null)、未定义(Undefined),时至今日,某些网络教程上还是这样的分类:


其实,随着ECMAScript的发展和完善,在ES6(2015)和ES11(2020)中,又分别增加了Symbol和BigInt两种类型,所以,完整的分类应该是下面这样的:


今天,我们就来看看Symbol到底是什么类型,为何要引入这样一个类型。

背景

我们都应该有个清晰的认识:任何新技术或者新概念的出现,必然是为了解决某一痛点的。

想想吧,我们为了起一个漂亮的、符合语义规则的属性名而绞尽脑汁时的痛苦,还要承受属性名可能冲突的折磨,那是一段不堪回首的往事!

而Symbol的出现正是为了拯救我们的头发,让它们不至于牺牲在这些琐碎的小事上,它们每一根都是那么珍贵,它们的归宿应该在更具价值的地方!


概念

symbol是一种基本数据类型。Symbol()函数会返回symbol类型的值,该类型具有静态属性和静态方法。它的静态属性会暴露几个内建的成员对象;它的静态方法会暴露全局的symbol注册,且类似于内建对象类,但作为构造函数来说它并不完整,因为它不支持语法:"newSymbol()"。

语法

直接使用Symbol()创建新的symbol类型,并用一个可选的字符串作为其描述。

Symbol([description])

description(可选)字符串类型。对symbol的描述,可用于调试但不是访问symbol本身。请注意,即使传入两个相同的字符串,得到的symbol也不相等。

constsymbol1=Symbol();constsymbol2=Symbol(42);constsymbol3=Symbol('foo');(typeofsymbol1);//expectedoutput:"symbol"(symbol2===42);//expectedoutput:(());//expectedoutput:"Symbol(foo)"(Symbol('foo')===Symbol('foo'));//expectedoutput:false

下面带有new运算符的语法将抛出TypeError运算符的语法将抛出错误:

varsym=newSymbol();//TypeError
特性

正如歌词“每个人都有他的脾气”所说,Symbol也有它自己的特性:

没有两个Symbol的值是相等的。就像“世上没有两片相同的叶子”一样,任何两个Symbol数据的值都不会相等。

Symbol数据值可以作为对象属性名。高手一出手,就知有没有。这一下子就奠定了Symbol的江湖地位。要知道,在之前,对象的属性名是字符串的专属权利,就连数字也会被同化为字符串,可现在居然被Symbol虎口夺食,字符串大概也只能黯然伤神了吧。

用涂

根据Symbol的特性,它有以下通途。

命名冲突

JavaScript内置了一个symbol,那就是ES6中的。拥有函数的对象被称为可迭代对象,就是说你可以在对象上使用for/of循环。

constfibonacci={[]:function*(){leta=1;letb=1;lettemp;yieldb;while(true){temp=a;a=a+b;b=temp;yieldb;}}};//PrintseveryFibonaccinumberlessthan100for(constxoffibonacci){if(x=100){break;}(x);}

为什么这里要用而不是字符串?假设不用,可迭代对象需要有一个字符串属性名'iterator',就像下面这个可迭代对象的类:

classMyClass{constructor(obj){(this,obj);}iterator(){constkeys=(this);leti=0;return(function*(){if(i=){return;}yieldkeys[i++];})();}}

MyClass的实例是可迭代对象,可以遍历对象上面的属性。但是上面的类有个潜在的缺陷,假设有个恶意用户给MyClass构造函数传了一个带有iterator属性的对象:

constobj=newMyClass({iterator:'notafunction'});

这样你在obj上使用for/of的话,JavaScript会抛出TypeError:objisnotiterable异常。

可以看出,传入对象的iterator函数覆盖了类的iterator属性。

这有点类似原型污染的安全问题,无脑复制用户数据会对一些特殊属性,比如proto和constructor带来问题。

这里的核心在于,symbol让对象的内部数据和用户数据井水不犯河水。

由于sysmbol无法在JSON里表示,因此不用担心给ExpressAPI传入带有不合适的属性的数据。另外,对于那种混合了内置函数和用户数据的对象,你可以用symbol来确保用户数据不会跟内置属性冲突。

私有属性

由于任何两个symbol都是不相等的,在JavaScript里可以很方便地用来模拟私有属性。symbol`不会出现在()的结果中,因此除非你明确地export一个symbol,或者用()函数获取,否则其他代码无法访问这个属性。

functiongetObj(){constsymbol=Symbol('test');constobj={};obj[symbol]='test';returnobj;}constobj=getObj();(obj);//[]//除非有这个symbol的引用,否则无法访问该属性obj[Symbol('test')];//undefined//用getOwnPropertySymbols()依然可以拿到symbol的引用const[symbol]=(obj);obj[symbol];//'test'

还有一个原因是symbol不会出现在()的结果里,确切地说是()会忽略symbol属性名和属性值:

constsymbol=Symbol('test');constobj={[symbol]:'test',test:symbol};(obj);//"{}"
总结

symbol具有以下特性:

每个symbol都是独一无二的。

symbol可用作对象名称。

~

~

~本文完,感谢阅读!

~