Разница двух uint
Когда вы пытаетесь объявить беззнаковую переменную в C# .NET со значением за пределами ее диапазона значений, это помечается как ошибка компилятора, но если вы создаете отрицательное значение во время выполнения и присваиваете его этой переменной во время выполнения, значение переносится.
uint z = -1; // Will not compile
uint a = 5;
uint b = 6;
uint c = a - b; // Will result in uint.MaxValue
Есть ли веская причина, по которой беззнаковые переменные переносятся в такой ситуации вместо того, чтобы генерировать исключение?
Спасибо.
Ответы 6
Объявление неназначенной переменной в C# не помечается ошибкой - попытка присвоить переменной недопустимое значение -. Например, вот переменная, которая не назначена однозначно (предполагая, что она локальная) после объявления:
uint z;
-1 не является допустимым значением для uint, если больше 0,5, поэтому ваш пример не будет компилироваться.
Теперь, что касается остального: целочисленные типы просто переносятся при переполнении - так же, как добавление 1 к int.MaxValue возвращает int.MinValue. Это значительное улучшение производительности по сравнению с тем, что программа проверяет каждую операцию на переполнение - за счет того, что потенциально ошибка не обнаруживается.
Это только в том случае, если вы находитесь в непроверенном контексте, имейте в виду - если вы выполните любую из этих операций в проверенном контексте, вместо этого вы получите исключение. Например;
class Test
{
static void Main()
{
checked
{
uint a = 5;
uint b = 6;
uint c = a - b;
}
}
}
Запустите это, и вы увидите, что OverflowException брошен. Если это то, что вы хотите для всего проекта, вы можете установить это в свойствах проекта (или скомпилировать с параметром командной строки /checked+ для csc.)
Обновлено: стоит отметить, что другие ответы показали, что вы можете поместить меньшее количество кода в проверенный контекст - просто объявление и назначение c или даже просто расчет. Все это довольно гибко.
Это пугающе быстрый набор голосов. Не то чтобы он сидел без дела какое-то время ...
Удивительно, но я никогда не встречал проверенных и непроверенных контекстов. Отлично.
Кстати, Джон, ты только что продал еще один экземпляр своей книги.
Точно так же вы можете использовать явный непроверенный блок и привести -1 к uint, если вы действительно этого хотите. т.е. не отмечен {uint z = (uint) -1; }
Есть ли снижение производительности при наличии больших блоков кода в проверенном контексте?
Ага, проверенные контексты, конечно, дороже. Однако существенное снижение производительности будет полностью зависеть от вашего приложения. Я видел совет «отладить с отмеченным; запустить с непроверенным».
@JonB: Круто - надеюсь, тебе понравится :)
Обертывание происходит потому, что по умолчанию C# не отмечен. Если добавить «отмеченный» блок, будет обнаружено переполнение:
uint a = 3, b = 4;
checked
{
uint c = a - b; // throws an overflow
}
Что касается компилятора: он просто требует достоверных данных.
Я привык к проверенной среде, поэтому посмотрел на MSDN, и там указано, что проверено по умолчанию? - msdn.microsoft.com/en-us/library/74b4xzyw(VS.85).aspx
Это просто значение по умолчанию - вы можете изменить настройки компиляции, чтобы включить проверку аритетического переполнения во время выполнения. Если вы включите это, исключения будут выбрасываться, как вы ожидаете. Кроме того, вы можете включить проверку определенной операции, поместив ее в отмеченный блок.
uint c = checked(a - b);
Вероятно, стоит уточнить здесь, что uint - это беззнаковый int, а не неназначенный int. Большая разница!
Причина, по которой он превращается в отрицательный, заключается в математике Дополнение до двух, которая используется для целочисленной арифметики.
Короткий ответ заключается в том, что в качестве знака используется самый старший бит. Ноль положительный; один отрицательный.
Всегда используйте двойной. Разница в производительности незначительна, она более гибкая и адаптивная. Такая практика предотвращает исключения и сокращает время разработки. Хотя анальные люди это ненавидят.
Черт возьми ... Я нажал "Опубликовать" и обнаружил, что у вас уже +5 ... [удалить ...]