Mengapa Potongan Hujah Templat Gagal dengan Penukaran Jenis Tersirat dalam C ?

Potongan Argumen Templat dan Penukaran Jenis Tersirat

Dalam C , potongan hujah templat ialah ciri berkuasa yang secara automatik menentukan jenis parameter templat berdasarkan atas hujah si pemanggil. Walau bagaimanapun, jenis penukaran tertentu tidak dipertimbangkan semasa potongan, termasuk penukaran yang ditentukan pengguna.

Masalah dengan Penukaran Tersirat

Pertimbangkan coretan kod berikut:

<code class="cpp">template<typename Dtype>
class Scalar{
    Scalar(Dtype v) : value_(v){}
private:
    Dtype value_;
};</code>

Kelas Skalar mewakili jenis nilai mudah. Sekarang, pertimbangkan fungsi templat berikut:

<code class="cpp">template<typename Dtype>
void func(int a, Scalar<Dtype> b){ 
    cout << "ok" <<endl;
}</code>

Fungsi ini mengambil int dan Skalar objek sebagai hujah.

Dalam fungsi utama berikut, kami cuba memanggil func dengan nilai int dan int:

<code class="cpp">int main(){
    int a = 1;
    func(a, 2); // ERROR: template argument deduction fails
    return 0;
}</code>

Tetapi ini mengakibatkan ralat penyusunan, menyatakan bahawa templat potongan hujah gagal. Ini kerana pengkompil tidak boleh menukar nilai int 2 secara automatik kepada Skalar objek. Penukaran yang ditakrifkan pengguna, seperti Scalar::Scalar(nilai Dtype), tidak diambil kira semasa potongan hujah templat.

Penyelesaian Kemungkinan

Untuk membetulkan isu ini, anda mempunyai beberapa pilihan:

• Penukaran Eksplisit di Tapak Pemanggil:

  <code class="cpp">func(a, Scalar<int>(2));</code>

  Ini secara manual menukar nilai int kepada Skalar< ;int> objek sebelum menghantarnya ke func.

• Panduan Potongan: (C 17 sahaja)
  Tambah panduan potongan untuk Skalar:

  <code class="cpp">template<typename T>
  Scalar(T v) -> Scalar<T>;</code>

  Ini memberitahu pengkompil untuk memilih panduan potongan ini apabila menyimpulkan jenis Skalar daripada hujah pemanggil, membolehkan anda memanggil func sebagai:

  <code class="cpp">func(a, 2);</code>

• Semerta Eksplisit:
  Anda boleh membuat instantiat func secara eksplisit untuk jenis tertentu:

  <code class="cpp">func<int>(a, 2);</code>

  Ini memaksa pengkompil untuk membuat instantiate fungsi dengan Dtype = int, mengelakkan keperluan untuk potongan hujah templat.

Atas ialah kandungan terperinci Mengapa Potongan Hujah Templat Gagal dengan Penukaran Jenis Tersirat dalam C ?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!