By value? Or by reference?

类别:VC语言 点击:0 评论:0 推荐:

By value? Or by reference?

传值?还是传引用?

(Wang hailong)

 

关于编程的参数传递问题,总是存在着这样的争论。传值?还是传引用?(还是传指针?还是传地址?)这些提法,经常出现在C++, java, C#的编程技术文档里面。这个问题也经常引起开发人员的争论,徒耗人力物力。实际上,这根本不成为问题,只是由于人为加入的概念,混淆了人们的视听。

从程序运行的角度来看,参数传递,只有传值,从不传递其它的东西。只不过,值的内容有可能是数据,也有可能是一个内存地址。

开发人员应该了解程序的编译结果是怎样在计算机中运行的。程序运行的时候,使用的空间可以分为两个部分,栈和堆。栈是指运行栈,局部变量,参数,都分配在栈上。程序运行的时候,新生成的对象,都分配在堆里,堆里分配的对象,栈里的数据参数,或局部变量。

下面举一个C++的例子。

public class Object{

  int i;

  public Object(int i){

       this.i = i;

  }

 

       public int getValue(){

              return i;

       }

 

       public void setValue(int i){

              this.i = i;

       }

};

 

class A {

       Void func1(int a, Object b){

              Object * c = new Object( a );

             

b = c;

       }

 

public      void main(){

       Object * param = new Object( 1 );

 

              func1( 2,  param );

             

              // what is value of parram now ?

              // it is still 1.

    }

};

 

我们来看一下,当调用到func1函数时,运行到Object * c = new Object( a ); 栈和堆的状态。不同编译器生成的代码运行的结果可能会稍有不同。但参数和局部变量的大致排放顺序都是相同的。

… 运行栈

param

Object

(1)

return value

main addr

堆空间

main addr

a = 2

b

c

Object

(2)

func1 addr

 

这时候,我们来看,param变量被压入运行栈的时候,只是进行了简单的复制。把param里面的内容拷贝到b里面。这时候,b就指向了Object(1)。这里的参数传递,是把param的值传递给b。

下面我们来看,程序执行到b = c;时候的堆栈状态。

… 运行栈

param

Object

(1)

return value

main addr

堆空间

main addr

a = 2

b

c

Object

(2)

func1 addr

 

我们可以看到,b现在指向了Object(2)。但是对param的值毫无影响。param的值还是Object(1)。

所以,我们说,对参数的赋值不会影响到外层函数的数据,但是,调用参数的操作方法,却等于直接操作外层函数的数据。比如,如果我们在func1()函数中,不调用b=c;而调用b.setValue(3),那么Object(1)的数据就会变为3,param的数据也会改变为3。

在java和C#中的情况,也都是一样。

C++还有一种变量定义方法,表面上看起来,不符合上面的说明,这里进行说明。

Object * a = new Object(1);

Object & * b = a;

这里的b就等于是a的另外一个别名,b就是a。对b赋值就等于对a赋值。甚至作为参数传递时,也是如此。对这种类型的参数的赋值,就等于对外层函数数据的赋值。

public class B{

void func1(Object & * b){

       b = new Object(4);

}

 

public void main(){

       Object * a = new Object(1);

 

       func1(a);

 

       // a is changed to Object(4) now.

}

 

}

当运行完func1(a);时,a的值变化为Object(4)。这是因为编译器实际把参数Object & * b编译为Object ** b_addr,b_addr的值是b的地址,也就是a的地址。

当调用func1()的时候,实际上是把b_addr作为参数压到栈里,b_addr的值是a的地址。

当执行b = new Object(4); 时,实际执行了 b_addr->b = new Object(4); 也就是执行了 b_addr->a = new Object(4); a的值当然变化了。

 

还有一点需要说明,当使用COM,CORBA等中间件规范进行开发时,我们需要定义IDL语言。参数的类型分为,[in],[out],[in, out],其中的RPC远程调用的参数打包规范,就更复杂了,但原理却是一样的。

 

本文地址:http://com.8s8s.com/it/it1945.htm