Mengapakah Saya Tidak Boleh Menghantar `Bekas` kepada Pembina yang Mengharapkan `Bekas`?

Polimorfisme Templat: Apabila Templat Tidak Cantik

Dalam C , templat menyediakan mekanisme yang berkuasa untuk pengaturcaraan generik. Walau bagaimanapun, terdapat batasan kepada tingkah laku polimorfik mereka. Artikel ini menjawab soalan mengenai kekurangan polimorfisme templat dalam senario tertentu.

Pertanyaan

Seorang pengguna menghadapi ralat "tiada fungsi padanan" semasa memanggil pembina yang mengambil parameter jenis Container&. Pembina ditakrifkan dalam kelas Bar dan pengguna mencipta contoh Container.

Menyelidiki Polimorfisme

Polymorphism membenarkan objek daripada kelas yang berbeza menjadi dianggap sebagai objek kelas asas biasa. Walau bagaimanapun, tingkah laku ini tidak meliputi templat dalam C . Walaupun berasal daripada Antara Muka, Foo tidak secara automatik membuat Container hujah yang sah untuk pembina yang mengharapkan Container.

Bukan Kovarian Templat

Aspek utama di sini ialah kekurangan kovarians templat. Dalam templat kovarian, jenis terbitan secara automatik dianggap sebagai hujah yang sah untuk templat yang menjangkakan jenis asasnya. Walau bagaimanapun, dalam C , templat bukan kovarian.

Akibat Kovarian

Pertimbangkan contoh berikut:

class Fruit {...};
class Apple : public Fruit {...};
class Orange : public Fruit {...};
std::vector<Apple>& apple_vec; // Vector of apples
std::vector<Fruit>& fruit_vec = apple_vec; // Assignment allowed
fruit_vec.push_back(Orange()); // Oops, added an orange to the apple vector!

Seperti yang ditunjukkan oleh penjelasan , templat yang dirawat secara kovarian boleh membawa kepada situasi di mana jenis yang sepatutnya tidak serasi dianggap sebagai serasi, keselamatan jenis melanggar.

Penyelesaian Alternatif

Memandangkan templat kovarian tidak disokong dalam C , penyelesaian alternatif perlu digunakan. Penegasan statik atau kad bebas sempadan (tersedia di Java) boleh digunakan untuk menguatkuasakan perhubungan jenis yang diperlukan. Dalam senario khusus yang disebut dalam pertanyaan, penegasan statik mudah boleh mengesahkan bahawa jenis Bekas yang diluluskan sememangnya merupakan Kontena.

Atas ialah kandungan terperinci Mengapakah Saya Tidak Boleh Menghantar `Bekas` kepada Pembina yang Mengharapkan `Bekas`?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!