JavaScript中的值是按值传递还是按引用传递问题探讨

JavaScript 2018-12-31

最近遇到个有趣的问题：“JS中的值是按值传递，还是按引用传递呢？”

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

按值传递 VS. 按引用传递

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

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

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

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

我们先看一个C的例子来了解按值和引用传递的区别：
<div class="codetitle"><a style="CURSOR: pointer" data="90771" class="copybut" id="copybut90771" onclick="doCopy('code90771')"> 代码如下:

<div class="codebody" id="code90771">
void Modify(int p,int q)
{
p = 27; // 按值传递 – p是实参a的副本,只有p被修改
q = 27; // q是b的引用，q和b都被修改
}
int main()
{
int a = 1;
int b = 1;
Modify(a,&b); // a 按值传递,b 按引用传递,
// a 未变化,b 改变了
return(0);
}

这里我们可以看到：

a => p按值传递时，修改形参p的值并不影响实参a，p只是a的副本。
b => q是按引用传递，修改形参q的值时也影响到了实参b的值。
探究JS值的传递方式
JS的基本类型，是按值传递的。
<div class="codetitle"><a style="CURSOR: pointer" data="82485" class="copybut" id="copybut82485" onclick="doCopy('code82485')"> 代码如下:

<div class="codebody" id="code82485">
var a = 1;
function foo(x) {
x = 2;
}
foo(a);
console.log(a); // 仍为1,未受x = 2赋值所影响

再来看对象：
代码如下:
修改了!
说明o和obj是同一个对象，o不是obj的副本。所以不是按值传递。 但这样是否说明JS的对象是按引用传递的呢？我们再看下面的例子：
代码如下:
修改为100.
如果是按引用传递，修改形参o的值，应该影响到实参才对。但这里修改o的值并未影响obj。 因此JS中的对象并不是按引用传递。那么究竟对象的值在JS中如何传递的呢？

按共享传递 call by sharing

准确的说，JS中的基本类型按值传递，对象类型按共享传递的(call by sharing，也叫按对象传递、按对象共享传递)。最早由Barbara Liskov. 在1974年的glu语言中提出。该求值策略被用于Python、Java、Ruby、JS等多种语言。

该策略的重点是：调用函数传参时，函数接受对象实参引用的副本(既不是按值传递的对象副本，也不是按引用传递的隐式引用)。 它和按引用传递的不同在于：在共享传递中对函数形参的赋值，不会影响实参的值。如下面例子中，不可以通过修改形参o的值，来修改obj的值。
<div class="codetitle"><a style="CURSOR: pointer" data="99979" class="copybut" id="copybut99979" onclick="doCopy('code99979')"> 代码如下:

<div class="codebody" id="code99979">
var obj = {x : 1};
function foo(o) {
o = 100;
}
foo(obj);
console.log(obj.x); // 仍然是1,obj并未被修改为100.

然而，虽然引用是副本，引用的对象是相同的。它们共享相同的对象，所以修改形参对象的属性值，也会影响到实参的属性值。
代码如下:
修改了!
对于对象类型，由于对象是可变(mutable)的，修改对象本身会影响到共享这个对象的引用和引用副本。而对于基本类型，由于它们都是不可变的(immutable)，按共享传递与按值传递(call by value)没有任何区别，所以说JS基本类型既符合按值传递，也符合按共享传递。
代码如下:
据按共享传递的求值策略，a和b是两个不同的引用(b是a的引用副本)，但引用相同的值。由于这里的基本类型数字1不可变，所以这里说按值传递、按共享传递没有任何区别。

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

基本类型是不可变的(immutable)，只有对象是可变的(mutable). 例如数字值100,布尔值true,false，修改这些值(例如把1变成3,把true变成100)并没有什么意义。比较容易误解的，是JS中的string。有时我们会尝试“改变”字符串的内容，但在JS中，任何看似对string值的”修改”操作，实际都是创建新的string值。

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

JavaScript

相关文章

自定义web弹窗/层：简易风格的msg与可拖放的dialog，生成博客园文章目录弹窗
前言 做过web项目开发的人对layer弹层组件肯定不陌生，作为l...
nice-validator表单验证插件的简单使用
前言 前端表单校验是过滤无效数据、假数据、有毒数据的第一步...
基于“formData批量上传的多种实现” 的多图片预览、上传的多种实现
前言 图片上传是web项目常见的需求，我基于之前的博客的代码...
踹掉后端，前端导出Excel！
前言 导出Excel文件这个功能，通常都是在后端实现返回前端一...
Web Worker——js的多线程，实现统计博客园总阅读量、总评论量、总推荐量
前言 众所周知，js是单线程的，从上往下，从左往右依次执行，...
select标签 禁止选择但又能通过序列化form表单传值到后台
前言 项目开发中，我们可能会碰到这样的需求：select标签，禁...