Mengapakah Penghantaran ke `membatalkan` menyekat Amaran Pengkompil dalam C ?

Penghantaran ke batal: Peperiksaan Terperinci

Penghantaran ke batal dalam C berfungsi untuk tujuan tertentu: menyekat amaran pengkompil. Semasa menghantar kepada jenis lain, walaupun jenis yang sama, mencetuskan amaran untuk pembolehubah yang tidak digunakan, menghantar kepada membatalkan secara berkesan menyenyapkannya.

Mari kita terokai gelagat yang diperhatikan dalam contoh kod yang disediakan:

int main()
{
    int x;
    (short)x;  // Warning: Statement has no effect
    (void)x;   // No warning
    (int)x;   // Warning: Statement has no effect
}

Penyusunan dengan g mendedahkan bahawa penghantaran ke batal tidak menimbulkan amaran, manakala penghantaran ke pendek atau int tidak. Ini menunjukkan perbezaan yang ketara dalam cara pengkompil mengendalikan penghantaran ke batal berbanding jenis lain.

Penjelasan untuk percanggahan ini terletak pada peraturan penukaran eksplisit untuk kekosongan yang digariskan dalam Piawaian C (§5.2.9/4) :

Sebarang ungkapan boleh ditukar secara eksplisit kepada menaip "cv void." Nilai ungkapan dibuang.

Peraturan ini menunjukkan bahawa penghantaran ke batal membuang nilai ungkapan, pada asasnya mengarahkan pengkompil untuk mengabaikannya tanpa mencetuskan amaran untuk pembolehubah yang tidak digunakan.

Sebaliknya, menghantar kepada yang lain jenis, termasuk jenis yang sama, tidak mempunyai kesan ke atas nilai ungkapan dan oleh itu diiktiraf sebagai tidak mempunyai kesan, membawa kepada paparan amaran.

Oleh itu, penghantaran ke batal berbeza secara kategori daripada penghantaran ke jenis lain kerana tujuan eksklusifnya untuk menyekat amaran pengkompil.

Atas ialah kandungan terperinci Mengapakah Penghantaran ke `membatalkan` menyekat Amaran Pengkompil dalam C ?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!