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

Barbara Streisand
Lepaskan: 2024-10-30 08:23:27
asal
276 orang telah melayarinya

Why Can't I Pass a `Container` to a Constructor Expecting `Container`?

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!
Salin selepas log masuk

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!

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
Artikel terbaru oleh pengarang
Tutorial Popular
Lagi>
Muat turun terkini
Lagi>
kesan web
Kod sumber laman web
Bahan laman web
Templat hujung hadapan
Tentang kita Penafian Sitemap
Laman web PHP Cina:Latihan PHP dalam talian kebajikan awam,Bantu pelajar PHP berkembang dengan cepat!