ES6入门九：Symbol元编程

JS第七种数据类型：Symbol
Symbol的应用场景
11个Symbol静态属性
Symbol元编程

一、JS第七种数据类型：Symbol

在ES6之前的JavaScript的基本数据类型有undefined、null、boolean、number、string、object，现在Symbol作为第七种基本数据类型。翻译symbol这个单词就是“符号，标志”的意思，顾名思义Symbol的应用场景也就离不开唯一性，想想“符号、标志”都是用来干嘛的？不就是用来标记特定事物的符号嘛，在程序中用来作为标记的不就是名称或者ID么，可能在这时候你会想到ES6提供的const常量声明字符，为什么有了const还需要Symbol呢？

注意：const常量的意思是值保持不变，而不是名称保持不变，也就说Symbol可以用来指代一个名称并保持不变的状态。

1.声明Symbol以及基本操作：

var os = Symbol("hello");

从上面示例中的Symbol变量成名中可以看到，Symbol不需要使用new关键字构造，所以Symbol不是对象，只有构造对象才使用new关键字。

typeof os ; //symbol

控制台打印Symbol类型值：

console.log(os);//Symbol(hello)

实际上在控制台打印Symbol类型值得时候Symbol()包裹得内容会发生toString()转换，来看下面这几个示例：

 var os1 = Symbol({

     name:"txtx"

 });//Symbol([object Object])

 var os2 = Symbol({

     name:"text",

     toString:function(){

         return this.name;

     }

 });//Symbol(text)

2.Symbol值得唯一性：

 var os3 = Symbol();

 var os4 = Symbol();

 console.log(os3 === os2);//false

基于Symbol实现属性名得唯一性：

 var os5 = Symbol("text");

 var os6 = Symbol("text");

 var obj = {

     [os5]:"hello",

     [os6]:function(){

         return "hello";

     }

 }

 console.log(obj);//{Symbol(text): "hello", Symbol(text): ƒ}

 // 字符串的属性名

 var a = "text";

 var b = "text";

 var objStr = {

     [a]:"hello",

     [b]:function(){

         return "hello";

     }

 }

 console.log(objStr);//{text: ƒ}

3.关于Symbol值的类型转换，Symbol的值不能进行运算，否在会报错，但可以进行boolean逻辑运算，能隐式或者显式的转换成Boolean值，也可以显式的转换成字符串和对象：

 if(os5){

     console.log(os6);//Symbol(text)

 }

 console.log(Boolean(Symbol()));//true

 console.log(!Symbol());//false

 console.log(String(os5));//Symbol(text)

 console.log(Object(os6));//Symbol {Symbol(text)}

4.关于Symbol()、Symbol.for()、Symbol.keyFor()的值与使用：

Symbol()的返回值是一个全新的不重复的值；

Symbol.for()指向同一个key的Symbol值；

Symbol.keyFor()返回Symbol.for()登记在全局的Symbol值的key。

Symbol()与Symbol.for()两种方式都可以生成一个新的Symbol，前者是每次都会生成一个完全不同的Symbol，后者生成的值会被登记到全局环境中提供搜索，使用Symbol.for()生成的话会先查询全局中是否登记过同一个键的Symbol，如果有登记就直接返回该Symbol值，如果没有新生成一个并且登记到全局。（注意：Symbol.for只能查询全局登记的Symbol，所以Symbol.for()使用Symbol()使用相同的key也是不能查询到，而是Symbol.for自己生成一个全新的Symbol值登记到全局）

 var osv1 = Symbol("value");

 var osv2 = Symbol.for("textValue");

 var obj = {};

 var osv3 = Symbol.for(obj);

 var osT1 = Symbol.keyFor(osv1);

 var osT2 = Symbol.keyFor(osv2);

 var osT3 = Symbol.keyFor(osv3);

 console.log(osT1);//undefined

 console.log(osT2);//textValue

 console.log(osT3);//[object Object]

通过示例可以看到，Symbol.keyFor()只能返回登记在全局的Symbol值的key，并且返回值为字符串，所以对象类型的key默认返回[object Object]。

二、Symbol的应用场景

场景一：使用Symbol值作为对象属性名

 let obj = {

     num:123,

     text:"Str"

 }

 console.log( obj["num"] );//

 console.log( obj["text"] );//Str

 const osNum = Symbol("num");

 const osText = Symbol("text");

 let obS = {

     [osNum]:123,

     [osText]:"Str"

 }

 console.log( obS[osNum] );//

 console.log( obS[osText] );//Str

