前言

原子操作這是Java多線程編程的老生常談了。所謂原子操作是指不會(huì)被線程調(diào)度機(jī)制打斷的操作；這種操作一旦開(kāi)始，就一直運(yùn)行到結(jié)束，中間不會(huì)有任何 context switch （切換到另一個(gè)線程）。

當(dāng)然JS是單線程的，所以不存在線程打斷這么一說(shuō)，我只是從Java中借引了這么一個(gè)概念。如果一段JS代碼在執(zhí)行過(guò)程中沒(méi)有未知操作被引入，那么這段代碼就是100%可控和安全的，這就是原子操作。反之非原子操作可能會(huì)因?yàn)橥饨绮僮鞯囊雽?dǎo)致代碼變得難以控制而產(chǎn)生隱晦的bug。

JavaScript中可以通過(guò)Object.create(null)來(lái)創(chuàng)建原子，這是非常自然而又易于理解的方式。不過(guò)也有一些其它的方法來(lái)實(shí)現(xiàn)相同的效果，雖然在概念上有所不同，但是它們創(chuàng)建的一樣是“原子對(duì)象”。

創(chuàng)建原子

使用Object.create()

// 方法1
atom = Object.create(null)

使用Object.setPrototypeOf()

// 方法2
atom = Object.setPrototypeOf(new Object, null)

// OR
atom = Object.setPrototypeOf({}, null)

重置構(gòu)造器的原型屬性

// 方法3
function MyObject() {
 // ...
}
Object.setPrototypeOf(MyObject.prototype, null);

atom = new MyObject;

重置類的原型

注：“非派生類（沒(méi)有extends聲明的類）”，與將一個(gè)普通函數(shù)用作構(gòu)造器時(shí)的特性基本一致。

class MyClass {
 // ...
}
Object.setPrototypeOf(MyClass.prototype, null);

atom = new MyClass;

使用派生自null值的類

JavaScript在處理extends null時(shí)會(huì)將MyClass.prototype的原型置為null，因此這個(gè)類構(gòu)建的實(shí)例自然就是atom。但是，派生自null值的類無(wú)法直接構(gòu)建，因此需要聲明自己的構(gòu)造方法（以該方法創(chuàng)建和返回的對(duì)象作為this）。

// 方法4
class MyClass extends null {
 constructor() {
 return Object.create(new.target.prototype);
 }
}
atom = new MyClass;

上例在實(shí)現(xiàn)構(gòu)造方法constructor()時(shí)是直接引用new.target.prototype來(lái)作為原型的，這樣也就可以在new運(yùn)算時(shí)引用到MyClass子類的原型。例如：

// 方法5
class MyClassEx extends MyClass {
 get description() {
 return 'class MyClassEx';
 }
}
atom = new MyClassEx;
console.log(atom.description); // class MyClassEx

使用一般函數(shù)并直接返回原子

下面的代碼是兼容構(gòu)造器、原型繼承和函數(shù)調(diào)用等方式的。

// 方法6
// （當(dāng)作為函數(shù)調(diào)用時(shí),new.target為undefined值）
function MyAtom() {
 return Object.create(new.target && new.target.prototype || null);
}

// 示例1
atom = new MyAtom;
// 示例2
atom = MyAtom();

使用類來(lái)創(chuàng)建原子的一個(gè)特例

在上述方法4中，由于聲明了extends null，因此類MyClass必須擁有一個(gè)自己的構(gòu)造方法。但事實(shí)上在JavaScript中，extends null所表達(dá)的含義是：

• 因?yàn)橛衑xtends聲明，所以默認(rèn)的constructor()將總是調(diào)用父類super()來(lái)創(chuàng)建實(shí)例（亦即是所謂“this引用總是由祖先類創(chuàng)建的”）；但是，
• 由于extends null意味著父類為null，因此“調(diào)用父類super() ”失敗。

