显示转换
顾名思义,在明确要求编译器把数值从一种数据类型转换为另一种数据类型时,就是在执行显式转换。因此,这需要另外编写代码,代码的格式因转换方法而异。在学习显式转换代码前,首先分析如果不添加任何显式转换代码,会发生什么情况。
例如,下面对上一节的代码进行修改,试着把 short
值转换为 byte
:
byte destinationVar;
short sourceVar = 7;
destinationVar = sourceVar; ❌
Console.WriteLine("sourceVar val: {0}", sourceVar);
Console.WriteLine("destinationVar val: {0}", destinationVar);
如果编译这段代码,就会产生如下错误:
Cannot imp;icitly 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 = 1 0001 1001
25 = 0 0001 1001
255 = 0 1111 1111
可以看出,源数据的最左边一位丢失了。这会引发一个问题:如何确定数据是何时丢失的?显然,当需要显式地把一种数据类型转换为另一种数据类型时,最好能够了解是否有数据丢失了。如果不知道这些,就会发生严重问题,例如,会计应用程序或确定火箭飞往月球的轨道的应用程序。
一种方式是检查源变量的值,将它与目标变量的取值范围进行比较。还有另一个技术,及时迫使系统特别注意运行期间的转换。在将一个值放在一个变量中时,如果该值过大,不能放在该类型的变量中,就会导致溢出,这就需要检查。
对于为表达式设置所谓的溢出检查上下文,需要用到两个关键字 checked
和 unchecked
。按下述方式使用这两个关键字:
checked(<expression>)
unchecked(<expression>)
下面对上一个示例进行溢出检查:
byte destinationVar;
short sourceVar = 281;
desinationVar = checked((byte)sourceVar);
Console.WriteLine("sourceVar val: {0}", sourceVar);
Console.WriteLine("destinationVar val: {0}", destinationVar);
执行这段代码时,程序会崩溃,并显示错误信息。
但在这段代码中,如果用 unchecked
替代 checked
,就会得到与以前同样的结果,不会出现错误。这与前面的默认做法是一样的。