C++ Academy · Pelajaran

Spesialisasi Parsial

Spesialisasikan pola template

Spesialisasi Parsial adalah pelajaran C++ Academy gratis di CoddyKit. Ini adalah pelajaran 2 dari 4. Kamu bisa membaca pelajaran lengkapnya di bawah secara gratis — lalu praktikkan langsung di browser dengan editor kode bawaan dan tutor AI 24/7. Ini adalah bagian dari jalur belajar C++ Academy, dan progresmu tersinkronisasi di web dan aplikasi CoddyKit. Kursus C++ Academy mencakup 4 pelajaran total.

Apa Itu Spesialisasi Parsial?

Spesialisasi parsial menyesuaikan templat untuk keluarga tipe yang memiliki pola yang sama, bukan untuk satu tipe yang tepat.

Hanya templat kelas yang mendukungnya.
Anda tetap membiarkan beberapa parameter bersifat generik.

#include <iostream>

template <typename T>
struct Traits { static const char* kind() { return "value"; } };

template <typename T>
struct Traits<T*> { static const char* kind() { return "pointer"; } };

int main() {
    std::cout << Traits<int>::kind() << '\n';
    std::cout << Traits<int*>::kind() << '\n';
    return 0;
}

Mencocokkan Penunjuk

Pola T* mencocokkan tipe penunjuk apa pun, sehingga Anda dapat menangani semua penunjuk dengan satu spesialisasi.

#include <iostream>

template <typename T>
struct Deref { static T get(T v) { return v; } };

template <typename T>
struct Deref<T*> { static T get(T* p) { return *p; } };

int main() {
    int x = 42;
    std::cout << Deref<int>::get(7) << '\n';
    std::cout << Deref<int*>::get(&x) << '\n';
    return 0;
}

Fungsi Tidak Dapat Mengalami Spesialisasi Parsial

Hanya templat kelas dan templat variabel yang mendukung spesialisasi parsial. Untuk fungsi, gunakan pembebanan berlebih.

#include <iostream>

template <typename T>
void show(T) { std::cout << "value\n"; }

template <typename T>
void show(T*) { std::cout << "pointer\n"; }

int main() {
    int x = 0;
    show(5);
    show(&x);
    return 0;
}

Mengkhususkan Salah Satu dari Dua Parameter

Dengan beberapa parameter tipe, Anda dapat menetapkan salah satunya dan membiarkan yang lain terbuka, sehingga mencocokkan pola di antara berbagai tipe.

#include <iostream>

template <typename A, typename B>
struct Pair { static const char* kind() { return "mixed"; } };

template <typename A>
struct Pair<A, A> { static const char* kind() { return "same types"; } };

int main() {
    std::cout << Pair<int, double>::kind() << '\n';
    std::cout << Pair<int, int>::kind() << '\n';
    return 0;
}

Mencocokkan Larik

Anda dapat mencocokkan tipe larik dengan pola yang menangkap tipe elemen dan ukurannya sebagai parameter yang bukan tipe.

#include <iostream>

template <typename T>
struct Info { static int size() { return 1; } };

template <typename T, int N>
struct Info<T[N]> { static int size() { return N; } };

int main() {
    std::cout << Info<int>::size() << '\n';
    std::cout << Info<int[5]>::size() << '\n';
    return 0;
}

Pola Const

Spesialisasi dapat menghapus atau mendeteksi const dengan mencocokkan const T sebagai pola.

#include <iostream>

template <typename T>
struct IsConst { static const bool value = false; };

template <typename T>
struct IsConst<const T> { static const bool value = true; };

int main() {
    std::cout << std::boolalpha;
    std::cout << IsConst<int>::value << '\n';
    std::cout << IsConst<const int>::value << '\n';
    return 0;
}

Yang Paling Terspesialisasi Menang

Jika beberapa spesialisasi dapat cocok, kompilator memilih yang paling terspesialisasi, yaitu pola yang paling spesifik.

#include <iostream>

template <typename T>
struct K { static int v() { return 0; } };

template <typename T>
struct K<T*> { static int v() { return 1; } };

template <>
struct K<int*> { static int v() { return 2; } };

int main() {
    std::cout << K<double*>::v() << ' ' << K<int*>::v() << '\n';
    return 0;
}

Pola Referensi

Anda juga dapat mencocokkan tipe referensi, sehingga dapat membedakan referensi dari nilai biasa.

