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"] );//123
console.log( obj["text"] );//Str

const osNum = Symbol("num");
const osText = Symbol("text");
let obS = {
    [osNum]:123,
    [osText]:"Str"
}
console.log( obS[osNum] );//123
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));//0
console.log('b'.match(b));//1

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);//3
    console.log(stature);//666
}

 四、Symbol元编程

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

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

（以后补充）