c# - 为什么我应该用 "unchecked"明确包围？

Question

有人能给我解释一下这种奇怪的行为吗？

    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

注意:这是一个空的控制台应用程序，启用了NO 算术检查(默认情况下)。提前谢谢大家。

编辑:我应该说得足够清楚了，但不是所有的。

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

类似地，我可以将两个大整数相加并且根本没有溢出。

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

希望现在一切都清楚了。

Answer 1

您被 C# 4 规范的第 7.19 节的一部分绊倒了:

Unless a constant expression is explicitly placed in an unchecked context, overflows that occur in integral-type arithmetic operations and conversions during the compile-time evaluation of the expression always cause compile-time errors.

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

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

byte b3 = 0x34;

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