9.2.1. В выражениях.

1. Если операнд имеет тип не int и не double, то сначала приводится:

       signed   char  --> int  расширением знакового бита (7)
       unsigned char  --> int  дополнением нулями слева
                short --> int  расширением знакового бита (15)
       unsigned short --> unsigned int   дополнением нулями слева
                enum  --> int  порядковый номер в перечислимом типе
                float --> double   дробная часть дополняется нулями
   

2. Если любой операнд имеет тип double, то и другой операнд приводится к типу double. Результат: типа double. Запишем все дальнейшие преобразования в виде схемы:

   если есть                   то другой               результат 
   операнд типа                приводится к типу       имеет тип
   if(double)                  -->double               double
   else if(unsigned long)      -->unsigned long        unsigned long
   else if(long)               -->long                 long
   else if(unsigned int)       -->unsigned int         unsigned int
   else оба операнда имеют тип int                     int
   

При вызове функций их аргументы - тоже выражения, поэтому в них приводятся char,short к int и float к double. Это говорит о том, что аргументы (формальные параметры) функций можно всегда объявлять как int и double вместо char,short и float соответственно.

Зато спецификатор unsigned является существенным.

9.2.2. В присваиваниях.

            op = expr;

Тип выражения expr приводится к типу левой части - op. При этом возможны приведения более "длинного" типа к более "короткому" при помощи усечения, вроде:

    int     -->  char   обрубается старший байт.
    long    -->  int    обрубается старшее слово.
    float   -->  int    отброс дробной части
    double  -->  int      и обрубание мантиссы, если не лезет.
    double  -->  float  округление дробной части.

    signed    -->  unsigned   виртуально (просто знаковый бит
    unsigned  -->  signed     считается значащим или наоборот).
    unsigned int --> long     добавление нулей слева.
    int          --> long     расширение знакового бита.
    float        --> int      преобразование внутреннего
    int          --> float      представления: машинно зависимо.

            char --> long           это
            char --> int --> long
            char --> unsigned long  это
            char --> int --> unsigned long

9.3. Таблица шестнадцатеричных чисел (HEX).

9.4. Таблица степеней двойки.

9.5. Двоичный код: внутреннее представление целых чисел.

Целые числа в большинстве современных компьютеров представлены в виде двоичного кода. Пусть машинное слово состоит из 16 бит. Биты нумеруются справа налево начиная с 0. Обозначим условно бит номер i через b[i]. Значением его может быть либо 0, либо 1.

     15 14 13 12 11 10  9  8  7  6  5  4  3  2  1  0
    +--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+
    | 0| 0| 0| 0| 1| 0| 1| 1| 0| 1| 1| 0| 1| 1| 0| 0|
    +--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+

    d = 2**15 * b[15] +
        2**14 * b[14] +
             ...
        2**1  * b[1]  +
                b[0];

            0 + 0 = 0
            0 + 1 = 1
            1 + 0 = 1
            1 + 1 = 0 и перенос 1 в разряд слева

    -a = ~a + 1

       2   = 0000000000000010
      ~2   = 1111111111111101
      ~2+1 = 1111111111111110 = -2
      -1   = 1111111111111111
      -2   = 1111111111111110
      -3   = 1111111111111101
      -4   = 1111111111111100
      -5   = 1111111111111011

    a + (-a) = 0
          знак|
      2 =    0|000000000000010      сложим их
     -2 =    1|111111111111110
     ---------|--------------сумма: 10|000000000000000

              0000000000000000 = 0

    a - b = a + (-b) = a + (~b + 1)

Восьмеричные числа соответствуют разбиению двоичного числа на группы по 3 бита и записи каждой группы в виде соответствующей восьмеричной цифры (смотри таблицу выше).

Шестнадцатеричные числа соответствуют разбиению на группы по 4 бита (nibble):

                    x = 0010011111011001
            число: 0010 0111 1101 1001
    16-ричное:  0x   2    7    D    9    = 0x27D9
            число: 0 010 011 111 011 001
    8-ричное:   0  0  2   3   7   3   1  = 023731

© Copyright А. Богатырев, 1992-95
Си в UNIX