Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
В вычислительной технике, знаковость — это свойство типов данных, представляющих числа в компьютерных программах. Числовая переменная является знаковой, если она может представлять как положительные, так и отрицательные числа, и беззнаковой, если она может представлять только неотрицательные числа (ноль или положительные числа). Поскольку знаковые числа могут представлять отрицательные числа, они теряют диапазон положительных чисел, которые могут быть представлены только беззнаковыми числами того же размера (в битах), так как примерно половина возможных значений является неположительными, в то время как соответствующий беззнаковый тип может использовать все возможные значения для диапазона положительных чисел. Например, 16-битное целое число со знаком, представленное в дополнительном коде, может хранить значения от −32768 до 32767 включительно, а 16-битное беззнаковое целое число — от 0 до 65535. В этом методе представления знака самый левый бит (старший бит) указывает, является ли значение отрицательным (0 для положительного или нуля, 1 для отрицательного).
In computing, signedness is a property of data types representing numbers in computer programs. A numeric variable is signed if it can represent both positive and negative numbers, and unsigned if it can only represent non negative numbers (zero or positive numbers). As signed numbers can represent negative numbers, they lose a range of positive numbers that can only be represented with unsigned numbers of the same size (in bits) because roughly half the possible values are non positive values, whereas the respective unsigned type can dedicate all the possible values to the positive number range. For example, a two's complement signed 16 bit integer can hold the values −32768 to 32767 inclusively, while an unsigned 16 bit integer can hold the values 0 to 65535. For this sign representation method, the leftmost bit (most significant bit) denotes whether the value is negative (0 for positive or zero, 1 for negative).
В языках программирования
Для большинства архитектур в машинном коде отсутствует различие между знаковыми и беззнаковыми типами. Тем не менее, арифметические инструкции обычно устанавливают различные флаги процессора, такие как флаг переноса для беззнаковой арифметики и флаг переполнения для знаковой. Эти значения могут учитываться последующими командами ветвления или арифметическими операциями. Язык программирования C и его производные реализуют знаковость для всех целочисленных типов данных, а также для "символов". Для целых чисел модификатор `unsigned` определяет тип как беззнаковый. По умолчанию целочисленная знаковость – знаковая, но может быть явно установлена с помощью модификатора `signed`. В отличие от этого, стандарт C объявляет `char`, `short` и `int` как три различных типа, но указывает, что все три должны иметь одинаковый размер и выравнивание. Более того, `char` должен иметь тот же числовой диапазон, что и `short` или `int`, но выбор конкретного типа зависит от платформы. Целочисленные литералы могут быть сделаны беззнаковыми с помощью суффикса `U`. Компиляторы часто выдают предупреждение при сравнении знаковых и беззнаковых чисел или при приведении одного типа к другому. Это потенциально опасные операции, поскольку диапазоны знаковых и беззнаковых типов различаются.
For most architectures, there is no signed–unsigned type distinction in the machine language. Nevertheless, arithmetic instructions usually set different CPU flags such as the carry flag for unsigned arithmetic and the overflow flag for signed. Those values can be taken into account by subsequent branch or arithmetic commands. The C programming language, along with its derivatives, implements a signedness for all integer data types, as well as for "character". For Integers, the modifier defines the type to be unsigned. The default integer signedness is signed, but can be set explicitly with modifier. By contrast, the C standard declares , , and , to be three distinct types, but specifies that all three must have the same size and alignment. Further, must have the same numeric range as either or , but the choice of which depends on the platform. Integer literals can be made unsigned with suffix. Compilers often issue a warning when comparisons are made between signed and unsigned numbers or when one is cast to the other. These are potentially dangerous operations as the ranges of the signed and unsigned types are different.