Mengapa Saya Tidak Boleh Membandingkan Objek `std::function` untuk Kesamaan?

The Enigma Behind std::function's Non-Equality Comparability

std::function merangkum objek boleh panggil sewenang-wenangnya, memberikan cabaran unik untuk perbandingan kesaksamaan. Melaksanakan perbandingan sedemikian akan memerlukan kesamarataan perbandingan untuk semua jenis boleh dipanggil, yang akan mengenakan beban yang besar kepada pelaksana. Selain itu, kefungsian yang sama boleh menghasilkan perbandingan yang tidak sama berdasarkan susunan pengikat hujah yang berbeza. Oleh itu, tugas mustahil untuk menjamin kesetaraan dalam semua kes melarang kesamarataan perbandingan.

"Kemungkinan lubang dalam sistem jenis" yang disebut dalam draf C 11 berkemungkinan merujuk kepada kekaburan yang wujud dalam penukaran tersirat. Memadamkan pengendali kesaksamaan dan memaksa penggunaan eksplisit memastikan ketiadaan kod sah yang dijana daripada seruan mereka.

Tidak seperti std::function, std::shared_ptr mempunyai semantik kesamaan yang jelas. Dua penunjuk adalah sama tepat apabila kedua-duanya kosong atau kedua-duanya merujuk kepada objek yang sama. Tingkah laku yang ditakrifkan dengan baik ini membolehkan perbandingan kesaksamaan yang jelas dan bermakna.

Atas ialah kandungan terperinci Mengapa Saya Tidak Boleh Membandingkan Objek `std::function` untuk Kesamaan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!