Soalan Awal:
Mengapa std::function (juga terpakai untuk boost::function and std::tr1::function) bukan kesaksamaan setanding?
Jawapan:
Sebab Tidak Perbandingan:
std::function direka untuk menampung pelbagai jenis boleh panggil. Mengenakan perbandingan kesaksamaan pada semua jenis boleh dipanggil akan membebankan pelaksana. Selain itu, walaupun dilaksanakan, semakan kesaksamaan mungkin akan menjadi sempit, tidak mengambil kira fungsi setara yang dibina secara berbeza.
"Kemungkinan Lubang dalam Sistem Jenis" Penjelasan:
Memadam pengendali == dan != yang terlebih beban menghalang sepenuhnya penggunaannya, memastikan bahawa sebarang percubaan untuk membandingkan fungsi secara tersirat akan mengakibatkan ralat masa kompilasi. Pendekatan ini menghapuskan kemungkinan penukaran tersirat yang tidak disengajakan atau bermasalah.
Perbandingan dengan std::shared_ptr:
Tidak seperti std::function, std::shared_ptr mempunyai baik- semantik kesaksamaan yang ditakrifkan. Dua kejadian shared_ptr dianggap sama jika kedua-duanya kosong atau jika kedua-duanya tidak kosong dan merujuk kepada objek yang sama.
Atas ialah kandungan terperinci Mengapakah `std::function`, `boost::function`, dan `std::tr1::function` tidak Persamaan Sebanding?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!