Mengapa Resolusi Lebihan Muatan Gagal dengan Penukaran Tersirat kepada `std::string` dalam C ?

Kegagalan Resolusi Lebihan dengan Penukaran Tersirat

Apabila cuba menstrim objek menggunakan penukaran tersirat kepada rentetan, kegagalan resolusi beban lampau boleh berlaku. Ini digambarkan oleh kod berikut, yang mentakrifkan struct dengan penukaran tersirat kepada rentetan dan fungsi untuk menstrim objek ke output standard:

<code class="cpp">#include <string>
#include <ostream>
#include <iostream>

struct NameType {
   operator std::string() { return "wobble"; }
};

struct Person {
   NameType name;
};

int main() {
   std::cout << std::string("bobble");
   std::cout << "wibble";

   Person p;
   std::cout << p.name;
}</code>

Apabila disusun dengan GCC 4.3.4, kod ini menghasilkan ralat berikut:

prog.cpp:18: error: no match for ‘operator<<’ in ‘std::cout << p.Person::name’

Ralat ini berlaku kerana operator fungsi bebas<<(ostream&, string const&) tidak dipertimbangkan dalam set lebihan. Ini disebabkan oleh gabungan lebihan beban yang diingini sebagai instantiasi templat dan ADL (Argument Dependent Lookup).

C 98 seksyen standard 14.8.1/4 menyatakan bahawa penukaran tersirat dilakukan pada argumen fungsi untuk menukarnya kepada jenis parameter fungsi yang sepadan hanya jika jenis parameter tidak mengandungi parameter templat yang mengambil bahagian dalam potongan hujah templat. Dalam kes ini, semua argumen kepada beban lampau yang diingini mengandungi parameter templat yang mengambil bahagian dalam potongan hujah templat, jadi tiada seorang pun daripada mereka boleh mendapatkan nilainya daripada penukaran tersirat.

Oleh itu, resolusi beban lampau gagal dan ralat dilaporkan.

Atas ialah kandungan terperinci Mengapa Resolusi Lebihan Muatan Gagal dengan Penukaran Tersirat kepada `std::string` dalam C ?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!