JavaScript的值传递和引用传递

原文: Explaining Value vs. Reference in Javascript
译者: Fundebug

为了保证可读性，本文采用意译而非直译。另外，本文版权归原作者所有，翻译仅用于学习。

JavaScript有5种基本的数据类型，分别是：布尔、null、undefined、String和Number。这些基本类型在赋值的时候是通过值传递的方式。值得注意的是还有另外三种类型: Array、Function和Object，它们通过引用来传递。从底层技术上看，它们三都是对象。

基本数据类型

如果一个基本的数据类型绑定到某个变量，我们可以认为该变量包含这个基本数据类型的值。

var x = 10;
var y = 'abc';
var z = null;
复制代码

当我们使用=将这些变量赋值到另外的变量，实际上是将对应的值拷贝了一份，然后赋值给新的变量。我们把它称作值传递。

var x = 10;
var y = 'abc';var a = x;
var b = y;console.log(x, y, a, b) // 10, 'abc', 10, 'abc'
复制代码

a和x都包含10，b和y都包含'abc'，并且它们是完全独立的拷贝，互不干涉。如果我们将a的值改变，x不会受到影响。

var x = 10;
var y = 'abc';
var a = x;
var b = y;
a = 5;
b = 'def';
console.log(x, y, a, b); // 10, 'abc', 5, 'def'
复制代码

对象

如果一个变量绑定到一个非基本数据类型(Array, Function, Object)，那么它只记录了一个内存地址，该地址存放了具体的数据。注意之前提到指向基本数据类型的变量相当于包含了数据，而现在指向非基本数据类型的变量本身是不包含数据的。

对象在内存中被创建，当我们声明arr = []，我们在内存中创建了一个数组。arr记录的是该内存的地址。

var arr = []; // (a)
arr.push(1); // (b)
复制代码

当执行完(a)之后，内存中创建了一个空的数组对象，其内存地址为#001，arr指向该地址。

变量	地址	对象
arr	#001	[]

当执行完(b)之后，数组对象中多了一个元素，但是数组的地址依然没有变，arr也没有变。

变量	地址	对象
arr	#001	[1]

引用传递

对象是通过引用传递，而不是值传递。也就是说，变量赋值只会将地址传递过去。

var reference = [1];
var refCopy = reference;
复制代码

变量	地址	对象
reference	#001	[1]
refCopy	#001

reference和refCopy指向同一个数组。如果我们更新reference，refCopy也会受到影响。

reference.push(2);
console.log(reference, refCopy); // [1, 2], [1, 2]
复制代码

变量	地址	对象
reference	#001	[1, 2]
refCopy	#001

引用重新赋值

如果我们将一个已经赋值的变量重新赋值，那么它将包含新的数据或则引用地址。

var obj = { first: 'fundebug.com'};
obj = { second: 'fundebug.cn'};
复制代码

obj从指向第一个对象变为指向第二个对象。

变量	地址	对象
obj	#001	{first: 'fundebug.com'}
	#002	{second: 'fundebug.cn'}

如果一个对象没有被任何变量指向，就如第一个对象(地址为#001)，JavaScript引擎的垃圾回收机制会将该对象销毁并释放内存。

== 和 ===

对于引用类型的变量，==和===只会判断引用的地址是否相同，而不会判断对象具体里属性以及值是否相同。因此，如果两个变量指向相同的对象，则返回true。

var arrRef = ['Hi!'];
var arrRef2 = arrRef;console.log(arrRef === arrRef2); // true
复制代码

如果是不同的对象，及时包含相同的属性和值，也会返回false。

var arr1 = ["Hi!"];
var arr2 = ["Hi!"];console.log(arr1 === arr2); // false
复制代码

如果想判断两个不同的对象是否真的相同，一个简单的方法就是将它们转换为字符串然后判断。

var arr1str = JSON.stringify(arr1);
var arr2str = JSON.stringify(arr2);console.log(arr1str === arr2str); // true
复制代码

另一个方法就是递归地判断每一个属性的值，直到基本类型位置，然后判断是否相同。

函数参数

当我们将基本类型数据传入函数，函数会将这些数据拷贝赋值给函数的参数变量。

var hundred = 100;
var two = 2;
function multiply(x, y) {return x * y;
}
var twoHundred = multiply(hundred, two);
复制代码

hundred的值拷贝给变量x，two的值拷贝给变量y。

纯函数

对于一个函数，给定一个输入，返回一个唯一的输出。除此之外，不会对外部环境产生任何附带影响。我们机会称该函数为纯函数。所有函数内部定义的变量在函数返回之后都被垃圾回收掉。

但是，如果函数的输入是对象(Array, Function, Object)，那么传入的是一个引用。对该变量的操作将会影响到原本的对象。这样的编程手法将产生附带影响，是的代码的逻辑复杂和可读性变低。

因此，很多数组函数，比如Array.map和Array.filter是以纯函数的形式实现。虽然它们的参数是一个数组变量，但是通过深度拷贝并赋值给一个新的变量，然后在新的数组上操作，来防止原始数组被更改。

我们来看一个例子：

function changeAgeImpure(person) {person.age = 25;return person;
}
var alex = {name: 'Alex',age: 30
};
var changedAlex = changeAgeImpure(alex);
console.log(alex); // { name: 'Alex', age: 25 }
console.log(changedAlex); // { name: 'Alex', age: 25 }
复制代码

在非纯函数changeAgeImpure中，将对象person的age更新并返回。原始的alex对象也被影响，age更新为25。

让我们来看如何实现一个纯函数：

function changeAgePure(person) {var newPersonObj = JSON.parse(JSON.stringify(person));newPersonObj.age = 25;return newPersonObj;
}
var alex = {name: 'Alex',age: 30
};
var alexChanged = changeAgePure(alex);
console.log(alex); // { name: 'Alex', age: 30 }
console.log(alexChanged); // { name: 'Alex', age: 25 }
复制代码

我们通过JSON.sringify将对象变为一个字符串，然后再通过JSON.parse将字符串变回对象。通过该操作会生成一个新的对象。

一道简单的面试题

值传递和引用传递经常在面试中被问到，来尝试回答一下如下代码如何输出：

function changeAgeAndReference(person) {person.age = 25;person = {name: 'John',age: 50};return person;
}
var personObj1 = {name: 'Alex',age: 30
};
var personObj2 = changeAgeAndReference(personObj1);
console.log(personObj1); // -> ?
console.log(personObj2); // -> ?
复制代码

关于Fundebug

Fundebug专注于JavaScript、微信小程序、微信小游戏、支付宝小程序、React Native、Node.js和Java实时BUG监控。自从2016年双十一正式上线，Fundebug累计处理了7亿+错误事件，得到了Google、360、金山软件、百姓网等众多知名用户的认可。欢迎免费试用！