Почему беззнаковые целые типы могут быть неэффективными в определенных ситуациях?

Беззнаковые целые типы могут быть неэффективными в определённых ситуациях по нескольким причинам:

• Переполнение. ru.wikipedia.org ru.ruwiki.ru В памяти компьютера для хранения целых чисел обычно отводятся ячейки фиксированного объёма. ru.wikipedia.org ru.ruwiki.ru Из-за этого операции увеличения и уменьшения значений могут приводить к переполнению, что оборачивается искажением результата. ru.wikipedia.org ru.ruwiki.ru Для беззнаковых целых оптимизации, влияющие на арифметическое переполнение, запрещены, благодаря чему поведение при переполнении всегда определено, но машинный код, генерируемый компилятором, становится менее оптимальным. ru.wikipedia.org ru.ruwiki.ru
• Работа с отрицательными числами. dzen.ru Отрицательные значения не входят в диапазон беззнаковых типов и не могут быть представлены в нём, поэтому будут переходить в верхние границы диапазона. dzen.ru
• Использование слишком обширного типа. habr.com Применение типа с большим диапазоном, например 128-битного int, может вызвать сложности или даже внести уязвимости. habr.com

Иногда встречаются рекомендации не использовать беззнаковые целые, поскольку они могут быть не реализованы процессором компьютера. ru.wikipedia.org Также поддержка беззнаковых типов отсутствует в некоторых языках программирования, например в Java. ru.wikipedia.org