#include <iostream>

template <typename T>
struct Cat { static const char* k() { return "value"; } };

template <typename T>
struct Cat<T&> { static const char* k() { return "lvalue ref"; } };

int main() {
    std::cout << Cat<int>::k() << '\n';
    std::cout << Cat<int&>::k() << '\n';
    return 0;
}

Membangun Sifat Tipe

Spesialisasi parsial adalah mesin di balik sifat tipe. Berikut remove_pointer yang dibuat secara manual.

#include <iostream>
#include <type_traits>

template <typename T>
struct RemovePtr { using type = T; };

template <typename T>
struct RemovePtr<T*> { using type = T; };

int main() {
    std::cout << std::boolalpha;
    std::cout << std::is_same<RemovePtr<int*>::type, int>::value << '\n';
    return 0;
}

Menggabungkan Pola

Anda dapat mencampur pola, misalnya mencocokkan penunjuk ke const, untuk menangani struktur tipe berlapis.

#include <iostream>

template <typename T>
struct Desc { static const char* k() { return "plain"; } };

template <typename T>
struct Desc<const T*> { static const char* k() { return "ptr to const"; } };

int main() {
    std::cout << Desc<int>::k() << '\n';
    std::cout << Desc<const int*>::k() << '\n';
    return 0;
}

Sifat Wadah yang Praktis

Gunakan spesialisasi parsial untuk mengambil tipe elemen dari templat yang menyerupai wadah.

#include <iostream>
#include <type_traits>

template <typename C>
struct Element { using type = void; };

template <template <typename> class C, typename T>
struct Element<C<T>> { using type = T; };

template <typename T>
struct Box { T item; };

int main() {
    std::cout << std::boolalpha;
    std::cout << std::is_same<Element<Box<int>>::type, int>::value << '\n';
    return 0;
}

Pemeriksaan Singkat

Uji pemahaman Anda tentang spesialisasi parsial.

Rangkuman

Anda telah mempelajari spesialisasi parsial:

menyesuaikan templat kelas untuk sebuah pola tipe seperti T* atau const T
fungsi menggunakan pembebanan berlebih, bukan spesialisasi parsial
versi yang paling terspesialisasi di antara yang cocok akan dipilih
menjadi dasar bagi sifat tipe seperti remove_pointer

Selanjutnya, Anda akan mempelajari SFINAE, yaitu cara mengaktifkan fungsi hanya ketika suatu tipe memenuhi syarat.

Pertanyaan yang Sering Diajukan

Apakah pelajaran “Spesialisasi Parsial” gratis?

Ya — teks lengkap “Spesialisasi Parsial” gratis dibaca di sini di web. Untuk praktiknya secara interaktif (editor kode bawaan dan tutor AI 24/7) dan buka sisa kursus C++ Academy, upgrade ke CoddyKit PRO. Kursus C++ Academy mencakup 4 pelajaran total.

Apa yang akan aku pelajari di “Spesialisasi Parsial”?

Spesialisasikan pola template Kamu berlatih C++ Academy dengan kode praktik yang langsung kamu jalankan di browser, dan tutor AI 24/7 menjawab pertanyaanmu saat kamu mengerjakan pelajaran ini.

Apakah aku perlu pengalaman untuk memulai C++ Academy?

Tidak diperlukan pengalaman sebelumnya. C++ Academy di CoddyKit dirancang untuk pemula hingga pelajar tingkat lanjut, jadi kamu bisa memulai di sini atau dari awal dan belajar sesuai kecepatan kamu sendiri. Ini adalah pelajaran 2 dari 4.

Berapa lama pelajaran “Spesialisasi Parsial” memakan waktu?

Sebagian besar pelajaran CoddyKit memakan waktu sekitar 5–10 menit. Setiap pelajaran ringkas dan interaktif, jadi kamu membuat kemajuan stabil dan melanjutkan dari tempat kamu tinggalkan di web dan aplikasi.

Bisakah aku menulis dan menjalankan kode dalam pelajaran C++ Academy ini?

Ya. Setiap pelajaran C++ Academy menyertakan editor kode bawaan, jadi kamu menulis dan menjalankan kode nyata langsung di browser dan mendapatkan umpan balik AI instan — tidak diperlukan penyiapan lokal.

Semua pelajaran dalam kursus ini

← Kembali ke C++ Academy