Giá trị có bao giờ là 0 sau khi thay đổi "x << = 1" nhiều lần không?

Question

Tôi tự hỏi nếu x sẽ bao giờ đạt đến số không trong chương trình sau đây.

hãy xem xét:

int main() 
{ 
    int x = 1; 
    while (x) 
     { 
     x <<= 1; 
     } 
    return 0; 
} 

nên hành vi dự kiến ​​của chương trình này được thoát bình thường hoặc vòng lặp mãi mãi?

Answer 1

Không (hoặc cả hai), nó chạy trong hành vi không xác định khi x tràn.

C99 đặc tả phần 6.5.7 nói:

Kết quả của E1 < < E2 là E1 trái chuyển vị trí bit E2; các bit trống được điền bằng số không. Nếu E1 có kiểu không dấu, giá trị của kết quả là E1 × 2 ^E2, giảm modulo một giá trị lớn hơn giá trị lớn nhất thể hiện trong loại kết quả. Nếu E1 có giá trị loại có ký hiệu và giá trị không âm, và E1 × 2 ^E2 là thể hiện trong loại kết quả, thì đó là giá trị kết quả; nếu không, hành vi là không xác định.