có thể bỏ đi constness dẫn đến hành vi không xác định?

Question

const int a = 10 
int *p = (int*) &a; 
*p = 20; 
printf("a = %d", a); 

Có thể xuất 10 hoặc 20, tùy thuộc vào trình biên dịch không?

Answer 1

Khi bạn làm *p=20, bạn đang cố gắng thay đổi giá trị của hằng số, không được phép.

Answer 2

Có thể xuất 10 hoặc 20, tùy thuộc vào trình biên dịch không?

Có hoặc thậm chí là ma quỷ có thể xuất hiện. Hành vi của chương trình này là không xác định, mã không đúng định dạng, vì sửa đổi đối tượng const là một vi phạm ràng buộc.

Answer 3

Khi được viết, mã của bạn có hành vi không xác định, vì vậy có, bạn có thể nhận được 10 hoặc 20 hoặc bất kỳ điều gì khác (ví dụ: vi phạm quyền truy cập).

Answer 4

Đó là hành vi không xác định:

C11 6.7.3 Loại vòng loại

Nếu một nỗ lực được thực hiện để sửa đổi một đối tượng được xác định với một kiểu const trình độ thông qua sử dụng của một giá trị trái với không const -quyền loại, hành vi là không xác định. Nếu một nỗ lực là được thực hiện để tham chiếu đến một đối tượng được xác định với một loại có đủ điều kiện dễ bay hơi thông qua việc sử dụng một lvalue với loại không đủ điều kiện bay hơi, hành vi không xác định.

Answer 5

Vâng, đó là hành vi không xác định và tôi nghĩ đây là nơi được nói về nó.

C99 Mục 6.7.3 Đoạn 5

Nếu một nỗ lực được thực hiện để sửa đổi một đối tượng được xác định với một kiểu const trình độ thông qua sử dụng một giá trị trái với không const trình độ loại, hành vi không xác định. Nếu một nỗ lực được thực hiện để tham khảo một đối tượng định nghĩa với một loại dễ bay hơi có trình độ thông qua việc sử dụng một giá trị trái với kiểu non-volatile có trình độ, hành vi này là undefined.115)