JS共享传参

目录导航

• 一、概念
  • 按值传递 VS. 按引用传递
  • 按共享传递 call by sharing
• 二、实例解析
  • 探究JS值的传递方式
  • 按共享传递 call by sharing
  • 基本类型的不可变(immutable)性质

一、概念

　　我们需了解什么是按值传递(call by value)，什么是按引用传递(call by reference)。在计算机科学里，这个部分叫求值策略(Evaluation Strategy)。它决定变量之间、函数调用时实参和形参之间值是如何传递的。

按值传递 VS. 按引用传递

　　按值传递(call by value)是最常用的求值策略：函数的形参是被调用时所传实参的副本。修改形参的值并不会影响实参。

　　按引用传递(call by reference)时，函数的形参接收实参的隐式引用，而不再是副本。这意味着函数形参的值如果被修改，实参也会被修改。同时两者指向相同的值。

　　按引用传递会使函数调用的追踪更加困难，有时也会引起一些微妙的BUG。

　　按值传递由于每次都需要克隆副本，对一些复杂类型，性能较低。两种传值方式都有各自的问题。

  　 可能很多人都是做后端的，所有会想到“引用传递”，然而实际上却不是，导致了问题的产生。

按共享传递 call by sharing

　　总的来讲Stack Overflow上Community Wiki的解答，对于传递到函数参数的对象类型，如果直接改变了拷贝的引用，那是不会影响到原来的那个对象；如果是通过拷贝的引用，去进行内部的值的操作，那么就会改变到原来的对象的。 

　　以下是个很好的例子

function changeStuff(state1, state2)
{
  state1.item = 'changed';
  state2 = {item: "changed"};
}

var obj1 = {item: "unchanged"};
var obj2 = {item: "unchanged"};

changeStuff(obj1, obj2);
console.log(obj1.item);  // obj1.item becomes 'changed'  
console.log(obj2.item);  // obj2.item is still 'unchanged'

二、实例解析

探究JS值的传递方式

JS的基本类型，是按值传递的。

var a = 1;
function foo(x) {
    x = 2;
}
foo(a);
console.log(a); // 仍为1, 未受x = 2赋值所影响

再来看对象：

var obj = {x : 1};
function foo(o) {
    o.x = 3;
}
foo(obj);
console.log(obj.x); // 3, 被修改了!

说明o和obj是同一个对象，o不是obj的副本。所以不是按值传递。 但这样是否说明JS的对象是按引用传递的呢？

我们再看下面的例子：

var obj = {x : 1};
function foo(o) {
    o = 100;
}
foo(obj);
console.log(obj.x); // 仍然是1, obj并未被修改为100.

　　如果是按引用传递，修改形参o的值，应该影响到实参才对。但这里修改o的值并未影响obj。 因此JS中的对象并不是按引用传递。那么究竟对象的值在JS中如何传递的呢？

按共享传递 call by sharing

　　准确的说，JS中的基本类型按值传递，对象类型按共享传递的(call by sharing，也叫按对象传递、按对象共享传递)。该求值策略被用于Python、Java、Ruby、JS等多种语言。

　　该策略的重点是：调用函数传参时，函数接受对象实参引用的副本(既不是按值传递的对象副本，也不是按引用传递的隐式引用)。

　　它和按引用传递的不同在于：在共享传递中对函数形参的赋值，不会影响实参的值。

　　如下面例子中，不可以通过修改形参o的值，来修改obj的值。

var obj = {x : 1};
function foo(o) {
    o = 100;
}
foo(obj);
console.log(obj.x); // 仍然是1, obj并未被修改为100.

　　然而，虽然引用是副本，引用的对象是相同的。它们共享相同的对象，所以修改形参对象的属性值，也会影响到实参的属性值。

var obj = {x : 1};
function foo(o) {
    o.x = 3;
}
foo(obj);
console.log(obj.x); // 3, 被修改了!

　　对于对象类型，由于对象是可变(mutable)的，修改对象本身会影响到共享这个对象的引用和引用副本。而对于基本类型，由于它们都是不可变的(immutable)，按共享传递与按值传递(call by value)没有任何区别，所以说JS基本类型既符合按值传递，也符合按共享传递。

var a = 1; // 1是number类型，不可变 var b = a; b = 6;

　　据按共享传递的求值策略，a和b是两个不同的引用(b是a的引用副本)，但引用相同的值。由于这里的基本类型数字1不可变，所以这里说按值传递、按共享传递没有任何区别。

基本类型的不可变(immutable)性质

　　基本类型是不可变的(immutable)，只有对象是可变的(mutable).

　　例如数字值100, 布尔值true, false，修改这些值(例如把1变成3, 把true变成100)并没有什么意义。

　　比较容易误解的，是JS中的string。有时我们会尝试“改变”字符串的内容，但在JS中，任何看似对string值的”修改”操作，实际都是创建新的string值。

var str = "abc";
str[0]; // "a"
str[0] = "d";
str; // 仍然是"abc";赋值是无效的。没有任何办法修改字符串的内容

　　而对象就不一样了，对象是可变的。

var obj = {x : 0};
obj.x = 100;
var o = obj;
o.x = 1;
obj.x; // 1, 被修改
o = true;
obj.x; // 1, 不会因o = true改变

　　这里定义变量obj，值是object，然后设置obj.x属性的值为100。而后定义另一个变量o，值仍然是这个object对象，此时obj和o两个变量的值指向同一个对象（共享同一个对象的引用）。所以修改对象的内容，对obj和o都有影响。但对象并非按引用传递，通过o = true修改了o的值，不会影响obj。

　　https://developer.mozilla.org/zh-CN/docs/Glossary/Primitive 引

　　基本类型（基本数值、基本数据类型）是指非 对象 并且无方法的数据。在 JavaScript 中，共有6种基本数据类型：string，number，boolean，null，undefined，symbol (ECMAScript2015新增)。

总结：值传递不会被修改；对象传递，本身不会被修改，但属性值可以被修改且只能通过属性修改