Bagaimanakah Pembolehubah pada Alamat Memori yang Sama Mempunyai Dua Nilai Berbeza dalam C?

Menyingkap Enigma Ketidakkonsistenan Alamat Pembolehubah: Menyelam ke dalam Tingkah Laku yang Tidak Ditakrifkan

Dalam alam pembolehubah yang membingungkan, persoalan pelik timbul: bagaimana adakah mungkin pembolehubah pada alamat yang sama menghasilkan dua nilai yang berbeza? Untuk membongkar misteri ini, mari kita mendalami coretan kod yang menunjukkan kelakuan luar biasa ini.

Pertimbangkan kod C 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;
}

Anehnya, output kod ini mendedahkan ketidakkonsistenan:

40 65
0xbfacbe8c 0xbfacbe8c

Pembolehubah 'a1', yang diisytiharkan sebagai const, mengekalkan nilai asalnya sebanyak 40. Walau bagaimanapun, 't', penunjuk yang menunjuk ke lokasi memori yang sama seperti 'b1', mempamerkan nilai 65 ('A' dalam ASCII). Bagaimanakah ini boleh berlaku?

Jawapannya terletak pada konsep tingkah laku yang tidak ditentukan. Dalam kes ini, mengubah suai pembolehubah const ('a1' dalam keadaan ini) mencetuskan gelagat yang tidak ditentukan, mengikut piawaian C (7.1.6.1). Akibatnya, keputusan menjadi tidak dapat diramalkan dan mungkin berbeza-beza merentasi pengkompil yang berbeza atau bahkan pelaksanaan yang berbeza bagi kod yang sama.

Piawaian C dengan jelas menyatakan bahawa "sebarang percubaan untuk mengubah suai objek const semasa hayatnya mengakibatkan tingkah laku yang tidak ditentukan ." Dalam erti kata lain, tingkah laku pengubahsuaian sedemikian tidak ditakrifkan oleh bahasa, membiarkannya terbuka kepada hasil sewenang-wenangnya.

Dalam contoh khusus ini, pengubahsuaian aksara yang ditunjukkan oleh 'c1' (yang sama lokasi memori sebagai 'a1') menghasilkan perubahan yang tidak dijangka dalam nilai yang diperoleh melalui 't'. Ini kerana penukaran jenis antara 'char' dan 'int' secara berkesan mentakrifkan semula tafsiran data yang disimpan di lokasi memori tersebut.

Adalah penting untuk ambil perhatian bahawa tingkah laku yang tidak ditentukan boleh nyata dalam pelbagai cara, termasuk mengabaikan situasi sepenuhnya, menghasilkan mesej diagnostik, atau menamatkan program. Oleh itu, adalah penting untuk mengelak daripada menggunakan gelagat yang tidak ditentukan dalam kod pengeluaran untuk memastikan pelaksanaan program yang boleh diramal dan boleh dipercayai.

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