Будут повторяться операции ~ и << сходятся к отрицательному значению на всех платформах?

Question

В следующей программе будут повторяться ~ и < < операции сходятся к отрицательному значению на всех платформах?

#include <iostream> 

int main() 
{ 
    int x{}; 
    for(int i{}; i < 32; ++i) { 
     x = ~x; 
     x <<= 1; 
     std::cout << x << '\n'; 
    } 
} 

Моя оценка такова, что это будет потому, что сдвиг влево не является определением реализации. Можно ли сказать, что единственный раз, когда он не будет сходиться, будет ли int больше 32 бит?

Answer 1

Моя оценка такова, что это будет потому, что левая смена не реализация определена.

Вышеуказанное утверждение неверно. Левый сдвиг отрицательного значения равен undefined behavior, а значение отрицательно, как только биты начального нулевого значения инвертируются.

---

Если переменная была беззнаковое целое, то было бы справедливо сказать, что он будет стремиться к положительному значению на всех совместимых платформ (если достаточное количество битов сдвинуты):

#include <iostream> 
#include <limits> 

int main() 
{ 
    unsigned short x{}; 
    for(int i{}; i < CHAR_BIT*sizeof(unsigned short); ++i) { 
     x = ~x; 
     x <<= 1; 
     std::cout << x << '\n'; 
    } 
} 

Производит (по системе дополнений 2):

65534 
2 
65530 
10 
65514 
42 
65450 
170 
65194 
682 
64170 
2730 
60074 
10922 
43690 
43690