对于编程语言律师，我已经阅读了ECMAScript 5.1的以下部分（它比最新版本更容易阅读），并在ECMASript邮件列表中询问了它。

TL；DR：一切都是通过值传递的，但Objects的财产是引用，标准中令人毛骨悚然地缺少Object的定义。

参数列表的构造

第11.2.4节“参数列表”说明了生成仅由1个参数组成的参数列表的以下内容：

生产ArgumentList:AssignmentExpression的计算如下：让ref是赋值表达式的结果。让arg为GetValue（ref）。返回唯一项为arg的列表。

本节还列举了参数列表包含0或>1个参数的情况。

因此，所有的都是通过引用传递的。

对象财产的访问

第11.2.1节“财产访问人”

生产MemberExpression:MemberExpression[Expression]的计算如下：让baseReference作为计算MemberExpression的结果。让baseValue为GetValue（baseReference）。让propertyNameReference作为表达式求值的结果。让propertyNameValue为GetValue（propertyNameReference）。调用CheckObject强制（baseValue）。让propertyNameString为ToString（propertyNameValue）。如果正在计算的语法生成包含在严格模式代码中，则让strict为true，否则让严格是假的。返回一个Reference类型的值，其基值为baseValue，其引用名称为propertyNameString，其严格模式标志为strict。

因此，对象的财产始终可用作参考。

关于参考

第8.7节“引用规范类型”中描述了引用在语言中不是真正的类型——它们仅用于描述删除行为、类型和赋值运算符。

“对象”的定义

5.1版中定义了“对象是财产的集合”。因此，我们可以推断，对象的值是集合，但是关于集合的值是什么，在规范中定义得很差，需要一些努力才能理解。

这里有一些关于JavaScript中使用术语“通过引用传递”的讨论，但要回答您的问题：

对象通过引用自动传递，无需特别声明

（摘自上述文章。）

观察：如果观察者无法检查引擎的底层内存，则无法确定是否复制了不可变值或传递了引用。

JavaScript或多或少与底层内存模型无关。没有参考²。JavaScript有值。两个变量可以保持相同的值（或者更准确：两个环境记录可以绑定相同的值）。唯一可以变异的值类型是通过抽象[[Get]]和[[Set]]操作的对象。如果您忘记了计算机和内存，这就是描述JavaScript行为所需的全部内容，它可以让您理解规范。

 let a = { prop: 1 };
 let b = a; // a and b hold the same value
 a.prop = "test"; // The object gets mutated, can be observed through both a and b
 b = { prop: 2 }; // b holds now a different value

现在你可能会问自己，两个变量如何在计算机上保持相同的值。然后，您可能会查看JavaScript引擎的源代码，很可能会发现引擎所用语言的程序员会调用引用。

所以事实上，你可以说JavaScript是“值传递”，而值可以被共享，你可以称JavaScript是“引用传递”，这对于低级语言的程序员来说可能是一个有用的逻辑抽象，或者你可以将行为称为“共享调用”。

由于JavaScript中没有引用，所有这些都没有错，也没有切中要害。因此，我不认为搜索答案特别有用。

²规范中的术语“参考”不是传统意义上的参考。它是一个对象和属性名称的容器，并且是一个中间值（例如，a.b计算为Reference｛value=a，name=“b”｝）。术语“引用”有时也出现在规范中的不相关章节中。

变量不“保存”对象；它有一个参考。您可以将该引用分配给另一个变量，现在两者都引用同一个对象。它总是按值传递（即使该值是引用…）。

无法更改作为参数传递的变量所持有的值，如果JavaScript支持通过引用传递，这是可能的。

这是对值传递和引用传递（JavaScript）的更多解释。在这个概念中，他们讨论的是通过引用传递变量和通过引用传递该变量。

传递值（基本类型）

var a = 3;
var b = a;

console.log(a); // a = 3
console.log(b); // b = 3

a=4;
console.log(a); // a = 4
console.log(b); // b = 3

应用于JavaScript中的所有基元类型（字符串、数字、布尔值、未定义和null）。a被分配一个存储器（例如0x001），b在存储器中创建该值的拷贝（例如0x002）。因此，更改一个变量的值不会影响另一个变量，因为它们都位于两个不同的位置。

通过引用（对象）

var c = { "name" : "john" };
var d = c;

console.log(c); // { "name" : "john" }
console.log(d); // { "name" : "john" }

c.name = "doe";

console.log(c); // { "name" : "doe" }
console.log(d); // { "name" : "doe" }

JavaScript引擎将对象分配给变量c，并指向某个内存，例如（0x012）。当d=c时，在该步骤中，d指向相同的位置（0x012）。更改任何变量的值都会更改这两个变量的值。函数是对象

特殊情况，通过引用传递（对象）

c = {"name" : "jane"};
console.log(c); // { "name" : "jane" }
console.log(d); // { "name" : "doe" }

等号（=）运算符设置新的内存空间或地址

在低级语言中，如果要通过引用传递变量，则必须在创建函数时使用特定语法：

int myAge = 14;
increaseAgeByRef(myAge);
function increaseAgeByRef(int &age) {
  *age = *age + 1;
}

&age是对myAge的引用，但如果您需要该值，则必须使用*age转换引用。

JavaScript是一种高级语言，可以为您进行这种转换。

因此，尽管对象是通过引用传递的，但语言将引用参数转换为值。您不需要在函数定义上使用&来通过引用传递它，也不需要在功能体上使用*来将引用转换为值，JavaScript会为您执行此操作。

这就是为什么当您试图通过替换函数中的对象的值（即age={value:5}）来更改该对象时，更改不会持久，但如果您更改了它的财产（即age.value=5），更改就会持久。

了解更多信息