Знаковость

Для большинства архитектур на уровне машинного языка различия между знаковыми и беззнаковыми типами нет. Тем не менее, инструкции арифметики обычно устанавливают различные флаги процессора, такие как Флаг переноса для беззнаковой арифметики и Флаг переполнения для знаковой. Эти значения могут учитываться последующими командами перехода или арифметическими операциями.

Язык программирования C, а также его производные (за исключением Java, в котором отсутствуют беззнаковые типы), реализуют знаковость для всех целочисленных типов данных, а также для символьного типа. Для целых чисел модификатор unsigned определяет тип как беззнаковый. По умолчанию вне битовых полей целочисленные типы являются знаковыми, но это можно явно указать с помощью модификатора signed. В то же время стандарт C определяет signed char, unsigned char и char как три различных типа, но требует, чтобы все три имели одинаковый размер и выравнивание. Кроме того, char должен иметь тот же числовой диапазон, что и либо signed char, либо unsigned char, но выбор зависит от платформы. Целочисленные литералы могут быть объявлены беззнаковыми с помощью суффикса U.

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