Mengapa Penukaran Jenis Tersirat Gagal dalam Potongan Hujah Templat?

Penukaran Jenis Tersirat dan Potongan Templat

Dalam C , potongan hujah templat ialah mekanisme yang membenarkan parameter jenis disimpulkan secara automatik berdasarkan hujah fungsi. Walau bagaimanapun, terdapat had untuk penukaran jenis tersirat dalam potongan templat.

Pertimbangkan coretan kod berikut:

<code class="cpp">#include<iostream>
using namespace std;

template<typename Dtype>
class Scalar{
public:
  Scalar(Dtype v) : value_(v){}
private:
  Dtype value_;
};

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

int main(){
  int a = 1;
  func(a, 2); // error: no matching function for call to ‘func(int&, int)’
  return 0;
}

Di sini, matlamatnya adalah untuk memanggil fungsi templat func() dengan integer a dan Skalar yang ditukar secara tersirat objek 2. Walau bagaimanapun, ini mengakibatkan ralat penyusunan. Mengapa ini?

Memahami Ralat

Pengkompil gagal melakukan potongan hujah templat kerana:

• Penukaran jenis tersirat tidak dipertimbangkan semasa potongan hujah templat.
• Penukaran daripada int kepada Skalar ialah penukaran yang ditentukan pengguna, yang tidak diiktiraf oleh pengkompil semasa potongan.

Pilihan Penyelesaian

Untuk menyelesaikan isu ini, beberapa pendekatan boleh diambil :

• Penukaran Eksplisit di Tapak Pemanggil:
  Tukar hujah secara manual di tapak pemanggil:

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

• Panduan Potongan (C 17 ):
  Takrifkan panduan potongan untuk Skalar dan panggil func() sebagai:

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

• Eksplisit Instantiation Templat (Hanya jika Scalar Pembina tidak Eksplisit):
  Templat func() secara eksplisit untuk parameter jenis yang diingini:

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

Kesimpulan

Potongan hujah templat dalam C ialah mekanisme yang berkuasa, tetapi ia mempunyai had apabila berurusan dengan penukaran yang ditentukan pengguna. Dengan menggunakan penyelesaian yang dibincangkan, pembangun boleh memastikan bahawa fungsi templat dipanggil dengan parameter jenis yang dimaksudkan.

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