Tiêu chuẩn C nói gì về bithifting bit nhiều hơn chiều rộng của loại?

Question

Xét đoạn mã sau:

int i = 3 << 65; 

Tôi hy vọng rằng kết quả là i==0, tuy nhiên kết quả thực tế là i==6. Với một số thử nghiệm tôi thấy rằng với đoạn mã sau:

int i, s; 
int a = i << s; 
int b = i << (s & 31); 

các giá trị của a và b luôn luôn giống nhau.

Chuẩn C có nói gì về việc chuyển đổi hơn 32 bit (chiều rộng loại int) hoặc hành vi không xác định này không?

Answer 1

Từ dự thảo WG12/N1124 của tôi (không tiêu chuẩn, nhưng Good Enough For Me), có khối sau trong 6.5.7 Bitwise nhà khai thác dịch chuyển:

Nếu giá trị quyền toán hạng là âm hoặc là lớn hơn hoặc bằng chiều rộng của toán hạng trái được thăng hạng, hành vi không xác định.

Vì vậy, chưa xác định. Hãy cẩn thận.