12

有没有人能解释我这种奇怪的行为？

    int i = 0x1234;
    byte b1 = (byte)i;
    byte b2 = (byte)0x1234;         //error: const value '4660' can't convert to byte (use unchecked)
    byte b3 = unchecked((byte)0x1234);
    byte b4 = checked((byte)i);     //throws
    byte b5 = (byte)(int)0x1234;    //error: same as above

注意：这是一个空的控制台应用程序，没有启用算术检查（默认情况下）。提前谢谢大家。

编辑：我应该足够清楚，但不是全部。

我知道一个字不能装进一个字节。但是，默认情况下，C# 程序允许某些“危险”操作，主要是出于性能原因。

同样，我可以将两个大整数相加，并且完全没有溢出。

我想知道上面的编译时错误：b1 cast/assignment 已编译，b2 无法编译。显然没有区别，因为两者都是 Int32 具有相同的值。

希望现在很清楚。

4

3 回答 3

15

您遇到了 C# 4 规范第 7.19 节的一部分：

除非将常量表达式显式放置在unchecked上下文中，否则在表达式的编译时计算期间发生在整数类型算术运算和转换中的溢出总是会导致编译时错误。

基本上，关键是即使您很乐意允许操作在执行时溢出，如果您尝试使用在编译时无法转换为目标类型的常量表达式，您必须告诉编译器，你真的知道你在做什么。

例如，在这种情况下，您正在丢失信息 - 它相当于

byte b3 = 0x34;

所以你通常最好只指定它，给你更清晰的代码，不会误导读者。您希望在常量中溢出的情况相对较少 - 大多数情况下您应该只指定有效值。

于 2011-10-19T14:58:08.580 回答
1

你不应该用未经检查的方式包围它。Unchecked 允许将危险的值类型分配给一个类型，这可能会导致溢出。

byte b1 = (byte)i;将在运行时导致溢出或强制转换异常。

byte b2 = (byte)0x1234;无效，因为您不能在一个字节中存储大于 0xFF 的值。

byte b3 = unchecked((byte)0x1234);将 0x34 或 0x12（取决于 CLR 实现）放入 b3，另一个字节将溢出。

byte b4 = checked((byte)i);与byte b1 = (byte)i;

byte b5 = (byte)(int)0x1234;将 0x1234 转换为 int，然后尝试将其转换为字节相同。同样，您不能将 0x1234 转换为字节，因为它太大了。

于 2011-10-19T14:59:34.377 回答
1

这不是一个奇怪的行为，字节数据类型的变量的有效范围是0-255，但是当您将 HEX0x1234值转换为十进制系统时，您得到4660. 所以unchecked 用来控制溢出检查的整数型算术运算和转换。

您会发现unchecked在实现中经常使用它来GetHashCode()执行数字运算来计算最终的哈希码。

总而言之，unchecked当整数类型操作的最终结果值无关紧要但可能发生溢出时，您应该使用。

于 2011-10-19T14:57:26.527 回答