Rumah  >  Artikel  >  pembangunan bahagian belakang  >  Mengapa Argumen Templat `std::function` Membawa kepada Kekaburan dalam Resolusi Lebihan?

Mengapa Argumen Templat `std::function` Membawa kepada Kekaburan dalam Resolusi Lebihan?

Barbara Streisand
Barbara Streisandasal
2024-11-06 03:45:02791semak imbas

Why Does `std::function`'s Template Argument Lead to Ambiguity in Overload Resolution?

Kekaburan yang Berada dalam Std::Argumen Templat Fungsi Walaupun Menentukan Jenis

Dalam senario ini, berbilang bebanan wujud untuk fungsi 'a', setiap satu menerima tandatangan berbeza std::function:

  • function
  • function

The kekaburan timbul disebabkan oleh fakta bahawa kedua-duanya berfungsi dan fungsi boleh dibina daripada fungsi yang sama. Pembina fungsi std::, seperti yang ditakrifkan dalam VS2010, membenarkan pembinaan daripada pelbagai sumber:

template<class _Fx>
function(_Fx _Func, typename _Not_integral<!...int>::_Type = 0);

Pada asasnya, sebarang objek boleh ditukar menjadi fungsi std::, memudahkan pemadaman jenis dan membolehkan pengendalian objek sewenang-wenangnya sebagai fungsi.

Untuk menggambarkan lebih lanjut masalah, pertimbangkan contoh mudah berikut:

template<class Signature>
class myfunc{
   public:
      template<class Func>
      myfunc(Func a_func){
          // ...
      }
};

Semasa resolusi beban lampau untuk 'a', jika beban lampau yang berdaya maju tidak dapat dikenal pasti, pengkompil cuba menukar argumen menggunakan sama ada pembina parameter atau operator penukaran argumen. Dalam kes ini, penukaran berlaku melalui pembina myfunc.

Memandangkan pembina myfunc menerima apa-apa, kedua-dua fungsi dan fungsi boleh ditukar kepada myfunc.

Akhirnya, ini mengakibatkan pengkompil tidak dapat menentukan beban berlebihan 'a' yang hendak digunakan, yang membawa kepada kekaburan.

Kepada selesaikan isu ini, anda mempunyai beberapa pilihan:

  1. Kekalkan Cast Eksplisit:
    Pelakon eksplisit boleh menentukan lebihan beban yang diingini untuk pengkompil: a((functionx))
  2. Objek Fungsi:
    Buat objek fungsi jenis yang sesuai: `function fx = x;
    fungsi fy = y;`
  3. Metaprogramming Templat:
    Gunakan metaprogramming templat untuk mendapatkan tandatangan yang betul: `template
    struct get_signature{...};`

Atas ialah kandungan terperinci Mengapa Argumen Templat `std::function` Membawa kepada Kekaburan dalam Resolusi Lebihan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

Kenyataan:
Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn