C#中对于值类型的变量，进行值传递和引用传递是好理解的。但是对于C#中对于引用类型变量进行的值传递一直不是很清楚。尽管有测试过C#对于引用类型变量进行值传递和引用传递的例子，结果当然是不同的。不过具体原理怎么也想不清楚。今天在网上看了一些资料，总算是弄明白了。
归结起来，call-by-value方式的调用参数和被调用方法中的参数，是两个变量，代表两个不同的内存地址；而call-by-reference方式的调用参数和被调用方法中的参数，代表的是同一内存地址。从这个意义上理解两种参数传递方式，就是很容易的了。
（1）形参与实参各占一个独立的存储空间。
（2）形参的存储空间是函数被调用时才分配的。调用开始，系统为行参开辟一个临时存储区，然后将各实参之值传递给形参，这时形参就得到了实参的值。
（3）函数返回时，临时存储区也被撤销。
利用引用类型参数进行引用传递：传递的是引用变量的引用，此时形参相当于是实参的一个别名，两者是同一个引用。
传值，
是把实参的值赋值给行参
那么对行参的修改，不会影响实参的值
传地址
是传值的一种特殊方式，只是他传递的是地址，不是普通的如int
那么传地址以后，实参和行参都指向同一个对象
传引用
真正的以地址的方式传递参数
传递以后，行参和实参都是同一个对象，只是他们名字不同而已
对行参的修改将影响实参的值
-----------------------------------------------------------------------------------
觉得从函数调用的角度理解比较好
传值：
函数参数压栈的是参数的副本。
任何的修改是在副本上作用，没有作用在原来的变量上。
传指针：
压栈的是指针变量的副本。
当你对指针解指针操作时，其值是指向原来的那个变量，所以对原来变量操作。
传引用：
压栈的是引用的副本。由于引用是指向某个变量的，对引用的操作其实就是对他指向的变量的操作。（作用和传指针一样，只是引用少了解指针的草纸）
-----------------------------------------------------------------------------------
函数参数传递机制的基本理论
函数参数传递机制问题在本质上是调用函数（过程）和被调用函数（过程）在调用发生时进行通信的方法问题。基本的参数传递机制有两种：值传递和引用传递。以下讨论称调用其他函数的函数为主调函数，被调用的函数为被调函数。
值传递（passl-by-value）过程中，被调函数的形式参数作为被调函数的局部变量处理，即在堆栈中开辟了内存空间以存放由主调函数放进来的实参的值，从而成为了实参的一个副本。值传递的特点是被调函数对形式参数的任何操作都是作为局部变量进行，不会影响主调函数的实参变量的值。
引用传递(pass-by-reference)过程中，被调函数的形式参数虽然也作为局部变量在堆栈中开辟了内存空间，但是这时存放的是由主调函数放进来的实参变量的地址。被调函数对形参的任何操作都被处理成间接寻址，即通过堆栈中存放的地址访问主调函数中的实参变量。正因为如此，被调函数对形参做的任何操作都影响了主调函数中的
实参变量。
-----------------------------------------------------------------------------------
仅讨论一下值传递和引用：
所谓值传递，就是说仅将对象的值传递给目标对象，就相当于copy；系统将为目标对象重新开辟一个完全相同的内存空间。
所谓引用，就是说将对象在内存中的地址传递给目标对象，就相当于使目标对象和原始对象对应同一个内存存储空间。此时，如果对目标对象进行修改，内存中的数据也会改变。
原文地址 http://topic.csdn.net/t/20051207/06/4442668.html
一、 函数参数传递机制的基本理论
函数参数传递机制问题在本质上是调用函数（过程）和被调用函数（过程）在调用发生时进行通信的方法问题。基本的参数传递机制有两种：值传递和引用传递。以下讨论称调用其他函数的函数为主调函数，被调用的函数为被调函数。
值传递（passl-by-value）过程中，被调函数的形式参数作为被调函数的局部变量处理，即在堆栈中开辟了内存空间以存放由主调函数放进来的实参的值，从而成为了实参的一个副本。值传递的特点是被调函数对形式参数的任何操作都是作为局部变量进行，不会影响主调函数的实参变量的值。
引用传递(pass-by-reference)过程中，被调函数的形式参数虽然也作为局部变量在堆栈中开辟了内存空间，但是这时存放的是由主调函数放进来的实参变量的地址。被调函数对形参的任何操作都被处理成间接寻址，即通过堆栈中存放的地址访问主调函数中的实参变量。正因为如此，被调函数对形参做的任何操作都影响了主调函数中的实参变量。
二、 C语言中的函数参数传递机制
在C语言中，值传递是唯一可用的参数传递机制。但是据笔者所知，由于受指针变量作为函数参数的影响，有许多朋友还认为这种情况是引用传递。这是错误的。请看下面的代码：
int swap(int *x, int *y)
{
int temp;
temp = *x; *x = *y; *y = temp;
return temp;
}
void main()
{
int a = 1, b = 2;
int *p1 = &a;
int *p2 = &b;
swap(p1, p2)
}
函数swap以两个指针变量作为参数，当main()调用swap时，是以值传递的方式将指针变量p1、p2的值（也就是变量a、b的地址）放在了swap在堆栈中为形式参数x、y开辟的内存单元中。
这里我们可以得到以下几点：
1． 进程的堆栈存储区是主调函数和被调函数进行通信的主要区域。
2． C语言中参数是从右向左进栈的。
3． 被调函数使用的堆栈区域结构为：
局部变量（如temp）
返回地址
函数参数
低地址
高地址
4． 由主调函数在调用后清理堆栈。
5． 函数的返回值一般是放在寄存器中的。
这里尚需补充说明几点：一是参数进栈的方式。对于内部类型，由于编译器知道各类型变量使用的内存大小故直接使用push指令；对于自定义的类型（如structure），采用从源地址向目的（堆栈区）地址进行字节传送的方式入栈。二是函数返回值为什么一般放在寄存器中，这主要是为了支持中断；如果放在堆栈中有可能因为中断而被覆盖。三是函数的返回值如果很大，则从堆栈向存放返回值的地址单元（由主调函数在调用前将此地址压栈提供给被调函数）进行字节传送，以达到返回的目的。对于第二和第三点，《Thinking in C++》一书在第10章有比较好的阐述。四是一个显而易见的结论，如果在被调函数中返回局部变量的地址是毫无意义的；因为局部变量存于堆栈中，调用结束后堆栈将被清理，这些地址就变得无效了。
三、 C++语言中的函数参数传递机制
众所周知，在c＋＋中调用函数时有三种参数传递方式：
（1）传值调用；
（2）传址调用（传指针）；
（3）引用传递；
实际上，还有一种参数传递方式，就是全局变量传递方式。这里的“全局”变量并不见得就是真正的全局的，所有代码都可以直接访问的，只要这个变量的作用域足够这两个函数访问就可以了，比如一个类中的两个成员函数可以使用一个成员变量实现参数传递，或者使用static关键字定义，或者使用namespace进行限制等，而这里的成员变量在这种意义上就可以称作是“全局”变量（暂时还没有其它比“全局”更好的词来描述）。当然，可以使用一个类外的真正的全局变量来实现参数传递，但有时并没有必要，从工程上讲，作用域越小越好。这种方式有什么优点呢？
效率高！
的确，这种效率是所有参数传递方式中效率最高的，比前面三种方式都要高，无论在什么情况下。但这种方式有一个致命的弱点，那就是对多线程的支持不好，如果两个进程同时调用同一个函数，而通过全局变量进行传递参数，该函数就不能够总是得到想要的结果。
下面再分别讨论上面三种函数传递方式。
1. 从功能上。按值传递在传递的时候，实参被复制了一份，然后在函数体内使用，函数体内修改参数变量时修改的是实参的一份拷贝，而实参本身是没有改变的，所以如果想在调用的函数中修改实参的值，使用值传递是不能达到目的的，这时只能使用引用或指针传递。例如，要实现两个数值交换。
void swap(int a int b)
void main(){
int a=1 b=2
swap(a b)
}
这样，在main()函数中的a b值实际上并没有交换，如果想要交换只能使用指针传递或引用传递，如：
void swap(int pa int pb)
或
void swap(int& ra int& rb)
2.从传递效率上。这里所说传递效率，是说调用被调函数的代码将实参传递到被调函数体内的过程，正如上面代码中，这个过程就是函数main()中的a b传递到函数swap()中的过程。这个效率不能一概而论。对于内建的int char short long float等4字节或以下的数据类型而言，实际上传递时也只需要传递1－4个字节，而使用指针传递时在32位cpu中传递的是32位的指针，4个字节，都是一条指令，这种情况下值传递和指针传递的效率是一样的，而传递double long long等8字节的数据时，在32位cpu中，其传值效率比传递指针要慢，因为8个字节需要2次取完。而在64位的cpu上，传值和传址的效率是一样的。再说引用传递，这个要看编译器具体实现，引用传递最显然的实现方式是使用指针，这种情况下与指针的效率是一样的，而有些情况下编译器是可以优化的，采用直接寻址的方式，这种情况下，效率比传值调用和传址调用都要快，与上面说的采用全局变量方式传递的效率相当。
再说自定义的数据类型，class struct定义的数据类型。这些数据类型在进行传值调用时生成临时对象会执行构造函数，而且当临时对象销毁时会执行析构函数，如果构造函数和析构函数执行的任务比较多，或者传递的对象尺寸比较大，那么传值调用的消耗就比较大。这种情况下，采用传址调用和采用传引用调用的效率大多数下相当，正如上面所说，某些情况下引用传递可能被优化，总体效率稍高于传址调用。
3. 从执行效率上讲。这里所说的执行效率，是指在被调用的函数体内执行时的效率。因为传值调用时，当值被传到函数体内，临时对象生成以后，所有的执行任务都是通过直接寻址的方式执行的，而指针和大多数情况下的引用则是以间接寻址的方式执行的，所以实际的执行效率会比传值调用要低。如果函数体内对参数传过来的变量进行操作比较频繁，执行总次数又多的情况下，传址调用和大多数情况下的引用参数传递会造成比较明显的执行效率损失。
综合2、3两种情况，具体的执行效率要结合实际情况，通过比较传递过程的资源消耗和执行函数体消耗之和来选择哪种情况比较合适。而就引用传递和指针传递的效率上比，引用传递的效率始终不低于指针传递，所以从这种意义上讲，在c＋＋中进行参数传递时优先使用引用传递而不是指针。
4. 从类型安全上讲。值传递与引用传递在参数传递过程中都执行强类型检查，而指针传递的类型检查较弱，特别地，如果参数被声明为 void ，那么它基本上没有类型检查，只要是指针，编译器就认为是合法的，所以这给bug的产生制造了机会，使程序的健壮性稍差，如果没有必要，就使用值传递和引用传递，最好不用指针传递，更好地利用编译器的类型检查，使得我们有更少的出错机会，以增加代码的健壮性。
这里有个特殊情况，就是对于多态的情况，如果形参是父类，而实参是子类，在进行值传递的时候，临时对象构造时只会构造父类的部分，是一个纯粹的父类对象，而不会构造子类的任何特有的部分，因为办有虚的析构函数，而没有虚的构造函数，这一点是要注意的。如果想在被调函数中通过调用虚函数获得一些子类特有的行为，这是不能实现的。
5. 从参数检查上讲。一个健壮的函数，总会对传递来的参数进行参数检查，保证输入数据的合法性，以防止对数据的破坏并且更好地控制程序按期望的方向运行，在这种情况下使用值传递比使用指针传递要安全得多，因为你不可能传一个不存在的值给值参数或引用参数，而使用指针就可能，很可能传来的是一个非法的地址（没有初始化，指向已经delete掉的对象的指针等）。所以使用值传递和引用传递会使你的代码更健壮，具体是使用引用还是使用，最简单的一个原则就是看传递的是不是内建的数据类型，对内建的数据类型优先使用值传递，而对于自定义的数据类型，特别是传递较大的对象，那么请使用引用传递。
6. 从灵活性上。无疑，指针是最灵活的，因为指针除了可以像值传递和引用传递那样传递一个特定类型的对象外，还可以传递空指针，不传递任何对象。指针的这种优点使它大有用武之地，比如标准库里的time( )函数，你可以传递一个指针给它，把时间值填到指定的地址，你也可以传递一个空指针而只要返回值。
以上讨论了四种参数传递方式的优缺点，下面再讨论一下在参数传递过程中一些共同的有用的技术。
1. const关键字。当你的参数是作为输入参数时，你总不希望你的输入参数被修改，否则有可能产生逻辑错误，这时可以在声明函数时在参数前加上const关键字，防止在实现时意外修改函数输入，对于使用你的代码的程序员也可以告诉他们这个参数是输入，而不加const关键字的参数也可能是输出。例如strlen，你可以这样声明
int strlen(char str)
功能上肯定没有什么问题，但是你想告诉使用该函数的人，参数str是一个输入参数，它指向的数据是不能被修改的，这也是他们期望的，总不会有人希望在请人给他数钱的时候，里面有张100的变成10块的了，或者真钞变成假钞了，他们希望有一个保证，说该函数不会破坏你的任何数据，声明按如下方式便可让他们放心：
int strlen(const char str)
可不可以给str本身也加一个限制呢，如果把地址改了数得的结果不就错了吗？总得给人点儿自由吧，只要它帮你数钱就行了，何必介意他怎么数呢？只要不破坏你的钱就ok了，如果给str一个限制，就会出现问题了，按照上面的声明，可以这样实现：
int strlen(const char str)
{ int cnt
if( !str) return 0
cnt = 0
while( (str++) ){
++cnt
}
return cnt
}
可是，如果你硬要把声明改成
int strlen(const char const str)
上面的函数肯定就运行不了了，只能改用其它的实现方式，但这个不是太有必要。只要我们保护好我们的钱就行了，如果它数不对，下次我次不让它数，再换个人就是了。
对于成员函数，如果我们要显示给客户代码说某个成员函数不会修改该对象的值，只会读取某些内容，也可以在该函数声明中加一个const.
class person
{......
public:
unsigned char age( void ) const // 看到const就放心了，这个函数肯定不会修改m_age
private:
unsigned char m_age // 我认为这个类型已经足够长了，如果觉得不改可以改为unsigned long
}
2. 默认值。个人认为给参数添加一个默认值是一个很方便的特性，非常好用，这样你就可以定义一个具有好几个参数的函数，然后给那些不常用的参数一些默认值，客户代码如果认为那些默认值正是他们想要的，调用函数时只需要填一些必要的实参就行了，非常方便，这样就省去了重载好几个函数的麻烦。可是我不明白c#为什么把这个特性给去掉了，可能是为了安全，这样就要求每次调用函数时都要显示地给函数赋实参。所以要注意，这可是个双刃剑，如果想用使刀的招跟对手武斗，很可能伤到自己。
3.参数顺序。当同个函数名有不同参数时，如果有相同的参数尽量要把参数放在同一位置上，以方便客户端代码。
c++ 中经常使用的是常量引用，如将swap2改为：
Swap2(const int& x; const int& y)
这时将不能在函数中修改引用地址所指向的内容，具体来说，x和y将不能出现在"＝"的左边。
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
using
System;
class
TestApp
{
static
void
outTest(
out
int
x,
out
int
y)
{
//离开这个函数前，必须对x和y赋值，否则会报错。
//y = x;
//上面这行会报错，因为使用了out后，x和y都清空了，需要重新赋值，即使调用函数前赋过值也不行
x = 1;
y = 2;
}
static
void
refTest(
ref
int
x,
ref
int
y)
{
x = 1;
y = x;
}
public
static
void
Main()
{
//out test
int
a,b;
//out使用前，变量可以不赋值
outTest(
out
a,
out
b);
Console.WriteLine(
"a={0};b={1}"
,a,b);
int
c=11,d=22;
outTest(
out
c,
out
d);
Console.WriteLine(
"c={0};d={1}"
,c,d);
//ref test
int
m,n;
//refTest(ref m, ref n);
//上面这行会出错，ref使用前，变量必须赋值
int
o=11,p=22;
refTest(
ref
o,
ref
p);
Console.WriteLine(
"o={0};p={1}"
,o,p);
}
}
|
运行结果如下:
下法我解析一下为什么是这样的结果:
ref是传递参数的地址，out是返回值，两者有一定的相同之处，不过也有不同点。
- 使用ref前必须对变量赋值，out不用。
- out的函数会清空变量，即使变量已经赋值也不行，退出函数时所有out引用的变量都要赋值，ref引用的可以修改，也可以不修改。
在上面的代码中:
首先看 outTest(out a, out b)的输出结果
结果是 a=1;b=2;这是在 static void outTest(out int x, out int y)函数定义时的x,y的值
x=1;y=2;然后就直接传递给a,b了
接下来再看 outTest(out c, out d);
这个与 outTest(out a, out b)的不同之处在于
他前面己给 c,d赋值
int c = 11, d = 22;
一般常理来说，这会outTest(out c, out d)的输出值应为 c=11;d=22;
但是真实结果却仍然是 c=1;d=2;这说明,如果在变量前面加了关键字out,调用函数时的最张结果不会因外部变量的定义而改变,如果要改变函数的
值，只能从函数体内部入手
再看最后 refTest(ref o, ref p);
虽然前面己经赋值
int o = 11, p = 22;
但是他的输出结果还是没有因此因改变
最后，总结一下
ref和out的区别在C# 中，既可以通过值也可以通过引用传递参数。通过引用传递参数允许函数成员更改参数的值，并保持该更改。若要通过引用传递参数， 可使用ref或out关键字。ref和out这两个关键字都能够提供相似的功效，其作用也很像C中的指针变量。它们的区别是：
1、使用ref型参数时，传入的参数必须先被初始化。对out而言，必须在方法中对其完成初始化。
2、使用ref和out时，在方法的参数和执行方法时，都要加Ref或Out关键字。以满足匹配。
3、out适合用在需要retrun多个返回值的地方，而ref则用在需要被调用的方法修改调用者的引用的时候。
注：在C#中，方法的参数传递有四种类型：传值(by value)，传址(by reference)，输出参数(by output)，数组参数(by array)。传值参数无需额外的修饰符，传址参数需要修饰符ref，输出参数需要修饰符out，数组参数需要修饰符params。传值参数在方法调用过程中如果改变了参数的值，那么传入方法的参数在方法调用完成以后并不因此而改变，而是保留原来传入时的值。传址参数恰恰相反，如果方法调用过程改变了参数的值，那么传入方法的参数在调用完成以后也随之改变。实际上从名称上我们可以清楚地看出两者的含义--传值参数传递的是调用参数的一份拷贝，而传址参数传递的是调用参数的内存地址，该参数在方法内外指向的是同一个存储位置。
方法参数上的 ref 方法参数关键字使方法引用传递到方法的同一个变量。当控制传递回调用方法时，在方法中对参数所做的任何更改都将反映在该变量中。
若要使用 ref 参数，必须将参数作为 ref 参数显式传递到方法。ref 参数的值被传递到 ref 参数。
传递到 ref 参数的参数必须最先初始化。将此方法与 out 参数相比，后者的参数在传递到 out 参数之前不必显式初始化。
属性不是变量，不能作为 ref 参数传递。
如果两种方法的声明仅在它们对 ref 的使用方面不同，则将出现重载。但是，无法定义仅在 ref 和 out 方面不同的重载
out
方法参数上的 out 方法参数关键字使方法引用传递到方法的同一个变量。当控制传递回调用方法时，在方法中对参数所做的任何更改都将反映在该变量中。
当希望方法返回多个值时，声明 out 方法非常有用。使用 out 参数的方法仍然可以返回一个值。一个方法可以有一个以上的 out 参数。
若要使用 out 参数，必须将参数作为 out 参数显式传递到方法。out 参数的值不会传递到 out 参数。
不必初始化作为 out 参数传递的变量。然而，必须在方法返回之前为 out 参数赋值。
属性不是变量，不能作为 out 参数传递
再给出一段别人的代码 大家去研究研究
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
using
System;
using
System.Windows.Forms;
public
class
Test
{
public
static
void
Main()
{
cmdOut_Click();
}
public
static
int
RefValue(
int
i,
ref
int
j)
{
int
k = j;
j = 222;
return
i + k;
}
public
static
int
OutValue(
int
i,
out
int
j)
{
j = 222;
return
i + j;
}
private
static
void
cmdRef_Click()
{
int
m = 0;
MessageBox.Show(RefValue(1,
ref
m).ToString());
MessageBox.Show(m.ToString());
}
private
static
void
cmdOut_Click()
{
int
m;
MessageBox.Show(OutValue(1,
out
m).ToString());
MessageBox.Show(m.ToString());
}
}
|
扫一扫
899
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
