Неявные преобразования типов

Question

#include<stdio.h> 
int main(void) 
{ 
    signed int a=-1; 
    unsigned int b=1; 
    int c= a+b; 
    printf("%d\n",c); 

    return 0; 
    } 

В соответствии с правилом преобразования неявного типа, если один операнд unsigned int, другой будет преобразован в unsigned int и результат будет в двоичной операции unsigned int. так здесь b является unsigned int, a должен быть типа отлиты в unsigned int .Как беззнаковое целочисленное значение всегда анолита, так что значение a будет 1.so c=1+1=2 .Но на выходе 0 .Как?

Answer 1

-1, когда cast to unsigned станет наибольшим возможным значением для этого типа - например, с 32-битным без знака, это будет 4 294 967 295. Когда вы добавляете 1 к этому, значение «обертывается» до 0.

Answer 2

Современные машины в основном используют two's complement Представление для отрицательных чисел. Когда добавляются два числа, если какой-либо из них отрицательный, он будет сначала преобразован в представление представления двух. то эти два числа будут добавлены. Поэтому компьютеры обычно выполняют 1 - 1 как 1 + two's complement of (-1). Это приводит к 0.

Для 1 - 2 это 1 + two's complement(-2). Проверьте эту программу, то же число, другое представление:

int main() 
{ 
    signed int a = 1; 
    unsigned int b = -2; 

    int c = a+b; 

    printf("%d\n%u\n", c, c); 

    return 0; 
} 

Пожалуйста, ознакомьтесь с представлением о дополнении двух. Вам понадобится, чтобы стать программистом.

Answer 3

«a должно быть напечатано по типу без знака int. Поскольку unsigned int всегда + ve, значение a будет равно 1."

Откорректируйте до «будет», но не после этого ;-)

В результате преобразования целого числа без знака, чтобы указан в стандарте, 6.3.1.3/2:

, если новый тип без знака, значение преобразуется путем многократного добавления или вычитания один больше, чем максимальное значение, которое может быть представлена ​​в нового типа, пока значение не находится в диапазоне нового типа

Другими словами, отрицательное значение преобразуется в беззнаковое, принимая его значение по модулю некоторой мощности 2, а не переворачивая знак.