首先,在函数的参数参数列表中,out关键字一定要放在类型前面。否则,会产生几个编译时错误。
第二,在函数的声明时和调用中,都要加out关键字。
Eg:
namespace Polymorphy
{
internal class Program
{
static void Main(string[] args)
{
int a;
AType instance;
instance.Display(/*out*/ a);
Console.ReadKey();
}
};
struct AType
{
public void Display(out int data)
{
data = 12;
Console.WriteLine(data);
}
};
}
//如此,编译时将得到如下结果:
错误:参数1必须与关键字out一起传递
第三,把结构Atype的成员函数Display的参数列表稍作改动(去掉out):
namespace Polymorphy
{
internal class Program
{
static void Main(string[] args)
{
int a;
AType instance;
instance.Display(a);
Console.ReadKey();
}
};
struct AType
{
public void Display(/*out*/ int data)
{
data = 12;
Console.WriteLine(data);
}
};
}
//如此,编译时将得到如下结果:
使用了未赋值的局部变量a
第四,还有一种错误:
namespace Polymorphy
{
internal class Program
{
static void Main(string[] args)
{
int a;
AType instance;
instance.Display(out a);
Console.ReadKey();
}
};
struct AType
{
public void Display( out int data)
{
//data = 12;
Console.WriteLine(data);
}
};
}
//如此,编译时将得到如下结果:
使用了未赋值的 out型 参数“data”
第五,我们正确使用out关键字,看看它的作用:
namespace Polymorphy
{
internal class Program
{
static void Main(string[] args)
{
int a;
AType instance;
instance.Display(out a);
Console.ReadKey();
}
};
struct AType
{
public void Display(out int data)
{
data = 12;
Console.WriteLine(data);
}
};
}
//如此,编译通过。这里的变量a是在Display函数外面声明,用于存储Display中处理过程的某个结果。这也正是out的正宗用法,即在实参声明时不初始化,而在函数的定义内给其先赋值,再使用。注意,这都是编译时要求,因为C#倡导代码安全,不准使用未显式赋值的变量,目的是避免产生更多的运行时错误。因此,C#中很多关键字分得很细,有时候显得很多余。out 和 ref,只要你用好了,其中任何一个都能代替另一个。这样做是有代价的(编译系统又要多识别一个关键字),但是也有好处。让代码的可读性增强了,读者看到out就知道这是用来存储处理结果的。而且,使得很多潜在的错误在编译时就暴露了,尽管这样对代码的规范性要求更加苛刻。突出“编译时”这三个字,是为了接下来声讨网上一些不做实验就撇着大嘴胡说的人。误人子弟!!
查out和ref的区别的时候,网上有这么一段“经典的”话:
----------------------------------------------------------------------------------------------------------------------------------
“首先:两者都是按地址传递的,使用后都将改变原来的数值。很多人在论坛上解释说out是按数值传递,是错误的。简单的测试后可以知道out使用也能改变数值的,所以肯定是按照地址传递的。
其次:ref可以把参数的数值传递进函数,但是out是要把参数清空,就是说你无法把一个数值从out传递进去的,out进去后,参数的数值为空,所以你必须初始化一次。这个就是两个的区别,或者说就像有的网友说的,ref是有进有出,out是只出不进。经典!!!”
-----------------------------------------------------------------------------------------------------------------------------------
咋一看去,说的跟真的似的,其实断点调试一下,就知道参数的值仍是存在的。此外,我们还有一个很经典的例子可以反驳它:
namespace Polymorphy
{
internal class Program
{
static void Main(string[] args)
{
AType instance = new AType(100);
instance.Change(1000, out instance);
Console.Read();
}
}
struct AType
{
private readonly int inner;
public AType(int para)
{
this.inner = para;
}
public void Change(int value, out AType data)//this和data是同一个变量的引用
{//out参数进入函数体,并非清空它,而是告知编译器这个变量有可能是没有分配空间的。所以,不可使用。
//Console.WriteLine(data.Num);//使用了可能未赋值的字段
Console.WriteLine(this.inner);//
data = new AType(value);
Console.WriteLine(this.inner);
}
};
}
//分析:this和data是同一个变量的引用,这个不必多解释。看不明白的童鞋,需要重新认识一下this到底是个什么东西。既然,同一个变量为什么Console.WriteLine(this.inner);是完全可以的,而Console.WriteLine(data.Num);则会提示:使用了可能未赋值的字段。刚才已经说过了,编译器对out参数的要求就是这样的。尽管,不让这样编译,但是不代表这个代码一旦运行起来就有错误。我们确实,输出了this指向的inner数据,而且还是之前的100,并未清空instance(结构在C#中是值类型)。况且,微软不会傻到,等到运行的时候去做一步清空工作,因为这是脱了裤子和鞋子再加上帽子去放P。