Adakah Penambahan Penunjuk Tidak Ditakrifkan Apabila Tidak Menuding pada Susunan Aksara dalam C 17?

Adakah Penambahan Penunjuk Tidak Ditakrifkan Apabila Tidak Menuding pada Tatasusunan Char?

Piawaian C 17 menyatakan bahawa penambahan nilai integral pada penunjuk menghasilkan penunjuk jenis yang sama seperti operan, dan hasilnya menunjukkan kepada elemen (hipotesis) dalam tatasusunan jika operasi kekal dalam sempadan. Walau bagaimanapun, masih tidak jelas sama ada ini terpakai pada penuding yang tidak menunjuk kepada tatasusunan aksara.

Pertimbangkan kod berikut:

struct Foo {
    float x, y, z;
};

Foo f;
char *p = reinterpret_cast<char *>(&f) + offsetof(Foo, z); // (*)
*reinterpret_cast<float *>(p) = 42.0f;

Adakah garis yang ditandakan dengan (*) membentuk tingkah laku yang tidak ditentukan ( UB)? Penunjuk p menunjuk kepada apungan, bukan tatasusunan aksara. Menurut perenggan yang dipetik, ini sepatutnya menyebabkan UB. Walau bagaimanapun, jika ia adalah UB, ia akan mengehadkan kegunaan offsetof() dengan ketara.

Takrifan standard jenis boleh disalin secara remeh menyatakan bahawa bait asasnya boleh disalin ke dalam tatasusunan aksara menggunakan fungsi seperti std::memcpy . Ini menunjukkan bahawa penambahan harus ditakrifkan untuk penunjuk kepada bait mentah yang membentuk objek, tidak kira sama ada hasilnya akan digunakan untuk menyalin bait ke dalam tatasusunan.

Sama ada ini membayangkan bait yang terlibat sudah membentuk tatasusunan atau merupakan pengecualian khas kepada peraturan biasa bagi pengendali tidak jelas. Walau bagaimanapun, mana-mana tafsiran akan menjadikan penambahan dalam kod itu sah. Oleh itu, boleh disimpulkan bahawa penambahan pada penunjuk char * tidak semestinya menghasilkan UB, walaupun ia tidak menunjuk kepada tatasusunan char.

Atas ialah kandungan terperinci Adakah Penambahan Penunjuk Tidak Ditakrifkan Apabila Tidak Menuding pada Susunan Aksara dalam C 17?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!