传递参考与传递值之间有什么区别？

维基百科

http://en.wikipedia.org/wiki/Pass_by_reference#Call_by_value

http://en.wikipedia.org/wiki/Pass_by_reference#Call_by_reference

这家伙几乎钉了它:

http://javadude.com/articles/passbyvalue.htm

这里的许多答案(特别是最受高度评价的答案)实际上是不正确的,因为他们误解了"引用的呼叫"的真正含义.这是我试图解决问题的尝试.

TL; DR

简单来说:

按值调用意味着您将值作为函数参数传递

通过引用调用意味着您将变量作为函数参数传递

用比喻来说:

按价值呼叫是我在一张纸上写下东西然后交给你的地方.也许它是一个URL,也许它是战争与和平的完整副本.无论它是什么,它都放在我给你的一张纸上,所以现在它实际上是你的一张纸.你现在可以自由地在那张纸上乱涂乱画,或者用那张纸在其他地方找到一些东西并随便弄乱,无论如何.

通过引用打电话的时候我给你的笔记本里面写了一些东西.你可以在我的笔记本上乱涂乱画(也许我想要你,也许我不会),然后我把笔记本放在你的笔记本上,不管你放在那里的涂鸦.此外,如果您或我写的是有关如何在其他地方找到某些内容的信息,您或我可以去那里并提供相关信息.

"按价值呼叫"和"按参考呼叫" 并不意味着什么

