Bagaimanakah CRTP Boleh Digunakan untuk Mencapai Polimorfisme Statik dalam C?

Polymorfisme Statik melalui CRTP

Untuk menghapuskan overhed prestasi yang dikaitkan dengan fungsi ahli maya, C menawarkan CRTP (Curiously Recurring Template Pattern). Teknik ini memudahkan penciptaan antara muka yang ditakrifkan secara statik untuk hierarki jenis, membolehkan penghantaran masa kompilasi.

Pelaksanaan Alternatif

CRTP boleh dimanfaatkan dalam dua cara berbeza :

1. Spesifikasi Antara Muka Statik:

<code class="cpp">template <class Derived>
struct base {
  void foo() {
    static_cast<Derived *>(this)->foo();
  };
};</code>

2. Pendawaian Masa Kompilasi:

<code class="cpp">template <class T>
void bar(base<T> &obj) {
  obj.foo(); // static dispatch
}</code>

Contoh Penggunaan:

Menggunakan pendekatan ini, anda boleh mencipta antara muka yang dihantar secara statik dengan potongan jenis masa kompilasi:

<code class="cpp">struct not_derived_from_base { };

my_type my_instance;
not_derived_from_base invalid_instance;
bar(my_instance); // calls my_instance.foo()
bar(invalid_instance); // compile error (incorrect overload deduction)</code>

Atas ialah kandungan terperinci Bagaimanakah CRTP Boleh Digunakan untuk Mencapai Polimorfisme Statik dalam C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!