深入理解JavaScript系列(19)：求值策略(Evaluation strategy)(2)

　　一方面，它是这样的——传递给函数内部用的参数仅仅是绑定值(引用地址)的一个名称，并不会影响外部的对象。

　　另一方面，如果不深入研究，这些术语真的被认为吃错误的，因为很多论坛都在说如何将对象传递给JavaScript函数)。

　　一般理论确实有按值传递的说法：但这时候这个值就是我们所说的地址拷贝(副本)，因此并没哟破坏规则。

　　在Ruby中，这个策略称为按引用传递。再说一下：它不是按照大结构的拷贝来传递(例如，不是按值传递),而另一方面，我们没有处理原始对象的引用，并且不能修改它;因此，这个跨术语的概念可能更会造成混乱。

　　理论里没有像按值传递的特殊case一样来面试按引用传递的特殊case。

　　但依然有必要了解这些策略在上述提到的技术中(Java, ECMAScript, Python, Ruby, other)，实际上——他们用的策略就是按共享传递。

　　按共享与指针

　　对于С/С+ +，这个策略在思想上和按指针值传递是一样的，但有一个重要的区别——该策略可以取消引用指针以及完全改变对象。但在一般情况下，分配一个值(地址)指针到新的内存块(即之前引用的内存块保持不变);通过指针改变对象属性的话会影响阿东外部对象。

　　因此，和指针类别，我们可以明显看到，这是按地址值传递。 在这种情况下，按共享传递只是“语法糖”，像指针赋值行为一样(但不能取消引用)，或者像引用一样修改属性(不需要取消引用操作)，有时候，它可以被命名为“安全指针”。

　　然而，С/С+ +如果在没有明显指针的解引用的情况下，引用对象属性的时候，还具有特殊的语法糖：

　　obj->x instead of (*obj).x

　　和C++关系最为紧密的这种意识形态可以从“智能指针”的实现中看到，例如，在 boost :: shared_ptr里，重载了赋值操作符以及拷贝构造函数，而且还使用了对象的引用计数器，通过GC删除对象。 这种数据类型，甚至有类似的名字- 共享_ptr。

　　ECMAScript实现

　　现在我们知道了ECMAScript中将对象作为参数传递的策略了——按共享传递：修改参数的属性将会影响到外部，而重新赋值将不会影响到外部对象。但是，正如我们上面提到的，其中的ECMAScript开发人员一般都称之为是：按值传递，只不过该值是引用地址的拷贝。

　　JavaScript发明人布伦丹·艾希也写到了：传递的是引用的拷贝(地址副本)。所以论坛里大家曾说的按值传递，在这种解释下，也是对的。

　　更确切地说，这种行为可以理解为简单的赋值，我们可以看到，内部是完全不同的对象，只不过引用的是相同的值——也就是地址副本。

　　ECMAScript代码：

　　var foo = {x: 10, y: 20};var bar = foo; alert(bar === foo); // true bar.x = 100;bar.y = 200; alert([foo.x, foo.y]); // [100, 200]

　　复制代码

　　即两个标识符(名称绑定)绑定到内存中的同一个对象， 共享这个对象：

　　foo value: addr(0xFF) => {x: 100, y: 200} (address 0xFF) <= bar value: addr(0xFF)

　　复制代码

　　而重新赋值分配，绑定是新的对象标识符(新地址)，而不影响已经先前绑定的对象 ：

　　bar = {z: 1, q: 2}; alert([foo.x, foo.y]); // [100, 200] – 没改变alert([bar.z, bar.q]); // [1, 2] – 但现在引用的是新对象

　　复制代码

　　即现在foo和 bar，有不同的值和不同的地址:

　　foo value: addr(0xFF) => {x: 100, y: 200} (address 0xFF)bar value: addr(0xFA) => {z: 1, q: 2} (address 0xFA)

　　复制代码

　　再强调一下，这里所说对象的值是地址(address)，而不是对象结构本身，将变量赋值给另外一个变量——是赋值值的引用。因此两个变量引用的是同一个内存地址。下一个赋值却是新地址，是解析与旧对象的地址绑定，然后绑定到新对象的地址上，这就是和按引用传递的最重要区别。

　　此外，如果只考虑ECMA-262标准所提供的抽象层次，我们在算法里看到的只有“值”这个概念，实现传递的“值”(可以是原始值，也可以是对象)，但是按照我们上面的定义，也可以完全称之为“按值传递”，因为引用地址也是值。

　　然而，为了避免误解(为什么外部对象的属性可以在函数内部改变)，这里依然需要考虑实现层面的细节——我们看到的按共享传递，或者换句话讲——按安全指针传递，而安全指针不可能去解除引用和改变对象的，但可以去修改该对象的属性值。

　　术语版本

　　让我们来定义ECMAScript中该策略的术语版本。

　　可以称之为“按值传递”——这里所说的值是一个特殊的case，也就是该值是地址副本(address copy)。从这个层面我们可以说：ECMAScript中除了异常之外的对象都是按值传递的，这实际上是ECMAScript抽象的层面。

　　或针对这种情况下，专门称之为“按共享传递”，通过这个正好可以看到传统的按值传递和按引用传递的区别，这种情况，可以分成2个种情况：1：原始值按值传递;2：对象按共享传递。

　　“通过引用类型将对象到函数”这句话和ECMAScript无关，而且它是错误的。

　　结论

　　我希望这篇文章有助于宏观上了解更多细节，以及在ECMAScript中的实现。一如既往，如果有任何问题，欢迎讨论。

原文转自：http://www.ltesting.net