Là "-1 >> 5;" hành vi không xác định trong C?

Question

C11 §6.5.7 Khoản 5:

Kết quả của E1 >> E2 là E1 vị trí E2 chút phải thay đổi. Nếu E1 có loại chưa ký hoặc nếu E1 có loại đã ký và giá trị không âm, , giá trị của kết quả là phần không tách rời của số thương số E1/2*^E2. Nếu E1 có loại đã ký và giá trị âm, giá trị kết quả được xác định thực hiện.

Nhưng, Tài liệu tham khảo viva64 nói:

int B; 
B = -1 >> 5; // unspecified behavior 

tôi chạy mã này vào GCC và nó luôn luôn đưa ra một sản lượng -1.

Vì vậy, tiêu chuẩn nói rằng "Nếu E1 có một loại chữ ký và một giá trị âm, giá trị kết quả là thực hiện xác định", Nhưng tài liệu mà nói rằng -1>>5; là không xác định hành vi.

Vì vậy, là -1>>5; hành vi không xác định trong C? Đó là chính xác?

Answer 1

Cả hai đều chính xác. Hành vi được xác định thực hiện là một loại hành vi không xác định cụ thể.

Trích dẫn phần 3.4.1 của the C standard trong đó xác định "hành vi thực hiện xác định":

hành vi thực hiện xác định

hành vi không xác định nơi mà mỗi văn bản thực hiện như thế nào lựa chọn được thực hiện

VÍ DỤ Ví dụ về hành vi được thực hiện được xác định là t ông tuyên truyền bit thứ tự cao khi số nguyên đã ký được dịch chuyển sang phải.

Từ phần 3.4.4 quy định "hành vi không xác định":

hành vi không xác định

sử dụng một giá trị không xác định, hoặc hành vi khác nơi tiêu chuẩn quốc tế này cung cấp hai hoặc nhiều khả năng hơn và áp đặt không yêu cầu thêm nào được chọn trong bất kỳ trường hợp nào

VÍ DỤ Ví dụ về hành vi không xác định là thứ tự các đối số cho một hàm được đánh giá.

Đối với GCC, bạn sẽ luôn nhận được cùng một câu trả lời vì thao tác được thực hiện xác định. Nó thực hiện sự thay đổi bên phải của số âm qua phần mở rộng dấu

Từ GCC documentation:

Kết quả của một số hoạt động Bitwise trên số nguyên ký (C90 6.3, C99 và C11 6.5).

Các toán tử bit hoạt động trên giá trị bao gồm cả bit dấu và giá trị, trong đó bit dấu được coi là ngay trên giá trị giá trị cao nhất. Đã ký >> hoạt động trên số âm bằng tiện ích dấu.

Là một phần mở rộng của ngôn ngữ C, GCC không sử dụng một vĩ độ trong C99 và C11 chỉ để điều trị một số khía cạnh của ký << như không xác định. Tuy nhiên, -fsanitize=shift (và -fsanitize=undefined) sẽ chẩn đoán các trường hợp như vậy. Chúng cũng được chẩn đoán khi có các biểu thức hằng số .

Answer 2

"Hành vi không xác định" và "triển khai được xác định" không mâu thuẫn. Nó chỉ có nghĩa là tiêu chuẩn C không xác định những gì cần phải xảy ra, và việc triển khai khác nhau có thể làm những gì họ cho là "đúng".

Chạy nhiều lần trên một trình biên dịch và nhận kết quả tương tự chỉ có nghĩa là trình biên dịch cụ thể nhất quán. Bạn có thể nhận được kết quả khác nhau trên một trình biên dịch khác nhau.