Réponse.

Historique de la question :

C++ a été développé sur la base de C, qui offrait un petit ensemble de types intégrés : nombres, caractères, tableaux. Avec l'évolution du langage, des concepts tels que les structures, les classes, les énumérations ont été ajoutés - ils sont devenus des types définis par l'utilisateur.

Problème :

Le type de données dans un programme détermine combien de mémoire sera occupée par une variable, comment elle sera initialisée, copiée, détruite, comparée, etc. Les types intégrés ont un comportement défini par la norme, tandis que les types définis par l'utilisateur nécessitent une description explicite de tous les aspects. Les erreurs dans la gestion des types définis par l'utilisateur peuvent entraîner des défaillances, des fuites, des comparaisons injustes d'objets, etc.

Solution :

Les types intégrés sont int, float, double, char, bool et autres "primitifs". Les types définis par l'utilisateur sont toutes les structures, classes, unions que vous créez. Pour des tâches complexes, il est nécessaire d'intégrer des types définis par l'utilisateur avec une sémantique correcte de copie, de comparaison et de gestion des ressources.

Exemple de code :

// Type intégré
int x = 5;

// Type défini par l'utilisateur
struct Point {
    double x, y;
};
Point a = {1.0, 2.0};

// Classe avec des ressources
class MyFile {
public:
    MyFile(const std::string& fn) : f(fopen(fn.c_str(), "r")) {}
    ~MyFile() { if (f) fclose(f); }
private:
    FILE* f;
};

Caractéristiques clés :

• Types intégrés : rapides, copies triviales, taille et comportement connus.
• Types définis par l'utilisateur : nécessaires pour décrire des entités complexes, peuvent gérer des ressources, nécessitent l'implémentation de constructeurs et de destructeurs.
• Contrôle de la sémantique des opérations (+, =, ==), des conversions et d'autres aspects du comportement.

Questions piégeuses.

Les types définis par l'utilisateur peuvent-ils se comporter complètement comme des types intégrés (par exemple, être comparés via == "par défaut") ?

Non, la comparaison == fonctionne par défaut uniquement à partir de C++20 via defaulted operator==, avant cela, une définition explicite était nécessaire.

Est-il possible de ne pas implémenter le constructeur de copie et le destructeur si la classe contient uniquement un pointeur brut (int, FILE, etc.) ?**

Non, dans ce cas, la copie par défaut sera "superficielle", ce qui entraînera des fuites ou une double libération de mémoire/ressource. Il est nécessaire de mettre en œuvre la "Règle des Cinq".

La valeur d'une structure sera-t-elle initialisée à zéro par défaut (Point p;)?

Non, une structure locale peut être non initialisée, le contenu de la mémoire est aléatoire. Utilisez une initialisation explicite.

Erreurs typiques et anti-patrons

• Négliger l'initialisation explicite des types définis par l'utilisateur.
• Ne pas implémenter de destructeur et de constructeur de copie pour les classes avec mémoire dynamique.
• Essayer de gérer des ressources via des types intégrés (par exemple, pointeurs bruts).

Exemple de la vie réelle

Cas négatif :

Une classe enveloppeun fichier n'a pas implémenté de destructeur. Le programme fonctionnait jusqu'à ce qu'il commence à traiter des milliers de fichiers sans fermer les descripteurs.

Avantages : moins de code, aspect simplifié. Inconvénients : fuites de ressources, comportement instable.

Cas positif :

La classe implémente RAII - le fichier est ouvert dans le constructeur, fermé dans le destructeur, la copie est interdite.

Avantages : fiabilité, sécurité, interface claire. Inconvénients : nécessité de se souvenir de la "règle des cinq" et d'écrire plus de code.