Adakah Polimorfisme Berfungsi dengan Rujukan Vektor dalam C?

Rujukan Polimorfisme dan Vektor dalam C

Apabila bekerja dengan vektor dan polimorfisme dalam C , seseorang mungkin menghadapi situasi di mana jenis objek yang disimpan adalah penting. Pertimbangkan contoh berikut:

<code class="cpp">struct Instruction { virtual void execute() { } };
struct Add : public Instruction { int a, b, c; Add(int x, int y, int z) { a = x; b = y; c = z; } void execute() { a = b + c; } };

vector<Instruction> v;
Instruction* i = new Add(1, 2, 3);
v.push_back(*i);</code>

Dalam kod ini, vektor objek kelas asas dicipta dan objek kelas terbitan (Tambah) ditolak ke dalam vektor sebagai rujukan. Kebimbangan timbul apabila mengakses fungsi "laksana" pada objek ini:

<code class="cpp">auto ins = v.back();
ins.execute(); // Will the object retain its Add type?</code>

Adakah Polimorfisme Berfungsi?

Tidak, tidak. Vektor menyimpan nilai, bukan rujukan. Oleh itu, apabila objek Tambah ditolak ke dalam vektor, ia akan disalin, menghasilkan objek jenis Arahan, bukan Tambah.

Reference_wrapper

Untuk memastikan polimorfisme kekal utuh, satu pendekatan ialah menggunakan std::reference_wrapper, yang menyimpan rujukan kepada objek dan bukannya objek itu sendiri. Ini boleh dilaksanakan seperti berikut:

<code class="cpp">vector<std::reference_wrapper<Instruction>> ins;</code>

Mencegah Kebocoran Memori

Selain itu, kod memperuntukkan objek Tambah secara dinamik dengan baharu tanpa memadamkannya, menyebabkan kebocoran memori . Untuk membetulkan perkara ini, kod harus menggunakan penunjuk pintar, seperti std::unique_ptr, atau memadamkan objek secara manual sebelum ia keluar dari skop.

Atas ialah kandungan terperinci Adakah Polimorfisme Berfungsi dengan Rujukan Vektor dalam C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!