Utiliser les concepts dans les modèles et avec auto
Contraindre les modèles de fonctions et les modèles de fonctions abrégés avec des concepts
Utiliser les concepts dans les modèles et avec auto est une leçon C++ Academy gratuite sur CoddyKit. Ceci est la leçon 3 sur 4. Tu peux lire la leçon complète ci-dessous gratuitement — puis la pratiquer en direct dans le navigateur avec un éditeur de code intégré et un tuteur IA 24/7. Elle fait partie du parcours d'apprentissage C++ Academy, et ta progression se synchronise sur le web et l'application CoddyKit. Le cours C++ Academy comprend 4 leçons au total.
Récapitulatif des trois syntaxes
Vous pouvez appliquer un concept de trois façons : comme préfixe d’un paramètre de modèle, comme clause requires ou avec la syntaxe abrégée des modèles de fonction.
Syntaxe avec préfixe
Remplacez typename par le nom du concept.
template <std::integral T>
T add(T a, T b) { return a + b; }Syntaxe de la clause de contrainte
Ajoutez requires après la liste des paramètres du modèle. C’est la forme la plus flexible : elle prend en charge les conditions complexes.
template <typename T>
requires std::integral<T> || std::floating_point<T>
T add(T a, T b) { return a + b; }Clause de contrainte finale
Placez requires après la signature de la fonction, ce qui est utile dans les fonctions membres lorsque la contrainte dépend des paramètres.
template <typename T>
class Container {
public:
void sort() requires std::sortable<T> { /* ... */ }
};Modèles de fonction abrégés
Utilisez auto dans les paramètres et imposez-lui une contrainte. Le compilateur génère le modèle en coulisses.
void greet(std::convertible_to<std::string> auto name) {
std::cout << "Hello " << name;
}Plusieurs paramètres automatiques
Chaque auto peut avoir son propre concept. Chaque auto crée un paramètre de modèle indépendant.
auto multiply(std::integral auto a, std::integral auto b) {
return a * b;
}Concepts avec les modèles de classe
Les trois mêmes syntaxes s’appliquent.
template <std::movable T>
class Buffer { /* ... */ };
template <typename T>
requires std::default_initializable<T>
class Storage { /* ... */ };Lambdas contraintes (C++20)
Les lambdas peuvent avoir des paramètres de modèle explicites avec des concepts.
auto print = []<std::integral T>(T x) {
std::cout << x << " is integral";
};
print(42);Résolution de surcharge fondée sur les concepts
Le compilateur choisit la surcharge la plus contrainte parmi celles qui correspondent. Les concepts les plus spécifiques l’emportent sur les moins spécifiques.
void process(std::integral auto x) { std::cout << "int\n"; }
void process(std::signed_integral auto x) { std::cout << "signed\n"; }
process(42); // calls signed_integral versionFonctions membres contraintes
Les membres d’un modèle de classe peuvent avoir leurs propres contraintes.
template <typename T>
class Optional {
T value_;
public:
void clear() requires std::is_trivially_destructible_v<T> { /* fast */ }
void clear() { /* general */ }
};Types contraints initialisés par défaut
Combinez requires avec des valeurs par défaut pour écrire des modèles clairs, qui expriment leur intention.
Guide de style
Utilisez la syntaxe avec préfixe dans les cas courants. Passez à requires lorsque les contraintes sont complexes ou concernent plusieurs types. Utilisez les modèles de fonction abrégés pour les fonctions courtes et ciblées.
Vérification rapide
Quelle est la syntaxe d’un modèle de fonction abrégé pour « une fonction qui accepte n’importe quelle valeur entière » ?
Récapitulatif
Appliquez les concepts comme préfixes, dans des clauses requires ou dans des modèles de fonction abrégés. La surcharge correspondante la plus contrainte est sélectionnée. Utilisez la syntaxe la plus claire pour le cas considéré : préfixe pour les cas simples, requires pour les cas complexes et syntaxe abrégée pour les fonctions courtes.
Questions Fréquemment Posées
La leçon « Utiliser les concepts dans les modèles et avec auto » est-elle gratuite ?
Oui — le texte complet de « Utiliser les concepts dans les modèles et avec auto » est gratuit à lire ici sur le web. Pour la pratiquer de manière interactive (un éditeur de code intégré et un tuteur IA 24/7) et déverrouiller le reste du cours C++ Academy, passe à CoddyKit PRO. Le cours C++ Academy comprend 4 leçons au total.
Qu'est-ce que j'apprendrai dans « Utiliser les concepts dans les modèles et avec auto » ?
Contraindre les modèles de fonctions et les modèles de fonctions abrégés avec des concepts Tu pratiques C++ Academy avec du code pratique que tu exécutes directement dans le navigateur, et un tuteur IA 24/7 répond à tes questions au fur et à mesure que tu avances dans la leçon.
Dois-je avoir de l'expérience pour commencer C++ Academy ?
Aucune expérience préalable n'est requise. C++ Academy sur CoddyKit est structuré pour les débutants jusqu'aux apprenants avancés, donc tu peux commencer ici ou depuis le début et avancer à ton rythme. Ceci est la leçon 3 sur 4.
Combien de temps prend la leçon « Utiliser les concepts dans les modèles et avec auto » ?
La plupart des leçons CoddyKit prennent environ 5–10 minutes. Chacune est courte et interactive, tu progresses régulièrement et tu repiques exactement où tu t'es arrêté sur le web et l'app.
Peux-tu écrire et exécuter du code dans cette leçon C++ Academy ?
Oui. Chaque leçon C++ Academy inclut un éditeur de code intégré, tu écris et exécutes du vrai code directement dans ton navigateur et tu reçois des retours IA instantanés — aucune configuration locale requise.
Toutes les leçons de ce cours
- Pourquoi préférer les concepts à SFINAE
- Définir des concepts avec requires
- Utiliser les concepts dans les modèles et avec auto
- Concepts standard courants : integral et Ranges