C++ Academy · Leçon

Interroger les types

Inspecter les types lors de la compilation

Interroger les types est une leçon C++ Academy gratuite sur CoddyKit. Ceci est la leçon 1 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.

Que sont les caractéristiques de type ?

L’en-tête <type_traits> vous permet de poser des questions sur les types à la compilation. Chaque caractéristique est un modèle qui expose une constante ::value ou un type membre.

is_integral

std::is_integral<T>::value vaut true pour les types entiers comme int et char, et false dans les autres cas.

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::is_integral<int>::value << "\n";
    std::cout << std::is_integral<double>::value << "\n";
    return 0;
}

Le raccourci _v

C++17 a ajouté les modèles de variables _v, ce qui vous permet d’écrire std::is_integral_v<T> au lieu de ::value.

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::is_integral_v<long> << "\n";
    std::cout << std::is_floating_point_v<float> << "\n";
    return 0;
}

Caractéristiques de catégorie

De nombreuses caractéristiques servent à classer les types.

is_pointer
is_reference
is_array
is_class
is_enum

#include <iostream>
#include <type_traits>

struct S {};

int main() {
    std::cout << std::is_pointer_v<int*> << "\n";
    std::cout << std::is_class_v<S> << "\n";
    std::cout << std::is_reference_v<int&> << "\n";
    return 0;
}

Caractéristiques de relation

Certaines caractéristiques comparent deux types.

is_same<A,B>
is_base_of<Base,Derived>
is_convertible<From,To>

#include <iostream>
#include <type_traits>

struct Base {};
struct Derived : Base {};

int main() {
    std::cout << std::is_same_v<int, int> << "\n";
    std::cout << std::is_base_of_v<Base, Derived> << "\n";
    return 0;
}

Caractéristiques de propriété

Les caractéristiques de propriété indiquent les qualificatifs et les capacités.

is_const
is_signed
is_trivially_copyable
is_default_constructible

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::is_const_v<const int> << "\n";
    std::cout << std::is_signed_v<unsigned> << "\n";
    return 0;
}

Utiliser les caractéristiques avec static_assert

Les caractéristiques se combinent parfaitement avec static_assert pour imposer des exigences à la compilation.

#include <type_traits>
#include <iostream>

template <typename T>
T add(T a, T b) {
    static_assert(std::is_arithmetic_v<T>, "T must be a number");
    return a + b;
}

int main() {
    std::cout << add(2, 3) << "\n";
    return 0;
}

Fonctionnement des caractéristiques

Une caractéristique n’est qu’un modèle de structure. Le modèle général hérite de false_type ; une spécialisation correspondant au type recherché hérite de true_type. Le compilateur sélectionne la meilleure correspondance.

integral_constant

Toutes les caractéristiques booléennes dérivent de std::integral_constant. true_type et false_type sont simplement des alias de celui-ci, avec une valeur value égale à true ou false.

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::true_type::value << "\n";
    std::cout << std::false_type::value << "\n";
    return 0;
}

Interroger les types dans les modèles

Les caractéristiques permettent aux modèles de choisir une branche selon le type reçu, ce qui permet d’écrire du code générique qui s’adapte différemment aux types int, float, pointeur ou classe.

Uniquement à la compilation

Les interrogations de caractéristiques ne coûtent rien à l’exécution : elles sont évaluées pendant la compilation. Le résultat est intégré au code généré.

Vérification rapide

Rappelez-vous la syntaxe pratique de C++17.

Récapitulatif

Vous avez appris à interroger les types.

<type_traits> répond aux questions à la compilation
::value ou le raccourci _v renvoie une valeur booléenne
Caractéristiques de catégorie, de relation et de propriété
Associez-les à static_assert pour imposer des contraintes

Questions Fréquemment Posées

La leçon « Interroger les types » est-elle gratuite ?

Oui — le texte complet de « Interroger les types » 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 « Interroger les types » ?

Inspecter les types lors de la compilation 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 1 sur 4.

Combien de temps prend la leçon « Interroger les types » ?

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

← Retour à C++ Academy