SFINAE Gagal untuk Fungsi Ahli Templat Kelas
Mekanisme Kegagalan Pengganti, Bukan Ralat (SFINAE), biasanya digunakan dalam pengaturcaraan meta templat, nampaknya mempamerkan tingkah laku yang pelik apabila digunakan pada fungsi ahli templat kelas.
The Masalah
Pertimbangkan coretan kod berikut:
<code class="cpp">#include <type_traits> struct A{}; struct B{}; template <typename T> struct Foo { // Conditional enable bar() for T == A typename std::enable_if<std::is_same<T, A>::value>::type bar() {} // Conditional enable bar() for T == B typename std::enable_if<std::is_same<T, B>::value>::type bar() {} };</code>
Kod ini cuba mentakrifkan dua lebihan bar() dalam templat kelas Foo, dengan SFINAE digunakan untuk mendayakan setiap lebihan beban secara bersyarat berdasarkan nilai T. Walau bagaimanapun, kod tersebut gagal untuk disusun dengan yang berikut ralat:
<code class="cpp">error: 'typename std::enable_if<std::is_same<T, B>::value>::type Foo<T>::bar()' cannot be overloaded</code>
Penjelasan
SFINAE biasanya digunakan untuk mendayakan atau melumpuhkan pengkhususan templat berdasarkan hujah templat. Walau bagaimanapun, SFINAE hanya terpakai pada deduced hujah templat, bermaksud hujah yang disimpulkan secara automatik semasa resolusi lebihan. Dalam kes fungsi ahli, hujah templat tidak disimpulkan tetapi dinyatakan secara eksplisit apabila membuat contoh kelas. Oleh itu, SFINAE tidak boleh digunakan untuk fungsi ahli.
Penyelesaian
Terdapat dua cara utama untuk menangani isu ini:
- Gunakan templat fungsi: Tentukan templat fungsi berasingan untuk setiap beban berlebihan, seperti yang ditunjukkan di bawah:
<code class="cpp">template <typename T> void bar(Foo<T><- A) {} template <typename T> void bar(Foo<T><- B) {}
- Gunakan pengkhususan templat kelas eksplisit: Tentukan templat kelas berasingan untuk setiap lebihan, seperti ditunjukkan di bawah:
<code class="cpp">template <typename> struct Foo; template <> struct Foo<A> { void bar() {} }; template <> struct Foo<B> { void bar() {} };</code>
Atas ialah kandungan terperinci Mengapa SFINAE Gagal untuk Fungsi Ahli Templat Kelas?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

Alat AI Hot

Undress AI Tool
Gambar buka pakaian secara percuma

Undresser.AI Undress
Apl berkuasa AI untuk mencipta foto bogel yang realistik

AI Clothes Remover
Alat AI dalam talian untuk mengeluarkan pakaian daripada foto.

Clothoff.io
Penyingkiran pakaian AI

Video Face Swap
Tukar muka dalam mana-mana video dengan mudah menggunakan alat tukar muka AI percuma kami!

Artikel Panas

Alat panas

Notepad++7.3.1
Editor kod yang mudah digunakan dan percuma

SublimeText3 versi Cina
Versi Cina, sangat mudah digunakan

Hantar Studio 13.0.1
Persekitaran pembangunan bersepadu PHP yang berkuasa

Dreamweaver CS6
Alat pembangunan web visual

SublimeText3 versi Mac
Perisian penyuntingan kod peringkat Tuhan (SublimeText3)

Topik panas

Ya, kelebihan fungsi adalah bentuk polimorfik dalam C, khususnya polimorfisme kompilasi masa. 1. Kelebihan fungsi membolehkan pelbagai fungsi dengan nama yang sama tetapi senarai parameter yang berbeza. 2. Pengkompil memutuskan yang berfungsi untuk memanggil pada masa penyusunan berdasarkan parameter yang disediakan. 3.

C mempunyai dua jenis polimorf utama: polimorfisme kompilasi masa dan polimorfisme jangka masa. 1. Polimorfisme masa kompilasi dilaksanakan melalui fungsi overloading dan templat, memberikan kecekapan yang tinggi tetapi boleh menyebabkan kod kembung. 2. Polimorfisme runtime dilaksanakan melalui fungsi maya dan warisan, memberikan fleksibiliti tetapi overhead prestasi.

Ya, polimorfisme di C sangat berguna. 1) Ia menyediakan fleksibiliti untuk membolehkan penambahan mudah jenis baru; 2) Menggalakkan penggunaan semula kod dan mengurangkan pertindihan; 3) Memudahkan penyelenggaraan, menjadikan kod lebih mudah untuk berkembang dan menyesuaikan diri dengan perubahan. Walaupun terdapat cabaran pengurusan prestasi dan memori, kelebihannya amat penting dalam sistem yang kompleks.

C destructorscanleadtoSeveralCommonerrors.toavoidthem: 1) pencegahandoubledeletionbysettingpointerstonullptrorusingsmartpointers.2)

Polimorfisme dalam C dibahagikan kepada polimorfisme runtime dan polimorfisme kompilasi masa. 1. Polimorfisme runtime dilaksanakan melalui fungsi maya, yang membolehkan kaedah yang betul dipanggil secara dinamik pada masa runtime. 2. Polimorfisme masa kompilasi dilaksanakan melalui fungsi overloading dan templat, memberikan prestasi dan fleksibiliti yang lebih tinggi.

Orang yang belajar python pemindahan ke c kekeliruan yang paling langsung adalah: Mengapa anda tidak boleh menulis seperti python? Kerana C, walaupun sintaks lebih kompleks, menyediakan keupayaan kawalan asas dan kelebihan prestasi. 1. Dari segi struktur sintaks, C menggunakan pendakap kerinting {} dan bukannya lekukan untuk mengatur blok kod, dan jenis pembolehubah mesti diisytiharkan secara eksplisit; 2. Dari segi sistem jenis dan pengurusan ingatan, C tidak mempunyai mekanisme pengumpulan sampah automatik, dan perlu menguruskan memori secara manual dan memberi perhatian kepada melepaskan sumber. Teknologi RAII boleh membantu pengurusan sumber; 3. 4. Dari segi perpustakaan standard, STL menyediakan bekas dan algoritma yang kuat, tetapi perlu menyesuaikan diri dengan idea pengaturcaraan generik; 5

C Polymorphisminkludescompile-time, runtime, andtemplatePolymorphism.1) compile-timePolymorphismusesfunctionandoperatoroveroveroverfiency.2) runtimepolymorphismemplempemplemplorfuntionsflonflexibility.3) TemplatePolymorphismenabenabenabenabenabenaben

C Polymorphismisuniqueduetoitscombinationofcompile-timeandruntimePolymorphism, membolehkanforbotheficiencyandflexibility.toharnessitspowerstylishly: 1) menggunakanmartpointerslikestd :: unik_ptrformemorymanagement, 2)
