może odrzucić ciąg stałości do niezdefiniowanego zachowania?

Question

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

Czy można wyprowadzić 10 lub 20, w zależności od kompilatora?

Answer 1

Kiedy robisz *p=20, próbujesz zmienić wartość stałej, co jest niedozwolone.

Answer 2

Czy można wyprowadzać 10 lub 20, w zależności od kompilatora?

Tak, mogą pojawić się nawet demony nosowe. Zachowaniem tego programu jest niezdefiniowana, kod jest źle sformułowany, ponieważ modyfikowanie obiektu const jest naruszeniem ograniczeń.

Answer 3

Jak napisano, Twój kod ma niezdefiniowane zachowanie, więc tak, możesz uzyskać 10 lub 20 lub cokolwiek innego (np. Naruszenie dostępu).

Answer 4

To niezdefiniowane zachowanie:

C11 6.7.3 Rodzaj kwalifikacyjne

Jeśli nastąpi próba modyfikacji obiektu zdefiniowane z typem const wykwalifikowana poprzez wykorzystanie z lwartością z const -kwalifikowany typ, zachowanie jest niezdefiniowane. Jeśli próba jest wykonana na obiekcie zdefiniowanym za pomocą typu z lotnością kwalifikowaną, przy użyciu wartości LV z typem nieulotnym, zachowanie jest niezdefiniowane.

Answer 5

Tak, to jest niezdefiniowane zachowanie, i myślę, że to jest to, co mówi o tym.

C99 6.7.3 Punkt 5

Jeżeli próbuje się zmodyfikować przedmiotu zdefiniowanego w const wykwalifikowana rodzaju dzięki zastosowaniu lwartością z const wykwalifikowana typu, zachowanie jest niezdefiniowane. Jeśli próbuje się odnosić do obiektu zdefiniowanego z rodzajem ulotnej wykwalifikowana poprzez wykorzystanie lwartością z nieulotną wykwalifikowanej typu zachowanie jest undefined.115)