顾名思义,在明确要求编译器把数值从一种数据类型转换位另一种数据类型时,就是在执行显式转换。因此,这需要编写额外的代码,代码的格式将随着转换方法的不同而不同。在学习显式转换代码前,先看看如果不添加任何显式转换代码,会发生什么情况。
例如,下面对上一节的代码进行修改,试着把short值转换为byte:
byte destinationVar;
short sourceVar = 7;
destinationVar = sourceVar;
Console.WriteLine("sourceVar val:{0}",sourceVar);
Console.WriteLine("destinationVar val:{0}",destinationVar);
如果编译这段代码,就会产生如下错误:
Cannot implicitly convert type 'short' to 'byte'.An explicit conversion exists (are you missing a cast?)
幸运的是,C#编译器可以检测出没有进行显式转换!
为了成功编译这段代码,需要添加代码,进行显式转换。最简单的方式是把short变量转换为byte(由上述错误字符串提出)。数据类型转换是强迫数据从一种类型转换为另一种类型,其语法比较简单:
(destinationType)sourceVar
这将把sourceVar中的值转换为destinationType。
注意:
这只在某些情况下是可行的。彼此之间没有什么关系的类型不能进行数据类型转换。
因此可以使用这个语法修改示例,把short变量强制转换为byte:
byte destinationVar;
short sourceVar = 7;
destinationVar = (byte)sourceVar;
Console.WriteLine("sourceVar val: {0}",sourceVar);
Console.WriteLine("destinationVar val: {0}",destinationVar);
得到如下结果:
sourceVar val: 7
destinationVar val: 7
在试图把一个值转换为不合适的变量时,会发生什么呢?如下所示:
byte destinationVar;
short sourceVar = 281;
destinationVar = (byte)sourceVar;
Console.WriteLine("sourceVar val: {0}",sourceVar);
Console.WriteLine("destinationVar val: {0}",destinationVar);
结果如下:
sourceVar val: 281
destinationVar val: 25
会发生什么?如果看看这两个数字的二进制表示,以及可以存储在byte中的最大值255;
281 = 100011001
25 = 000011001
255 = 011111111
可以看出,源数据的最左边一位丢失了。这会引出一个问题:何时会丢失数据?显然,当需要显式的把一种数据类型转换为另一种数据类型时,最好知道是否有数据丢失了。如果不知道这些,就会产生严重的问题,例如计帐应用程序或确定火箭飞往月球的轨道的应用程序。
一种方式是简单的检查源变量的值,把它与目标变量的取值范围进行比较。还有另一个技术,迫使系统特别注意运行期间的转换。在把一个值放在一个变量中时,如果该值过大,不能放在该类型的变量中,就会导致一处,这就需要检查。
这里要用到两个关键字checked和unchecked,称为表达式的溢出检查环境。以下述方式使用这两个关键字:
checked(expression)
unchecked(expression)
下面对上一个示例进行溢出检查:
byte destinationVar;
short sourceVar = 281;
destinationVar = checked((byte)sourceVar);
Console.WriteLine("sourceVar val: {0}",sourceVar);
Console.WriteLine("destinationVar val: {0}",destinationVar);
在执行这段代码时,程序会崩溃,并显示如图5-1所示的错误信息。但是,在这段代码中,如果用unchecked替代checked,就会得到与以前一样的结果,不会出现错误。这与前面的默认操作是一样的。
除了这两个关键字以外,还可以配置应用程序,让这种类型的表达式都包含checked关键字,除非表达式明确使用unchecked关键字,总之是可以改变溢出检查的默认设置的。为此,应修改项目的属性:在vs中右击Solution Explorer窗口中的项目,选择Properties选项。单击窗口右边的Build,打开Build设置,要修改的属性是一个Advanced设置,所以单击Advanced按钮。在打开的对话框中,选中Check for arithmetic overflow/underflow选项,在默认情况下,这个设置是被禁用的,激活它可以进行如上所述的checked操作。