Mengapa Pembolehubah Const pada Alamat Memori yang Sama Menunjukkan Nilai Berbeza dalam C?

Pembolehubah pada Alamat Yang Sama Menghasilkan Nilai Mencapah

Pertimbangkan coretan kod berikut:

#include <iostream>
using namespace std;

int main(void)
{
    const int a1 = 40;
    const int* b1 = &a1;
    char* c1 = (char *)(b1);
    *c1 = 'A';
    int *t = (int*)c1;

    cout << a1 << " " << *t << endl;
    cout << &a1 << " " << t << endl;

    return 0;
}

Kod ini mengeluarkan output yang mengejutkan :

40 65
0xbfacbe8c 0xbfacbe8c

Bagaimana mungkin bahawa pembolehubah a1 pada alamat yang sama menghasilkan dua nilai yang berbeza, 40 dan 65?

Jawapan:

Tingkah laku ini adalah hasil daripada tingkah laku yang tidak ditentukan. Kod itu mengubah suai nilai pembolehubah const (a1), melanggar peraturan C . Menurut piawaian C (bahagian 7.1.6.1 perenggan 4), sebarang percubaan untuk mengubah suai objek const sepanjang hayatnya menghasilkan tingkah laku yang tidak ditentukan.

Dalam kes ini, mengubah suai pembolehubah const a1 melalui penunjuk c1 membawa kepada keputusan yang tidak dapat diramalkan. Pengkompil mungkin mengabaikan pengubahsuaian, gelagat dalam cara yang didokumenkan atau malah menamatkan atur cara.

Oleh itu, gelagat yang diperhatikan, di mana a1 menghasilkan dua nilai yang berbeza, adalah akibat daripada gelagat yang tidak ditentukan. Mengubah suai pembolehubah const amat tidak digalakkan dan boleh membawa kepada tingkah laku program yang tidak dapat diramalkan dan salah.

Atas ialah kandungan terperinci Mengapa Pembolehubah Const pada Alamat Memori yang Sama Menunjukkan Nilai Berbeza dalam C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!