Mentakrifkan Concepts dengan requires
Takrifkan concepts tersuai menggunakan ungkapan requires dan kekangan.
Mentakrifkan Concepts dengan requires ialah pelajaran C++ Academy percuma di CoddyKit. Ini ialah pelajaran 2 daripada 4. Sebanyak 3 pelajaran dalam laluan pembelajaran ini boleh dibaca sepenuhnya secara percuma — selepas itu, CoddyKit PRO membuka akses kepada semua pelajaran, serta latihan praktikal dengan penyunting kod terbina dalam dan tutor kecerdasan buatan yang tersedia 24/7. Pelajaran ini merupakan sebahagian daripada laluan pembelajaran C++ Academy, dan kemajuan anda disegerakkan merentas web serta aplikasi CoddyKit. Kursus C++ Academy merangkumi sejumlah 4 pelajaran.
Kata Kunci concept
Isytiharkan konsep dengan template <params> concept Name = expression; Ungkapan tersebut mestilah boolean pada masa kompilasi.
template <typename T>
concept Integer = std::is_integral_v<T>;Menggabungkan Ciri Jenis
Gunakan operator logik untuk menggabungkan ciri menjadi satu konsep.
template <typename T>
concept SignedInteger = std::is_integral_v<T> && std::is_signed_v<T>;Ungkapan requires
Bentuk yang lebih ekspresif: senaraikan operasi yang mesti disokong oleh jenis tersebut.
template <typename T>
concept Addable = requires(T a, T b) {
a + b;
};Keperluan Majmuk
Di dalam requires, anda boleh menentukan jenis hasil dan kekangan tambahan.
template <typename T>
concept Number = requires(T a, T b) {
{ a + b } -> std::convertible_to<T>;
{ a * b } -> std::convertible_to<T>;
};Keperluan Bersarang
Tambahkan requires di dalam ungkapan requires untuk menyertakan konsep bernama.
template <typename T>
concept Sortable = requires(T t) {
{ t.begin() };
{ t.end() };
requires std::movable<typename T::value_type>;
};Keperluan Jenis
Anda boleh mewajibkan sesuatu jenis mempunyai jenis atau alias bersarang tertentu.
template <typename T>
concept HasValueType = requires {
typename T::value_type;
};Menggunakan Konsep dalam Templat
Tiga sintaks:
// 1. Replace typename
template <Integer T>
T increment(T x) { return x + 1; }
// 2. requires after template parameters
template <typename T>
requires Integer<T>
T increment(T x) { return x + 1; }
// 3. requires after function signature
template <typename T>
T increment(T x) requires Integer<T> {
return x + 1;
}Konsep dan Parameter auto
Templat fungsi ringkas juga boleh dikenakan kekangan.
void process(Integer auto x) { std::cout << x; }Berbilang Kekangan
Gabungkan konsep dengan && dan ||.
template <std::integral T, std::integral U>
requires (sizeof(T) >= sizeof(U))
T promote(U value) { return static_cast<T>(value); }Konvensyen Penamaan
Kebanyakan kod menggunakan CamelCase untuk konsep. Sesetengah pustaka menggunakan huruf kecil, selaras dengan pustaka standard. Pilih satu konvensyen dan gunakannya secara konsisten.
Konsep dalam Templat Kelas
Kenakan kekangan pada templat kelas dengan cara yang sama.
template <std::integral T>
class Counter { T value_; /* ... */ };Konsep Boleh Guna Semula
Takrifkan pustaka konsep kecil dan gabungkannya. Konsep yang boleh digunakan semula menjadikan templat menerangkan dirinya sendiri serta mudah diselenggara.
Semakan Pantas
Sintaks yang manakah di dalam ungkapan requires menyemak bahawa hasil a + b boleh ditukar kepada T?
Ringkasan
Takrifkan konsep dengan concept Name = expression. Gunakan ungkapan requires untuk kekangan berasaskan operasi dengan keperluan majmuk, bersarang dan jenis. Gabungkan konsep dengan && dan || untuk menyatakan kekangan yang terperinci.
Pelajari C++ dengan tutor kecerdasan buatan — percuma
Tulis dan jalankan kod sebenar dalam pelayar anda, dapatkan bantuan segera daripada tutor kecerdasan buatan yang tersedia 24/7, dan sambung semula dari tempat anda berhenti di web atau dalam aplikasi.
- Kursus
- 51
- Pelajaran
- 203
Soalan Lazim
Adakah pelajaran “Mentakrifkan Concepts dengan requires” percuma?
Ya — sebanyak 3 pelajaran dalam laluan pembelajaran C++ Academy, termasuk “Mentakrifkan Concepts dengan requires”, boleh dibaca sepenuhnya secara percuma di web ini. Selepas itu, CoddyKit PRO membuka akses kepada semua pelajaran, serta latihan interaktif dengan penyunting kod terbina dalam dan tutor kecerdasan buatan yang tersedia 24/7. Kursus C++ Academy merangkumi sejumlah 4 pelajaran.
Apakah yang akan saya pelajari dalam “Mentakrifkan Concepts dengan requires”?
Takrifkan concepts tersuai menggunakan ungkapan requires dan kekangan. Anda berlatih C++ Academy menggunakan kod praktikal yang dijalankan terus dalam pelayar, manakala tutor kecerdasan buatan 24/7 menjawab soalan anda semasa anda mengikuti pelajaran.
Adakah saya memerlukan pengalaman untuk memulakan C++ Academy?
Tiada pengalaman terdahulu diperlukan. Pembelajaran C++ Academy di CoddyKit disusun untuk pelajar daripada peringkat pemula hingga lanjutan, jadi anda boleh bermula di sini atau dari awal dan belajar mengikut kadar anda sendiri. Ini ialah pelajaran 2 daripada 4.
Berapa lamakah pelajaran “Mentakrifkan Concepts dengan requires” diambil?
Kebanyakan pelajaran CoddyKit mengambil masa kira-kira 5–10 minit. Setiap pelajaran ringkas dan interaktif, jadi anda boleh membuat kemajuan secara berterusan dan menyambung tepat dari tempat anda berhenti di web atau aplikasi.
Bolehkah saya menulis dan menjalankan kod dalam pelajaran C++ Academy ini?
Ya. Setiap pelajaran C++ Academy menyertakan penyunting kod terbina dalam, jadi anda boleh menulis dan menjalankan kod sebenar terus dalam pelayar serta menerima maklum balas kecerdasan buatan serta-merta — tanpa memerlukan persediaan setempat.
Semua pelajaran dalam kursus ini
- Mengapa Concepts berbanding SFINAE
- Mentakrifkan Concepts dengan requires
- Menggunakan Concepts dalam Templat dan auto
- Konsep Piawai Lazim: Integral dan Ranges