ES6 系列之私有变量的实现

前言

在阅读 《ECMAScript 6 入门》的时候，零散的看到有私有变量的实现，因此在此总结一篇。

1. 约定

实现

class Example {
	constructor() {
		this._private = 'private';
	}
	getName() {
		return this._private
	}
}

var ex = new Example();

console.log(ex.getName()); // private
console.log(ex._private); // private
复制代码

优势

1. 写法简单
2. 调试方便
3. 兼容性好

缺点

1. 外部能够访问和修改
2. 语言没有配合的机制，如 for in 语句会将全部属性枚举出来
3. 命名冲突

2. 闭包

实现一

/** * 实现一 */
class Example {
  constructor() {
    var _private = '';
    _private = 'private';
    this.getName = function() {return _private}
  }
}

var ex = new Example();

console.log(ex.getName()); // private
console.log(ex._private); // undefined
复制代码

优势

1. 无命名冲突
2. 外部没法访问和修改

缺点

1. constructor 的逻辑变得复杂。构造函数应该只作对象初始化的事情，如今为了实现私有变量，必须包含部分方法的实现，代码组织上略不清晰。
2. 方法存在于实例，而非原型上，子类也没法使用 super 调用
3. 构建增长一点点开销

实现二

/** * 实现二 */
const Example = (function() {
  var _private = '';

  class Example {
    constructor() {
      _private = 'private';
    }
    getName() {
      return _private;
    }
  }

  return Example;

})();

var ex = new Example();

console.log(ex.getName()); // private
console.log(ex._private); // undefined
复制代码

优势

1. 无命名冲突
2. 外部没法访问和修改

缺点

1. 写法有一点复杂
2. 构建增长一点点开销

3. Symbol

实现

const Example = (function() {
    var _private = Symbol('private');

    class Example {
        constructor() {
          this[_private] = 'private';
        }
        getName() {
          return this[_private];
        }
    }

    return Example;
})();

var ex = new Example();

console.log(ex.getName()); // private
console.log(ex.name); // undefined
复制代码

优势

1. 无命名冲突
2. 外部没法访问和修改
3. 无性能损失

缺点

1. 写法稍微复杂
2. 兼容性也还好

4. WeakMap

实现

/** * 实现一 */
const _private = new WeakMap();

class Example {
  constructor() {
    _private.set(this, 'private');
  }
  getName() {
  	return _private.get(this);
  }
}

var ex = new Example();

console.log(ex.getName()); // private
console.log(ex.name); // undefined
复制代码

若是这样写，你可能以为封装性不够，你也能够这样写：

/** * 实现二 */
const Example = (function() {
  var _private = new WeakMap(); // 私有成员存储容器

  class Example {
    constructor() {
      _private.set(this, 'private');
    }
    getName() {
    	return _private.get(this);
    }
  }

  return Example;
})();

var ex = new Example();

console.log(ex.getName()); // private
console.log(ex.name); // undefined
复制代码

优势

1. 无命名冲突
2. 外部没法访问和修改

缺点

1. 写法比较麻烦
2. 兼容性有点问题
3. 有必定性能代价

5. 最新提案

class Point {
  #x;
  #y;

  constructor(x, y) {
    this.#x = x;
    this.#y = y;
  }

  equals(point) {
    return this.#x === point.#x && this.#y === point.#y;
  }
}
复制代码

那么为何不直接使用 private 字段呢？好比说这样：

class Foo {
  private value;

  equals(foo) {
    return this.value === foo.value;
  }
}
复制代码

简单点来讲，就是嫌麻烦，固然也有性能上的考虑……

举个例子，若是咱们不使用 #，而是使用 private 关键字：

class Foo {
  private value = '1';

  equals(foo) {
    return this.value === foo.value;
  }
}

var foo1 = new Foo();
var foo2 = new Foo();

console.log(foo1.equals(foo2));
复制代码

在这里咱们新建了两个实例，而后将 foo2 做为参数传入了 foo1 的实例方法中。

那么咱们能够获取 foo2.value 的值吗？若是咱们直接 foo2.value 确定是获取不到值的，毕竟是私有变量，但是 equals 是 Foo 的一个类方法，那么能够获取到的吗？

答案是能够的。

其实这点在其余语言，好比说 Java 和 C++ 中也是同样的，类的成员函数中能够访问同类型实例的私有变量，这是由于私有是为了实现“对外”的信息隐藏，在类本身内部，没有必要禁止私有变量的访问，你也能够理解为私有变量的限制是以类为单位，而不是以对象为单位，此外这样作也能够为使用者带来便利。

既然获取值是能够的，那么打印的结果应该为 true，可是若是咱们传入的值不是 Foo 的实例，而是一个其余对象呢？

var foo1 = new Foo();

console.log(foo1.equals({
  value: 2
}));
复制代码

固然这里代码也是能够正常运行的，可是对于编译器来讲，就有一点麻烦了，由于编译器不知道 value 究竟是 foo 的正常属性仍是私有属性，因此编译器须要作判断，先判断 foo 是否是 Foo 的实例，而后再接着获取值。

这也意味着每次属性访问都须要作这样一个判断，而引擎已经围绕属性访问作了高度优化，懒得改，并且还下降速度。

不过除了这个工做以外，还会有一些其余的内容须要考虑，好比说：

1. 你必须将私有的 key 编码进每一个词法环境
2. for in 能够遍历这些属性吗？
3. 私有属性和正常属性同名的时候，谁会屏蔽谁？
4. 怎么防止私有属性的名称不被探测出来。

关于使用 # 而不使用 private 更多的讨论能够参考这个 Issue。

固然这些问题均可以被解决啦，就是麻烦了点。

而若是你选择 #，实现的方式将跟 JavaScript 对象属性彻底没有关系，将会使用 private slots 的方式以及使用一个新的 slot 查找语法，总之就是会比 private 的实现方式简单不少。

参考

1. 《编程语言如何演化——以JS的private为例》贺师俊
2. Exploring ES6
3. 译 JS 新语法：私有属性

ES6 系列

ES6 系列目录地址：github.com/mqyqingfeng…

ES6 系列预计写二十篇左右，旨在加深 ES6 部分知识点的理解，重点讲解块级做用域、标签模板、箭头函数、Symbol、Set、Map 以及 Promise 的模拟实现、模块加载方案、异步处理等内容。

若是有错误或者不严谨的地方，请务必给予指正，十分感谢。若是喜欢或者有所启发，欢迎 star，对做者也是一种鼓励。