Pengkhususan separa dan instantiasi eksplisit templat fungsi C++

WBOY
Lepaskan: 2024-04-15 16:00:02
asal
393 orang telah melayarinya

Templat fungsi C++ menyediakan pengkhususan separa dan instantiasi eksplisit untuk mencapai pelaksanaan tersuai bagi jenis khas. Pengkhususan separa: Membenarkan pelaksanaan tersuai disediakan untuk jenis tertentu, diutamakan daripada pelaksanaan generik. Instalasi eksplisit: Memaksa penciptaan pelaksanaan jenis tertentu pada masa penyusunan, meningkatkan kecekapan masa jalan.

C++ 函数模板的偏特化和显式实例化

Pengkhususan separa dan instantiasi eksplisit templat fungsi C++

Dalam C++, templat fungsi boleh mentakrifkan fungsi umum yang boleh digunakan untuk jenis data yang berbeza. Dalam sesetengah kes, pelaksanaan yang berbeza bagi jenis fungsi tertentu mungkin diperlukan. Ini boleh dicapai melalui pengkhususan separa dan instantiasi eksplisit templat fungsi.

Pengkhususan separa

Pengkhususan separa membolehkan untuk menyediakan pelaksanaan alternatif untuk parameter jenis tertentu templat fungsi. Sintaksnya adalah seperti berikut:

template <typename T>
void my_function(T a, T b);

template <>
void my_function(int a, int b) {
  // 特定的实现
}
Salin selepas log masuk

Dalam contoh ini, fungsi my_function dikhususkan sebahagiannya untuk mengendalikan parameter jenis int. Apabila ia dipanggil, pelaksanaan jenis int akan digunakan dan bukannya pelaksanaan generik. my_function 函数被偏特化为处理 int 类型的参数。当它被调用时,int 类型的实现将会被使用,而不是通用实现。

显式实例化

显式实例化可以强制在编译时创建函数模板的特定实现。语法如下:

template class my_function<int>;
Salin selepas log masuk

当这个实例化被放在编译单元中时,my_function 函数的 int 类型版本将会被立即实现,而不是在第一次调用时。这可以提高运行时效率,但会增加编译时间。

实战案例

考虑一个计算两个数字最大值的 max 函数。通用实现如下:

template <typename T>
T max(T a, T b) {
  return (a > b) ? a : b;
}
Salin selepas log masuk

但是,对于 int 类型,我们可以提供一个更快的实现,使用汇编指令来直接比较寄存器:

template <>
int max(int a, int b) {
  int result;
  asm("movl %1, %%eax\n\tcmp %2, %%eax\n\tmovg %%eax, %0\n\tmovl %2, %%eax\n\tmovng %%eax, %0"
      : "=m"(result)
      : "g"(a), "g"(b));
  return result;
}
Salin selepas log masuk

要使用这个特定的实现,我们需要显式地实例化它:

template class max<int>;
Salin selepas log masuk

现在,当 max 函数被调用时,它将使用特定的 int 类型实现,从而提高其在处理 int

🎜Semerta Eksplisit🎜🎜🎜Semerta eksplisit boleh memaksa pelaksanaan khusus templat fungsi dibuat pada masa penyusunan. Sintaksnya adalah seperti berikut: 🎜rrreee🎜Apabila instantiasi ini diletakkan dalam unit kompilasi, versi jenis int bagi fungsi my_function akan dilaksanakan serta-merta, bukannya yang pertama. masa apabila dipanggil. Ini meningkatkan kecekapan masa jalan tetapi meningkatkan masa penyusunan. 🎜🎜🎜Kes Praktikal🎜🎜🎜Pertimbangkan fungsi maks yang mengira nilai maksimum dua nombor. Pelaksanaan generik adalah seperti berikut: 🎜rrreee🎜 Walau bagaimanapun, untuk jenis int kami boleh menyediakan pelaksanaan yang lebih pantas yang menggunakan arahan pemasangan untuk membandingkan daftar secara langsung: 🎜rrreee🎜Untuk menggunakan pelaksanaan khusus ini, kami perlu secara eksplisit Buat seketika seperti ini: 🎜rrreee🎜Sekarang, apabila fungsi max dipanggil, ia akan menggunakan pelaksanaan jenis int tertentu, sekali gus meningkatkan keupayaannya untuk mengendalikan int jenis kecekapan data. 🎜

Atas ialah kandungan terperinci Pengkhususan separa dan instantiasi eksplisit templat fungsi C++. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

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