Jenis mekanisme potongan templat fungsi C++

PHPz
Lepaskan: 2024-04-13 21:09:02
asal
731 orang telah melayarinya

Templat fungsi membuat kesimpulan jenis dan jenis pulangan pada masa penyusunan melalui mekanisme inferens jenis, membolehkan penciptaan fungsi atau kelas generik dengan jenis parameter yang berbeza. Peraturan terbitan jenis termasuk: pemajuan sempurna: parameter templat dihantar terus daripada jenis parameter dalam prototaip fungsi inferens parameter templat: pengkompil membuat kesimpulan jenis parameter templat daripada jenis parameter, bermula daripada jenis parameter yang paling spesifik.

C++ 函数模板的类型推导机制

Mekanisme terbitan jenis templat fungsi C++

Apakah templat fungsi? Bagaimanakah saya boleh mencapai potongan jenis untuk templat fungsi semasa penyusunan supaya pengkompil secara automatik boleh menyimpulkan jenis pulangan dan jenis lain berdasarkan jenis parameter apabila menghidupkan fungsi templat?

Mekanisme Templat

Templat ialah Konstruk pengaturcaraan yang membenarkan penciptaan set fungsi atau kelas biasa yang boleh digunakan untuk berbilang jenis data. Dengan menggunakan sintaks yang sesuai, kita boleh menggunakan parameter jenis semasa menulis fungsi atau kelas dan kemudian memanggil templat dengan jenis parameter yang berbeza.

Inferens jenis

Inferens jenis merujuk kepada proses membuat kesimpulan secara automatik jenis pulangan atau jenis lain daripada jenis parameter fungsi. Dalam templat fungsi, jenis yang tidak diketahui ditentukan menggunakan parameter templat, dan pengkompil menyimpulkan jenis yang tidak diketahui ini dengan menganalisis jenis parameter dalam panggilan templat.

Peraturan Potongan

Jenis potongan mengikut peraturan berikut:

  1. Sempurna Ke Hadapan: Jika parameter templat muncul dalam jenis parameter fungsi prototaip fungsi, jenisnya akan dihantar terus kepada jenis parameter yang dipanggil yang sepadan. fungsi.
  2. Inferens parameter templat: Jika parameter templat muncul dalam jenis pemulangan atau jenis lain prototaip fungsi, pengkompil akan cuba membuat kesimpulan jenisnya daripada jenis parameter fungsi. Ia menggunakan langkah berikut:

    • Mulakan dengan jenis parameter yang paling khusus dan cari jenis yang sepadan dengan parameter templat.
    • Jika padanan ditemui, jenis parameter templat disimpulkan.
    • Jika tiada padanan ditemui, pengkompil akan melaporkan ralat.

Kes praktikal

Pertimbangkan templat fungsi berikut:

template <typename T>
T sum(T a, T b) {
    return a + b;
}
Salin selepas log masuk

Apabila kita memanggil fungsi templat ini, pengkompil akan membuat kesimpulan jenis T berdasarkan jenis parameter. Contohnya: T 的类型。例如:

int x = sum(10, 20);  // T 被推断为 int
Salin selepas log masuk

在这个示例中,T 被推断为 int,因为两个参数都是 int 类型。因此,该函数返回一个 intrrreee

Dalam contoh ini, T disimpulkan sebagai int kerana kedua-dua parameter adalah daripada jenis int. Oleh itu, fungsi mengembalikan int.

Nota

Terdapat beberapa perkara yang perlu diberi perhatian semasa melakukan terbitan jenis:
  • Jenis yang disimpulkan mesti sepadan dengan kekangan parameter templat.
  • Tidak boleh membuat kesimpulan jenis daripada senarai parameter kosong.
  • Apabila parameter templat muncul dalam jenis pemulangan dan jenis parameter, peraturan terbitan menjadi lebih kompleks.
🎜

Atas ialah kandungan terperinci Jenis mekanisme potongan templat fungsi C++. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

Label berkaitan:
sumber:php.cn
Kenyataan Laman Web ini
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
Tutorial Popular
Lagi>
Muat turun terkini
Lagi>
kesan web
Kod sumber laman web
Bahan laman web
Templat hujung hadapan