请注意,这两个概念完全独立并且与引用类型的概念正交(在Java中是所有类型的子类型Object,在C#中所有class类型),或指针类型的概念,如C语言(在语义上等效) Java的"引用类型",只是使用不同的语法).

引用类型的概念对应于一个URL:它本身就是一条信息,它是一个引用(如果你愿意的话,指针)到其他信息.您可以在不同的地方拥有许多URL副本,并且不会更改所有链接到的网站; 如果网站更新,那么每个URL副本仍将导致更新的信息.相反,在任何一个地方更改URL都不会影响URL的任何其他书面副本.

需要注意的是C++有"参考"(例如的概念int&),是不是像Java和C#的'引用类型’,但就是像'通过引用调用’.Java和C#的"引用类型"以及Python中的所有类型都类似于C和C++所称的"指针类型"(例如int*).

好的,这是更长,更正式的解释.

术语

首先,我想强调一些重要的术语,以帮助澄清我的答案,并确保我们在使用单词时都指的是相同的想法.(在实践中,我认为绝大多数关于诸如此类主题的混淆源于使用单词以不能完全传达预期意义的方式.)

首先,这是一个函数声明的类似C语言的示例:

void foo(int param) {  // line 1
  param += 1;
}

这是调用此函数的示例:

void bar() {
  int arg = 1;  // line 2
  foo(arg);     // line 3
}

使用这个例子,我想定义一些重要的术语:

foo是第1行声明的函数(Java坚持使用所有函数方法,但概念是相同的而不失一般性; C和C++区分声明和定义,我不会在这里讨论)

param是一个正式的参数来foo,还宣布1号线

arg是一个变量,特别是函数的局部变量,bar在第2行声明和初始化

arg也是一个参数到特定的调用的foo第3行

这里有两个非常重要的概念要区分.第一个是价值与变量:

甲值是计算表达式的结果的语言.例如,在bar上面的函数中,在行之后int arg = 1;,表达式arg具有值 1.

甲变量是一个对值的容器.变量可以是可变的(这是大多数类C语言中的默认值),只读(例如使用Java final或C#声明readonly)或深度不可变(例如使用C++ const).

要区分的另一个重要概念是参数与参数:

甲参数(也称为形式参数)是可变的,其必须由呼叫者调用函数时被供应.

一个参数是一个值,其由函数的调用者提供满足该功能的具体形式参数

按价值呼叫

在按值调用时,函数的形式参数是为函数调用新创建的变量,并使用其参数的值进行初始化.

这与使用值初始化任何其他类型的变量完全相同.例如:

int arg = 1;
int another_variable = arg;

这里arg和another_variable完全独立的变量-它们的值可以相互独立地改变.但是,在another_variable声明的位置,它被初始化为保持相同的值arg- 即1.

由于它们是自变量,因此更改another_variable不会影响arg:

int arg = 1;
int another_variable = arg;
another_variable = 2;

assert arg == 1; // true
assert another_variable == 2; // true

这arg与param我们上面的示例之间的关系完全相同,我将在此重复对称性:

void foo(int param) {
  param += 1;
}

void bar() {
  int arg = 1;
  foo(arg);
}

就像我们用这种方式编写代码一样:

// entering function "bar" here
int arg = 1;
// entering function "foo" here
int param = arg;
param += 1;
// exiting function "foo" here
// exiting function "bar" here

也就是说,通过值调用的定义特征是被调用者(foo在这种情况下)接收值作为参数,但是对于来自调用者的变量(在这种情况下)的那些值具有其自己的单独变量bar.

回到上面的比喻,如果我bar和你在一起foo,当我打电话给你时,我会给你一张纸,上面写着一个值.你叫那张纸param.该值是我在笔记本中写入的值(我的局部变量)的副本,在我调用的变量中arg.

(顺便说一句:根据硬件和操作系统的不同,有关于如何从另一个函数调用一个函数的各种调用约定.调用约定就像我们决定是否在一张纸上写下值然后交给你,或者如果你有一张纸我写的,或者我把它写在我们前面的墙上.这也是一个有趣的主题,但远远超出了这个已经很久的答案的范围.)

通过引用打电话

在通过引用调用时,函数的形式参数只是调用者作为参数提供的相同变量的新名称.

回到上面的例子,它相当于:

// entering function "bar" here
int arg = 1;
// entering function "foo" here
// aha! I note that "param" is just another name for "arg"
arg /* param */ += 1;
// exiting function "foo" here
// exiting function "bar" here

因为param它只是另一个名称arg- 也就是说,它们是相同的变量,所以变化param反映在其中arg.这是通过引用调用与按值调用不同的基本方式.

很少有语言支持通过引用调用,但C++可以这样做:

void foo(int& param) {
  param += 1;
}

void bar() {
  int arg = 1;
  foo(arg);
}

在这种情况下,param不只是具有相同价值的arg,它实际上是 arg(只是一个不同的名称)等bar可以观察到,arg已递增.

请注意,这不是 Java,JavaScript,C,Objective-C,Python或当今几乎任何其他流行语言的工作方式.这意味着这些语言不是通过引用调用,而是按值调用.

附录:通过对象共享调用

如果您拥有的是按值调用,但实际值是引用类型或指针类型,那么"值"本身并不是很有趣(例如,在C中它只是平台特定大小的整数) - 什么是有趣的是这个价值所指向的.

如果该引用类型(即指针)指向的是可变的,那么可能会产生一个有趣的效果:您可以修改指向的值,并且调用者可以观察到指向值的更改,即使调用者无法观察更改指针本身.

再次借用URL的类比,如果我们关心的是网站而不是URL,那么我向网站提供URL 副本的事实并不是特别有趣.您在URL副本上涂鸦并不会影响我的URL副本这一事实并不是我们关心的事情(事实上,在Java和Python等语言中,"URL"或引用类型值可以根本没有被修改,只有它指向的东西可以).

Barbara Liskov在发明CLU编程语言(具有这些语义)时,意识到现有术语"按值调用"和"按引用调用"对于描述这种新语言的语义并不是特别有用.所以她发明了一个新术语:通过对象共享来调用.

在讨论技术上按值调用的语言时,但是使用的常用类型是引用或指针类型(即:几乎所有现代命令式,面向对象或多范式编程语言),我发现它不那么令人困惑.简单地避免谈论价值呼叫或通过参考呼叫.坚持通过对象共享调用(或简单地按对象调用),没有人会感到困惑.:-)

在理解这两个术语之前,您必须了解以下内容.每个对象都有两件可以区分的东西.

它的价值.

它的地址.

所以,如果你说 employee.name = "John"

知道有两件事name.它的值"John"以及它在内存中的位置是一些十六进制数可能是这样的:0x7fd5d258dd00.

根据语言的结构或类型的对象(类,结构等),你会要么转移"John"或0x7fd5d258dd00

传递"John"被称为传递价值.传递0x7fd5d258dd00被称为通过引用传递.指向此内存位置的任何人都可以访问其值"John".

有关这方面的更多信息,我建议您阅读有关取消引用指针的信息,以及为什么选择struct(值类型)而不是类(引用类型)

这是一个例子:

#include 

void by_val(int arg) { arg += 2; }
void by_ref(int&arg) { arg += 2; }

int main()
{
    int x = 0;
    by_val(x); std::cout << x << std::endl;  // prints 0
    by_ref(x); std::cout << x << std::endl;  // prints 2

    int y = 0;
    by_ref(y); std::cout << y << std::endl;  // prints 2
    by_val(y); std::cout << y << std::endl;  // prints 2
}

#include 

using namespace std;

void funct1(int a){ //pass-by-value
    a = 6; //now "a" is 6 only in funct1, but not in main or anywhere else
}
void funct2(int &a){ //pass-by-reference
    a = 7; //now "a" is 7 both in funct2, main and everywhere else it'll be used
}

int main()
{
    int a = 5;

    funct1(a);
    cout<

保持简单,窥视.文字墙可能是一个坏习惯.

        

10> 小智..：
它们之间的主要区别在于值类型变量存储值,因此在方法调用中指定值类型变量会将该变量值的副本传递给该方法.引用类型变量存储对对象的引用,因此将引用类型变量指定为参数会将方法传递给引用该对象的实际引用的副本.即使引用本身是按值传递的,该方法仍然可以使用它接收的引用来与原始对象进行交互,并可能修改原始对象.类似地,当通过return语句从方法返回信息时,该方法返回存储在value-type变量中的值的副本或存储在reference-type变量中的引用的副本.返回引用时,调用方法可以使用该引用与引用的对象进行交互.所以,

在c#中,要通过引用传递变量,以便被调用的方法可以修改变量,C#提供关键字ref和out.将ref关键字应用于参数声明允许您通过引用将变量传递给方法 - 被调用的方法将能够修改调用者中的原始变量.ref关键字用于已在调用方法中初始化的变量.通常,当方法调用包含未初始化的变量作为参数时,编译器会生成错误.在关键字out之前添加参数会创建输出参数.这向编译器指示参数将通过引用传递给被调用的方法,并且被调用的方法将为调用者中的原始变量赋值.如果方法未在每个可能的执行路径中为输出参数赋值,则编译器会生成错误.这还可以防止编译器为作为参数传递给方法的未初始化变量生成错误消息.方法只能通过return语句向其调用者返回一个值,但可以通过指定多个输出(ref和/或out)参数来返回许多值.

请参阅c#discussion和examples 链接文本