C#中的参数传递:值类型(valuetype)和引⽤类型
(referencetype)
摘要:
由于在.NET中存在两种类型,分别是值类型(value type)和引⽤类型(reference type),所以很多关于C#中参数传递的混淆就因此⽽⽣。本⽂⾸先从值类型和引⽤类型的辨析⼊⼿,然后解释了在C#中的参数传递的四种形式:值传递(默认形式)、ref传递、out传递、params传递。
⾸先要弄清楚的是:值类型是分配在栈(stack)上⾯,⽽引⽤类型分配在堆(heap)上⾯。栈是⼀种先进后出,并且由系统⾃动操作的存储空间。⽽堆(在.NET上准确的说是托管堆 Managed Heap)是⼀种⾃由储存区(Free Memory),在该区域中,必须明确的为对象申请存储空间(⼀般在Java和C #中都是使⽤的new关键字),并可以在使⽤完以后释放申请的存储空间(Java和C #都使⽤垃圾回收机制Garbage Collector⾃动释放对象空间)
引⽤类型(reference type):它存放的值是指向数据的引⽤(reference),⽽不是数据本⾝。⽰例:
System.Text.StringBuilder sb = new StringBuilder();
这⾥,我们声明⼀个变量sb,并通过new StringBuilder()创建了⼀个StringBuilder(与Java中StringBuffer类似)对象,再将对象的引⽤(reference)赋值给变量sb,即变量sb中保存的是StringBuilder对象的引⽤,⽽⾮对象本⾝。
System.Text.StringBuilder first = new StringBuilder();
System.Text.StringBuilder second = first;
这⾥,我们将变量first的值(对⼀个StringBuilder对象的引⽤)赋值给变量second,即first和second都指向同⼀个StringBuilder对象。对StringBuilder对象的任何修改都会影响到first和second变量。
System.Text.StringBuilder first = new StringBuilder();
System.Text.StringBuilder second = first;
first.Append("hello");
first = null;
Console.WriteLine(second);
这⾥,输出的结果是 hello。由于first和second都含有对同⼀StringBuilder对象的引⽤。然后通过first的引⽤调⽤StringBuilder 对象的Append ⽅法,将对象进⾏修改,即添加字符串“hello”,然后⼜将first赋值为null,表⽰让first不引⽤任何对象。最后通过 second的引⽤隐式调⽤StringBuilder对象的ToString⽅法输出“hello”。由此可见,first的值改变了(被赋值为 null),⽽它所引⽤的对象并不会发⽣改变,second照样引⽤到StringBuilder对象。
class类型,interface类型,delegate类型和array类型都是引⽤类型。
值类型(value type):引⽤类型中变量和实际数据之间还隔了⼀间接层,⽽值类型就完全不存在,值类型的变量直接保存的就是数据。
struct IntHolder
{
public int i;
}
这⾥,结构是值类型,IntHolder是⼀个结构:
IntHolder first = new IntHolder();
first.i = 5;
IntHolder second = first;
first.i = 6;
Console.WriteLine(second.i);
输出结果为5。这⾥second = first 以后second保存的是first的值拷贝,即second.i = 5;⽽后来的first.i发⽣了改变并不会影响second.i。所以输出值为5。
简单类型(⽐如int,double,char),enum类型,struct类型都是值类型。
注意:有⼀些类型(⽐如string类型)的⾏为看起来像值类型,但实际上是引⽤类型。这些类型被称为immutable类型,也就是说这种类型的
实例只要被构造好就不会改变。⽐如,string.Replace()并不会改变调⽤它的字符串对象,⽽是返回含有新数据的新的字符串对象。
⼀、值参数(Value parameters):
默认情况下,参数都是值参数。
void Foo (StringBuilder x)
{
x = null;
}
...
StringBuilder y = new StringBuilder();
y.Append ("hello");
Foo (y);
Console.WriteLine (y==null);
输出结果为False。这⾥由于是值传递形式,所以尽管x被设置为null,但是y的值不会改变。但要注意的是,引⽤类型变量保存的是引⽤,如果两个引⽤类型变量引⽤到相同的对象,那么对对象进⾏修改势必影响到两个引⽤类型变量,如下:
void Foo (StringBuilder x)
{
x.Append (" world");
}
...
StringBuilder y = new StringBuilder();
y.Append ("hello");
Foo (y);
Console.WriteLine (y);
输出结果为hello world。因为在调⽤Foo⽅法以后,y所引⽤到的StringBuilder对象的内容被修改为“hello world”了,这是通过Foo⽅法中的x 引⽤调⽤Append⽅法添加“ world”实现的。
现在考虑⼀下通过值类型做值参数的情况:
void Foo (IntHolder x)
{
x.i=10;
}
...
IntHolder y = new IntHolder();
y.i=5;
Foo (y);
Console.WriteLine (y.i);
输出结果为5。如果将IntHolder的struct类型改为class类型,则输出结果变为10。这好理解,前者struct是值类型,传递的是值本⾝;后者class是引⽤类型,以传值形式传递的object reference(对象引⽤)。
⼆、引⽤参数(Reference parameters):
引⽤参数不传递在函数成员调⽤中的变量的值,⽽是传递变量本⾝。这就意味着它并不会为函数成员声明中的变量分配新的内存空间,⽽是使⽤与实参相同的存储空间,所以实参和形参的值⽆论什么时候都是⼀样的。要在C#中使⽤引⽤参数,必须在函数声明以及函数调⽤中都明确地使⽤关键字ref,这样⼀看代码就很清楚知道是使⽤引⽤参数了。
void Foo (ref StringBuilder x)
{
x = null;
}
...
StringBuilder y = new StringBuilder();
y.Append ("hello");
Foo (ref y);
Console.WriteLine (y==null);
输出结果为True。这⾥使⽤引⽤参数,传递的是对y的引⽤(reference),⽽不是y中的值(object reference)。所以形参x值的改变马上就反映到y上。在Foo⽅法调⽤以后,y的值也为null。
考虑⼀下使⽤struct值类型的情况:
void Foo (ref IntHolder x)
{
x.i=10;
}
...
IntHolder y = new IntHolder();
y.i=5;
Foo (ref y);
Console.WriteLine (y.i);
输出结果为10。其中两个变量都共享的是同⼀个存储空间,对x的改变同样影响到y。
三、输出参数(Output parameters):
输出参数与引⽤参数⾮常相似,除了使⽤关键字out以外,它们的不同点在于ref修饰的形式参数可以不被赋值,⽽out修饰的形式参数必须被赋值。因此,使⽤输出参数的实参可以在调⽤之前不被初始化。
void Foo (out int x)
{
// Can't read x here - it's considered unassigned
// Assignment - this must happen before the method can complete normally
x = 10;
// The value of x can now be read:
int a = x;
}
...
// Declare a variable but don't assign a value to it
int y;
// Pass it in as an output parameter, even though its value is unassigned
Foo (out y);
// It's now assigned a value, so we can write it out:writeline输出数值变量
Console.WriteLine (y);
四、参数数组(Parameter arrays):
⽤params修饰的⼀维数组为参数数组。它可以接收可变数⽬的实参。C /C++程序员可以认为params等同于类型安全的stdarg.h头⽂件中varargs宏。
void ShowNumbers (params int[] numbers)
{
foreach (int x in numbers)
{
Console.Write (x+" ");
}
Console.WriteLine();
}
...
int[] x = {1, 2, 3};
ShowNumbers (x);
ShowNumbers (4, 5);
输出结果为:
1 2 3
4 5
版权声明:本站内容均来自互联网,仅供演示用,请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198,我们将在24小时内删除。
发表评论