Adakah Jenis Ungkapan Lambda C 11 Disimpulkan dengan 'auto' Penunjuk Fungsi?

Potongan Jenis Ungkapan Lambda dengan "auto" dalam C 11

Dalam C 11, lambdas ialah ciri berkuasa yang membolehkan pengaturcara mentakrifkan tanpa nama fungsi. Dengan menggunakan kata kunci "auto" untuk menyimpulkan jenis lambda, salah tanggapan umum timbul bahawa lambda adalah daripada jenis penunjuk fungsi.

Sifat Lamdas

Walau bagaimanapun , andaian ini tidak betul. Jenis asas ungkapan lambda tidak ditakrifkan secara eksplisit. Sebaliknya, lambdas biasanya gula sintaktik untuk functors. Lambda diterjemahkan terus ke dalam objek functor, dengan elemen dalam kurungan [] menjadi parameter pembina dan ahli objek, manakala parameter dalam kurungan () menjadi parameter untuk operator functor().

Lambda Penukaran kepada Penunjuk Fungsi

Lambda yang menangkap tiada pembolehubah sememangnya boleh ditukar kepada penunjuk fungsi. Penukaran ini disokong oleh standard, tetapi bukan oleh semua penyusun (cth., MSVC2010). Walau bagaimanapun, penukaran ini tidak membayangkan bahawa jenis sebenar lambda ialah penunjuk fungsi.

Kesimpulan

Jenis ungkapan lambda yang disimpulkan dengan "auto" adalah tidak ditentukan jenis fungsi. Walaupun lambda yang tidak menangkap pembolehubah boleh ditukar kepada penunjuk fungsi, adalah penting untuk memahami bahawa penukaran ini tidak bersamaan dengan jenis asas sebenar mereka.

Atas ialah kandungan terperinci Adakah Jenis Ungkapan Lambda C 11 Disimpulkan dengan 'auto' Penunjuk Fungsi?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!