Pengkhususan Separa Ahli Kelas Templat
Adakah mungkin untuk mengkhususkan ahli tertentu kelas templat? Contohnya:
<code class="cpp">template <typename T, bool B> struct X { void Specialized(); }; template <typename T> void X<T, true>::Specialized() { // ... } template <typename T> void X<T, false>::Specialized() { // ... }</code>
Jawapan:
Pengkhususan separa langsung fungsi ahli dalam templat kelas tidak dibenarkan. Walau bagaimanapun, pengkhususan penuh boleh disediakan:
<code class="cpp">template <> void X<int, true>::Specialized() { // ... }</code>
Penyelesaian:
1. Fungsi Terlebih Beban:
Dengan memperkenalkan lebihan fungsi ahli, anda boleh mencapai kesan yang sama sambil mengekalkan akses kepada ahli kelas:
<code class="cpp">template <typename T, bool B> struct X { void Specialized() { SpecializedImpl(i2t<B>()); } private: void SpecializedImpl(i2t<true>) { // ... } void SpecializedImpl(i2t<false>) { // ... } };</code>
2. Menangguhkan kepada Templat Kelas:
Pilihan lain ialah mentakrifkan templat kelas yang berasingan untuk pelaksanaan khusus:
<code class="cpp">template <typename T, bool B> void X::Specialized() { SpecializedImpl<T, B>::call(); }</code>
3. SpecializedImpl for Function Overloading:
Pendekatan ini mencontohi pendekatan i2t tetapi membenarkan pengkhususan parameter sewenang-wenangnya:
<code class="cpp">template <typename T, bool B> struct X { void Specialized() { Specialized(SpecializedImpl<T, B>()); } private: template <typename U> void Specialized(SpecializedImpl<U, true>) { // ... } template <typename U> void Specialized(SpecializedImpl<U, false>) { // ... } };</code>
Kesimpulan:
Walaupun pengkhususan separa langsung fungsi ahli tidak mungkin, penyelesaian ini menyediakan alternatif yang berkesan untuk mencapai fungsi yang serupa. Pilihan pendekatan bergantung pada keperluan dan pilihan khusus pembangun.
Atas ialah kandungan terperinci Bolehkah Fungsi Ahli Kelas Templat Dikhususkan Separa?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!