Почему я должен явно окружать «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 арифметическая проверка включена (по умолчанию). Спасибо всем заранее.

EDIT: Я должен быть достаточно ясным, но не для всех.

Я знаю, что слово не может вписаться в байт. Но по умолчанию программа C# допускает определенные «опасные» операции, прежде всего по причине производительности.

Аналогично, я могу суммировать два больших целых числа и не иметь никакого переполнения.

Мое удивление было о ошибке времени компиляции выше: компиляция b1 cast/assign, b2 не может скомпилировать. По-видимому, нет никакой разницы, потому что оба типа Int32 имеют одинаковое значение.

Надеюсь, теперь это ясно.

Answer 1

Вы споткнувшись часть раздела 7.19 в C# 4 спецификации:

Если постоянное выражение явно не помещается в unchecked контексте перетоки, которые возникают в арифметических операциях интегрального типа и преобразования во время оценка времени компиляции выражения всегда вызывает ошибки времени компиляции.

В основном, дело в том, что даже если вы счастливы, чтобы операции переполнения при выполнении времени, если вы пытаетесь использовать постоянное выражение, которое не может быть преобразовано в целевом типе во время компиляции вы должны сообщить компилятору, что вы действительно знаете, что делаете.

К примеру, в этом случае вы теряете информацию - это будет эквивалентно

byte b3 = 0x34; 

так что вы бы обычно быть лучше просто указать, что, чтобы дать вам четкое код, который Безразлично 'вводить в заблуждение читателя. Это относительно редко, что вы хотите переполняться в константе - большую часть времени вы должны просто указать действительное значение.

Answer 2

Это не странное поведение, допустимый диапазон для переменного типа данных byte является 0-255, но при преобразовании 0x1234 значения HEX в десятичную систему вы получили 4660. Так unchecked используется для управления арифметическими операциями и преобразованиями для проверки переполнения.

Вы можете найти, что unchecked часто используется в реализации GetHashCode(), которая выполняет числовые операции для вычисления окончательного хеш-кода.

Подводя итог, вы должны использовать unchecked, когда конечное значение целочисленных операций не имеет значения, но может произойти переполнение.

Answer 3

не должно быть без пометок.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 к междунар, а затем попытаться бросить его в байт. Опять же, вы не можете преобразовать 0x1234 в байт, потому что он слишком велик.