Mengapakah Potongan `auto` bagi Ungkapan Lambda C 11 Berbeza daripada Jenis Penunjuk Fungsinya?

Potongan Jenis Ungkapan Lambda dalam C 11

Dalam C 11, ungkapan lambda ialah alat serba boleh untuk mencipta fungsi tanpa nama. Walau bagaimanapun, mekanisme potongan jenis asasnya mungkin tidak sentiasa intuitif.

Pertimbangkan coretan kod:

#define LAMBDA [] (int i) -> long { return 0; }
int main() {
    long (*pFptr)(int) = LAMBDA;  // ok
    auto pAuto = LAMBDA;  // ok
    assert(typeid(pFptr) == typeid(pAuto));  // assertion fails !
}

Kod memberikan ungkapan lambda kepada penuding fungsi dan pembolehubah automatik. Walau bagaimanapun, dakwaan yang membandingkan jenis mereka gagal. Ini menimbulkan persoalan: apakah jenis sebenar ungkapan lambda apabila disimpulkan menggunakan auto?

Tidak seperti yang dijangkakan, ungkapan lambda sememangnya tidak mempunyai jenis penuding fungsi. Sebaliknya, mereka menterjemah kepada objek functor. Apa-apa sahaja dalam kurungan [] menjadi hujah pembina dan ahli functor, manakala parameter dalam () menjadi parameter operator() functor.

Ekspresi Lambda yang tidak menangkap pembolehubah (kurungan [] kosong) boleh ditukar kepada fungsi petunjuk. Walau bagaimanapun, jenis asas lambda itu sendiri kekal sebagai jenis functor, yang tidak semestinya sama dengan penunjuk fungsi.

Oleh itu, penegasan dalam coretan kod gagal kerana jenis pFptr ialah penunjuk fungsi, manakala jenis pAuto ialah jenis functor yang dijana oleh ungkapan lambda.

Atas ialah kandungan terperinci Mengapakah Potongan `auto` bagi Ungkapan Lambda C 11 Berbeza daripada Jenis Penunjuk Fungsinya?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!