Saya memiliki persepsi bahwa, jenis lambda adalah penunjuk fungsi. Ketika saya melakukan tes berikut, saya menemukan itu salah ( demo ).
#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 !
}
Apakah kode di atas kehilangan poin? Jika tidak, apa typeofekspresi lambda ketika disimpulkan dengan autokata kunci?
Jawaban:
Jenis ekspresi lambda tidak ditentukan.
Tetapi mereka umumnya hanyalah gula sintaksis untuk para fungsional. Lambda diterjemahkan langsung ke dalam sebuah functor. Semua yang ada di dalam []akan diubah menjadi parameter konstruktor dan anggota objek functor, dan parameter di dalamnya ()diubah menjadi parameter untuk functor operator().
Sebuah lambda yang tidak menangkap variabel (tidak ada di dalam []) dapat diubah menjadi penunjuk fungsi (MSVC2010 tidak mendukung ini, jika itu kompiler Anda, tetapi konversi ini adalah bagian dari standar).
Tapi tipe lambda yang sebenarnya bukanlah penunjuk fungsi. Ini beberapa jenis functor yang tidak ditentukan.
operator()pada dasarnya stackoverflow.com/questions/356950/c-functors-and-their-uses
Ini adalah struktur unik tanpa nama yang membebani operator pemanggil fungsi. Setiap contoh lambda memperkenalkan tipe baru.
Dalam kasus khusus lambda yang tidak menangkap, struktur tersebut memiliki konversi implisit ke penunjuk fungsi.
type_info::name()adalah implementasi-didefinisikan, sehingga dapat mengembalikan apapun. Dalam praktiknya, kompilator akan menamai tipe tersebut demi linker.
[C++11: 5.1.2/3]:Tipe ekspresi lambda (yang juga merupakan tipe objek closure) adalah tipe kelas non-union unik dan tak bernama - disebut tipe closure - yang propertinya dijelaskan di bawah ini. Jenis kelas ini bukan agregat (8.5.1). Jenis closure dideklarasikan dalam lingkup blok terkecil, cakupan kelas, atau lingkup namespace yang berisi ekspresi lambda yang sesuai . [..]
Klausul tersebut melanjutkan ke daftar berbagai properti dari jenis ini. Berikut beberapa sorotan:
[C++11: 5.1.2/5]:Jenis penutupan untuk lambda ekspresi memiliki publikinlineOperator fungsi panggilan (13.5.4) yang parameter dan jenis kembali dijelaskan oleh lambda ekspresi ‘s parameter-deklarasi-klausul dan trailing return-jenis masing-masing. [..]
[C++11: 5.1.2/6]:Tipe closure untuk ekspresi lambda tanpa lambda-capture memiliki fungsi konversi const non-virtual publik non-eksplisit menjadi pointer ke fungsi yang memiliki parameter yang sama dan tipe kembalian sebagai operator panggilan fungsi tipe closure. Nilai yang dikembalikan oleh fungsi konversi ini harus menjadi alamat fungsi yang, ketika dipanggil, memiliki efek yang sama seperti memanggil operator panggilan fungsi tipe penutupan.
Konsekuensi dari bagian terakhir ini adalah, jika Anda menggunakan sebuah konversi, Anda akan dapat menetapkannya LAMBDA ke pFptr.
#include <iostream>
#include <typeinfo>
#define LAMBDA [] (int i)->long { return 0l; }
int main ()
{
long (*pFptr)(int) = LAMBDA; // ok
auto pAuto = LAMBDA; // ok
std::cout<<typeid( *pAuto ).name() << std::endl;
std::cout<<typeid( *pFptr ).name() << std::endl;
std::cout<<typeid( pAuto ).name() << std::endl;
std::cout<<typeid( pFptr ).name() << std::endl;
}
Jenis fungsi memang sama, tetapi lambda memperkenalkan jenis baru (seperti functor).
__PRETTY_FUNCTION__, seperti template<class T> const char* pretty(T && t) { return __PRETTY_FUNCTION__; }, dan menanggalkan ekstra jika mulai ramai. Saya lebih suka melihat langkah-langkah yang ditunjukkan dalam penggantian template. Jika Anda tidak ada __PRETTY_FUNCTION__, ada alternatif untuk MSVC, dll., Tetapi hasilnya selalu bergantung pada kompilator karena alasan yang sama CXXABI diperlukan.
Perlu juga dicatat bahwa lambda dapat diubah menjadi penunjuk fungsi. Namun typeid <> mengembalikan objek non-trvial yang harus berbeda dari lambda ke penunjuk fungsi generik. Jadi pengujian untuk typeid <> bukanlah asumsi yang valid. Secara umum C ++ 11 tidak ingin kita khawatir tentang spesifikasi tipe, semua itu penting jika tipe tertentu dapat dikonversi ke tipe target.
Solusi praktis dari Bagaimana cara menyimpan objek boost :: bind sebagai anggota kelas? , coba boost::function<void(int)>atau std::function<void(int)>.