Các trường bit và các số thứ tự

Question

Để thực hiện gói f0 và f1 vào cùng một byte, chương trình bên dưới có được xác định không?

struct S0 { 
     unsigned f0:4; 
     signed f1:4; 
} l_62; 

int main (void) { 
     (l_62.f0 = 0) + (l_62.f1 = 0); 
     return 0; 
} 

Tôi quan tâm đến câu trả lời cho C99 và C11 nếu có lý do để nghĩ rằng nó khác ở đó.

Trong C99, tất cả tôi tìm thấy là 6,5: 2:

Giữa điểm chuỗi trước và bên cạnh một đối tượng có trách nhiệm giá trị được lưu trữ Modi fi ed của nó tối đa một lần bởi việc đánh giá một biểu thức. [...]

Tôi không rõ hậu quả của đoạn này trong chương trình ở trên.

Dựa trên một số lượng lớn các thử nghiệm ngẫu nhiên, hầu hết các trình biên dịch xuất hiện để tạo mã nơi hai bài tập không can thiệp.

Answer 1

C11 xem các ô liền kề có tên bit là một phần của cùng một vị trí bộ nhớ. Các trường bit như vậy không được bảo đảm được cập nhật một cách nguyên tử, nói cách khác nếu một bản cập nhật không được sắp xếp một cách rõ ràng trước khi hành vi khác không được xác định. 3.14 memory location sau đó cũng có một giải thích chi tiết về khi hai trường có thể được coi là ở các vị trí bộ nhớ khác nhau, do đó các bản cập nhật cho chúng có thể được xem xét độc lập.

Nếu bạn muốn thay đổi cấu trúc của bạn

struct S0 { 
     unsigned f0:4; 
     int :0; 
     signed f1:4; 
} l_62; 

như vậy mà có này kỳ quái "vị trí bộ nhớ tách" giữa các lĩnh vực hai bit, mã của bạn sẽ được đảm bảo để được tốt.

Đối với trường hợp C99 có vẻ phức tạp hơn, không có khái niệm chi tiết về vị trí bộ nhớ. Trong một cuộc thảo luận gần đây về danh sách gửi thư hạt nhân Linux, có một tuyên bố nói chung cho tất cả các cặp của các trường bit sẽ có một sự đảm bảo về nguyên tử khi cập nhật bất kỳ một trong số chúng. Điểm bắt đầu của cuộc thảo luận đó là trường hợp gcc bị ô nhiễm một trường không bit bên cạnh một trường bit một cách bất ngờ dẫn tới các sự cố giả mạo.

Answer 2

Bài tập ở đây là cho các thành viên cấu trúc. Thực tế là chúng xảy ra để chia sẻ cùng một lưu trữ nên không có ảnh hưởng đến logic. Bạn đã không, trên thực tế, thực sự đã thực hiện một nhiệm vụ cho cùng một điều.

Tất nhiên, tôi không phải là luật sư ngôn ngữ.