Mengapakah ' []{}' Mendayakan Kompilasi Ungkapan Lambda dalam C ?

Merungkai Misteri ' ' dengan Ungkapan Lambda: ' []{}'

Dalam soalan Limpahan Tindanan sebelum ini, ungkapan lambda yang kelihatan mudah gagal disusun. Walau bagaimanapun, dengan penambahan operator ' ' sebelum lambda, kod itu secara ajaib memperoleh keupayaannya untuk menyusun. Pemerhatian yang menarik ini menimbulkan persoalan: mengapakah ' []{}' berfungsi?

Kuncinya terletak pada gelagat terlalu muatan operator ' '. Apabila digunakan pada objek penutupan yang dijana oleh lambda bukan menangkap, ia menggunakan fungsi penukaran terbina dalam yang mengubah penutupan menjadi penunjuk fungsi biasa.

Penukaran ini penting kerana operator ' ' mempunyai calon beban lampau yang menukarkan sebarang jenis kepada penunjuk. Oleh itu, menggunakan ' ' pada objek penutupan menghasilkan penuding fungsi kepada lambda.

Jenis 'ujian' selepas lambda pertama diisytiharkan menjadi tidak sah(*)(), iaitu penunjuk fungsi dengan jenis pulangan kosong dan tiada parameter. Ini membolehkan lambda kedua ditugaskan untuk 'menguji', walaupun mempunyai jenis penutupan yang berbeza.

Oleh itu, kefungsian kod boleh dijelaskan seperti berikut:

1. Lambda pertama ialah ditukar kepada penunjuk fungsi menggunakan operator ' '.
2. Jenis 'ujian' menjadi penunjuk fungsi void(*)().
3. Lambda kedua juga ditukar kepada penuding fungsi, memastikan keserasian dengan 'ujian'.
4. Tugasan untuk 'menguji' berjaya kerana kedua-dua penunjuk fungsi adalah serasi .

Tingkah laku ini mematuhi sepenuhnya standard C, menjadikan ' []{}' sah dan sangat berguna helah untuk ungkapan lambda.

Atas ialah kandungan terperinci Mengapakah ' []{}' Mendayakan Kompilasi Ungkapan Lambda dalam C ?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!