看示简单的应用场景，其实这里隐藏了好几个值得注意的问题，使用Symbol值作为对象属性名不能被for...in和for...of正常枚举，不能使用Object.keys()、Object.getOwnPropertyNames()正常获取属性名，但是Object.getOwnPropertyDescriptor()获取的对象属性描述符中enumerable（枚举描述符）的值为true，也就说从对象描述符所表示的来看Symbol值作为对象属性名是可以被枚举的，但是需要一个特定的枚举方法来实现：Object.getOwnPropertySymbols()

 for(var ele in obS){

     console.log(ele);//无输出

 }

 Object.keys(obj);//["num", "text"]

 Object.keys(obS);//[]

 Object.getOwnPropertyNames(obj);//["num", "text"]

 Object.getOwnPropertyNames(obS);//[]

 Object.getOwnPropertyDescriptor(obS,osNum)

 //{value: 123, writable: true, enumerable: true, configurable: true}

 Object.getOwnPropertySymbols(obS);//[Symbol(num), Symbol(text)]

由枚举的区别可以看到普通枚举方法不能枚举Symbol值作为名称的属性，这也就是说可以通过这样的特性来定义“对内操作的属性”，可以非常便捷的区分对象的“对内操作”与“对外操作”；并且这一特性被延伸到了JSON数据格式的转换中，看示例：

 JSON.stringify(obj);//"{"num":123,"text":"Str"}"

 JSON.stringify(obS);//"{}"

场景二：使用Symbol()替代常量值

 const TYPE_AUDIO = Symbol();

 const TYPE_VIDEO = Symbol();

 const TYPE_IMAGE = Symbol();

 function handleFileResource(resourece){

     switch(resourece.type){

         case TYPE_AUDIO:

             playAudio(resourece);

             break;

         case TYPE_VIDEO:

             playVideo(resourece);

             break;

         case TYPE_IMAGE:

             playImage(resourece);

             break;

         default:

             throw new Error('Unknown type of resource');

     }

 }

场景三：模块的Singleton模式（nodejs部分补充）

三、11个Symbol静态属性

1.Symbol.hasInstance：实现instanceof关键字底层计算逻辑。

//语法：判断a是否是b的构造实例

a instanceof b;

实际上instanceof的底层逻辑是b调用Symbol.hasInstance内部方法来实现的，看下面这个ES5语法示例：

 function a(){

     this.name = "a";

     this[Symbol.hasInstance] = function(foo){

         return foo instanceof Array;

     }

 }

 var obj = new a();

 console.log([1,2,3] instanceof obj);//true

再来看一下ES6语法的一个示例：

 class Even{

     static name = "Even";

     static [Symbol.hasInstance](obj){

         console.log("instanceof调用了“" + this.name + "”上的Symbol.hasInstance方法,是由“" + obj + "”启动的命令。");

     }

 }

 1 instanceof Even;//instanceof调用了“Even”上的Symbol.hasInstance方法,是由“1”启动的命令。

注：Symbol.hasInstance只适合Object类型，不能自定义Function类型上的instanceof指令。

2.Symbol.isConcatSoreadable：该属性等于一个布尔值，表示对象使用Array.prototype.concat()时是否可以展开。

 let arr1 = ['c','d'];

 console.log( ['a','b'].concat(arr1,'e') ); //["a", "b", "c", "d", "e"]

 console.log( arr1[Symbol.isConcatSpreadable] ); //undefined

 arr1[Symbol.isConcatSpreadable] = false;

 console.log( ['a','b'].concat(arr1,'e') ); //["a", "b", Array(2), "e"]

 arr1[Symbol.isConcatSpreadable] = true;

 console.log( ['a','b'].concat(arr1,'e') ); //["a", "b", "c", "d", "e"]

 arr1[Symbol.isConcatSpreadable] = undefined;

 console.log( ['a','b'].concat(arr1,'e') ); //["a", "b", "c", "d", "e"]

3.Symbol.species:属性指向当前对象的构造函数。创建实例时会默认调用这个方法。

 class MyArray extends Array{

     static get [Symbol.species]() {return Array}

 }

 let a = new MyArray(1,2,3);

 var mapped = a.map(x => x * x);

 console.log(a);

 console.log(a instanceof MyArray); //true

 console.log(a instanceof Array); //true

 console.log(mapped instanceof MyArray); //false

 console.log(mapped instanceof Array); //true

