Bagaimanakah Potongan Templat C Menentukan Pengkhususan Menggunakan Pesanan Separa?

Prosedur Pesanan Separa dalam Potongan Templat

Prosedur pesanan separa menentukan hubungan pengkhususan antara templat fungsi dalam potongan templat C. Ia melibatkan mencipta jenis fungsi yang diubah untuk setiap templat dan menggunakannya sebagai perbandingan.

1. Jenis Fungsi Terubah:
   Untuk setiap templat, jenis fungsi yang diubah dibuat dengan menggantikan unik jenis untuk parameter templat dalam jenis fungsinya.

2. Hujah Pemadanan dan Parameter:
   Jenis fungsi yang diubah bagi satu templat dipadankan dengan templat fungsi asal templat yang lain, menggunakan dua kes berikut:

   • Jenis diubah-1 sebagai templat hujah dan templat-2 asal sebagai templat parameter
   • Jenis-2 diubah sebagai templat hujah dan templat-1 asal sebagai parameter templat
3. Kejayaan Padan dan Susunan:
   Jika potongan jenis berjaya memadankan jenis fungsi yang diubah kepada templat fungsi asal dalam mana-mana kes, satu templat adalah lebih khusus daripada yang lain. Jika padanan yang berjaya berlaku dalam kedua-dua arah, kedua-dua templat tidak lebih khusus.

Contoh:

Pertimbangkan kedua-dua templat fungsi ini:

template<typename T, typename U>
void foo(T, U); // original #1

template<typename T>
void foo(T const*, X<T>); // original #2

Memadankan jenis yang diubah:

• 1b lwn. #2: Potongan jenis tidak boleh sepadan dengan parameter.

• 2b lwn. #1: Potongan jenis boleh sepadan dengan parameter (T = char const*, U = X).

Kesimpulan: Overload #2 lebih khusus daripada #1.

Atas ialah kandungan terperinci Bagaimanakah Potongan Templat C Menentukan Pengkhususan Menggunakan Pesanan Separa?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!