這是類MyClass不能使用默認(rèn)的constructor() ——而“通常”必須由用戶代碼來(lái)實(shí)現(xiàn)構(gòu)造方法的原因。然而JavaScript只是在靜態(tài)語(yǔ)法分析時(shí)才通過(guò)extends null來(lái)識(shí)別父類，真正在運(yùn)行期時(shí)，它是通過(guò)方法的內(nèi)部槽([[HomeObject]])來(lái)動(dòng)態(tài)查找super的?！捎谠搩?nèi)部槽指向類MyClass（或類的原型屬性MyClass.prototype），因此所謂的super其實(shí)就是如下的運(yùn)算值：

// for static class methods
_super = Object.getPrototypeOf(MyClass)

// for instance methods
_super = Object.getPrototypeOf(MyClass.prototype)

既然如此，我們就可以通過(guò)如下的代碼來(lái)聲明一個(gè)“可以創(chuàng)建原子”的類。例如：

// 方法7
Atom = Object.setPrototypeOf(class extends null {}, Object)
atom = new Atom;

在這個(gè)方法中，實(shí)際上Atom指向類表達(dá)式，并且重置了它的原型：

// （如下等價(jià)于方法7的第一行代碼）
Atom = class extends null {};
Object.setPrototypeOf(Atom.prototype, null);
Object.setPrototypeOf(Atom, Object);

其中extends null決定了Atom.prototype的原型指向一個(gè)null值，而setPrototypeOf(...)決定了當(dāng)new Atom()時(shí)，對(duì)象實(shí)際上是由Object() ——這個(gè)super來(lái)創(chuàng)建的。因此，當(dāng)new Atom時(shí)，實(shí)際發(fā)生的操作是：

// （如下等價(jià)于方法7的第二行代碼）
_this = new Object(); // call super()
Object.setPrototypeOf(_this, Atom.prototype); // prototype is null
atom = _this;

所以方法7是一種能夠“利用JavaScript原生構(gòu)造器”來(lái)創(chuàng)建原子的技巧。比如最簡(jiǎn)單的獲得一個(gè)Arguments()構(gòu)造器的方法其實(shí)是這樣：

let Arguments = Object.setPrototypeOf(class extends null {}, Array);

這樣得到的對(duì)象將與JavaScript內(nèi)置在函數(shù)調(diào)用中創(chuàng)建的argument完全一致：

// （JavaScript的arguments對(duì)象也是原子）
let arguments = new Arguments(1,2,3); // more paraments

不過(guò)在ES6中arguments也實(shí)現(xiàn)了迭代器界面，因此需要一行額外的代碼來(lái)處理之：

// for ES6
Arguments.prototype[Symbol.iterator] = [][Symbol.iterator];

其它

1. 關(guān)于映射類

在Metameta( @aimingoo/metameta  （本地下載）)中，可以使用Meta.from()來(lái)得到一個(gè)映射類，這與上面的方法7是相同的方式：

// 方法8（in metameta）
MyAtomObject = Meta.from(Object);
atom = new MyAtomObject;

有趣的是，這樣得到的“MyAtomObject類”（在Metameta中稱為Objext類）將繼承所有來(lái)自O(shè)bject.xxx的類方法，例如Object.keys()等。這些方法在元系統(tǒng)中也是可以直接使用的。例如：

// (in metameta)
Objext = Meta.from(Object);
Objext.keys(new Objext);

2. 關(guān)于extends new.target

上面在方法4中提到extends null相當(dāng)于將MyClass.prototype的原型設(shè)為null，——在方法7中也使用了這一技巧——因此事實(shí)上在Metameta( @aimingoo/metameta  （本地下載）)中實(shí)現(xiàn)MetaMeta()時(shí)，采用的extends new.target也就相當(dāng)于：

// class MyClass extends new.target ...
Object.setPrototypeOf(MyClass.prototype, new.target)

這一技巧用在類的constructor()方法中，返回一個(gè)新的類（類聲明的表達(dá)式）。

總結(jié)

以上就是這篇文章的全部?jī)?nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，如果有疑問(wèn)大家可以留言交流，謝謝大家對(duì)腳本之家的支持。

最新評(píng)論