4.Symbol.match:当String对象调用match方法时，实际是让匹配的正则表达式或者字符串调用Symbol.match这个标识指向的函数：

 var a = String('abc');

 a[Symbol.match] = function(){

     console.log("match");

 }

 console.log(a.match(/b/)); //["b", index: 1, input: "abc", groups: undefined]

 class myMatcher extends String{

     static get [Symbol.species]() {return String}

     // constructor(val){

     //     this.value = val;

     // }

     [Symbol.match](str){

         return this.indexOf(str);

     }

 }

 var b = new myMatcher("abc");

 console.log(b);//abc

 console.log(a.match(b));//

 console.log('b'.match(b));//

5.Symbol.replace:当字符串对象调用replace方法时，实际上是由该方法传入的参数调用Symbol.replace方法来实现的：

 class myReplace extends String{

     static get [Symbol.species]() {return String}

     [Symbol.replace](){

         console.log(this);

     }

 }

 "abc def abc def".replace(new myReplace("abc"),'ccc'); //myReplace {"abc"}

6.Symbol.search：当字符串对象调用search方法时，实际上是由该方法传入的参数调用Symbol.search方法来实现的：

 var str = "abcmnifjabcfsfk";

 String.prototype[Symbol.search] = function(string){

     console.log("返回" + this + "在当前字符串中的第一个匹配位置");

     return string.indexOf(this);

 }

 console.log(str.search("abc"));

7.Symbol.split：当字符串调用split方法时，实际上是由该方法传入的参数调用Symbol.split方法来实现，下面实现的是当参数为字符串时的方法，split方法参数为正则表达式时调用的是正则表达式对象原型上的Symbol.split方法(下面的示例暂时没有实现)：

 String.prototype[Symbol.split] = function(str){

     var arr = [];

     var len = typeof this.toString()  === "string" ? this.length : 0;

     var index = str.indexOf(this);

     if(index === -1 || index === 0){

         arr.push(str);

     }else{

         arr.push(str.substr(0,index));

         str = str.slice(index + len,str.length)

         arr = arr.concat(this[Symbol.split](str));

     }

     return arr;

 }

 var str = "How are you doing today?";

 console.log( str.split(" ") );

8.Symbol.iterator：迭代器，在Array，Set，Map，Nodelist对象原型上都有这个迭代函数，在这篇博客不详细介绍迭代器，下面演示一个具备迭代特性的对象手动添加迭代器，让这个对象可以被循环迭代（关于迭代器会在下一篇博客中详细的解析）：

 var obj = {

     0:"a",

     1:"b",

     2:"c",

     length:3,

     [Symbol.iterator]:function(){

         let curIndex = 0;

         let next = () => {

             return {

                 value:this[curIndex],

                 done:this.length == curIndex++,

             }

         }

         return {

             next

         }

     }

 }

 for(let p of obj){

     console.log(p); //输出a b c (如果不再obj上添加Symbol.iterator迭代方法，会报错：obj is not iterable)

 }

9.Symbol.toPrimitive:该方法是当对象被转换为原始值类型时被触发，方法会接收到一个参数，这个参数根据执行的原始值转换类型分别为string、number、boolean三个字符串，手动实现代码如下：

 Object.prototype[Symbol.toPrimitive] = function(hint){

     console.log(hint);

     switch (hint){

         case 'number':

             return this.valueOf();

         case 'boolean':

             return this.valueOf();

         case 'string':

             return this.toString() === '[object String]' ? this.valueOf() : this.toString();

         default:

             throw new Error();

     }

 }

10.Symbol.toStringTag:这个属性可以说是用来配置对象调用toString方法时的返回值：

 var obj = {[Symbol.toStringTag]:"对象"};

 console.log(obj.toString());//[object 对象]

需要注意的是这种配置必须写在类的大括号中“{}”，否在会报错。

11.Symbol.unscopables：用来指定对象属性不被with扩展到作用于上：

 var obj = {

     name:"他乡踏雪",

     age:3,

     stature:666,

     [Symbol.unscopables]:{

         name:true

     }

 }

 with(obj){

     console.log(name);//这里打印一个空值

     console.log(age);//

     console.log(stature);//

 }

四、Symbol元编程

元编程可以简单理解为针对程序本身编程，用来操作目标程序本身的行为特性的编程。比如查看对象a是否是在对象b的原型链上，这种元编程通常也被叫做内省introspection；还有宏也是元编程的典型，代码在编译时修改自身；用for...in循环枚举对象的键，或者检查一个对象是否是某个“类构造器”的实例，也都是常见的元编程例子。

元编程关注以下一个或者几个点：代码查看自身、代码修改自身、代码修改默认语言特性，以此来影响其他代码。

（以后补充）

巴特西

ES6入门九：Symbol元编程

一、JS第七种数据类型：Symbol

二、Symbol的应用场景

三、11个Symbol静态属性

四、Symbol元编程

最新文章

热门文章