Introduction à la conception objet et à C++

Le but de ce premier chapitre est d'introduire la notion même de conception objet, d'un point de vue théorique. Ce chapitre n'a pas la prétention d'expliquer en détail ce type de conception, mais se propose d'en rappeler les idées maîtresses en préambule à l'étude du langage C++. Le chapitre est très largement inspiré de [Mey 91] et [Gau 96] auquel le lecteur pourra se reporter pour plus de précisions. La philosophie du langage C++, comme celle des autres langages à objets, est en effet directement inspirée de ce type de conception.

La conception par objet trouve ses fondements dans une réflexion menée autour de la vie du logiciel. D'une part, le développement de logiciels de plus en plus importants nécessite l'utilisation de règles permettant d'assurer une certaine qualité de réalisation. D'autre part, la réalisation même de logiciel est composée de plusieurs phases, dont le développement ne constitue que la première partie. Elle est suivie dans la plupart des cas d'une phase dite de maintenance qui consiste à corriger le logiciel et à le faire évoluer. On estime que cette dernière phase représente 70 % du coût total d'un logiciel [Mey 91], ce qui exige plus encore que la phase de développement de produire du logiciel de qualité.

La conception objet est issue des réflexions effectuées autour de cette qualité. Celle-ci peut-être atteinte à travers certains critères :

• la correction ou la validité : c'est-à-dire le fait qu'un logiciel effectue exactement les tâches pour lesquelles il a été conçu ;
• l'extensibilité : c'est-à-dire la capacité à intégrer facilement de nouvelles spécifications, qu'elles soient demandées par les utilisateurs ou imposées par un événement extérieur ;
• la réutilisabilité : les logiciels écrits doivent pouvoir être réutilisables, complètement ou en partie. Ceci impose lors de la conception une attention particulière à l'organisation du logiciel et à la définition de ses composantes ;
• la robustesse : c'est-à-dire l'aptitude d'un logiciel à fonctionner même dans des conditions anormales.

Bien que ce critère soit plus difficile à respecter, les conditions anormales étant par définition non spécifiées lors de la conception d'un logiciel, il peut être atteint si le logiciel est capable de détecter qu'il se trouve dans une situation anormale.

Nous détaillons dans un premier temps les critères utilisés pour concevoir du logiciel de qualité, tels que la modularité [§ 1.2] ou encore la réutilisabilité [§ 1.3]. Nous définissons ensuite les bases générales de la programmation par objets [§ 1.4] avant d'introduire la terminologie associée à cette approche [§ 1.5].

Les critères énoncés au paragraphe précédent influent sur la façon de concevoir un logiciel et en particulier sur l'architecture logicielle. En effet, beaucoup de ces critères ne sont pas respectés lorsque l'architecture d'un logicielle est obscure, monolithique. Dans ces conditions, le moindre changement de spécification peut avoir des répercutions très importantes sur le logiciel, imposant une lourde charge de travail pour effectuer les mises à jour.

On adopte généralement une architecture assez flexible pour parer ce genre de problèmes, basée sur les modules. Ceux-ci sont des entités indépendantes intégrées dans une architecture pour produire un logiciel. L'ensemble des modules utilisés, ainsi que les relations qu'ils entretiennent entre eux, sont dénominés système. L'intérêt de ce type de conception est de concentrer les connaissances liées à une entité logique à l'intérieur d'un module qui est seul habilité à exploiter ces connaissances. L'une des conséquences immédiates est que lorsqu'une maintenance est à effectuer sur une entité logique, celle-ci ne doit concerner qu'un seul module, ce qui confine la maintenance.

I-B-1. Deux méthodes de conception de modules▲

I-B-2. Quelques critères de qualités▲

I-B-3. Les principes de définition▲

La réutilisabilité n'est pas un concept nouveau en informatique et a été utilisée dès les balbutiements.

En effet, les types de données à stocker sont toujours construits autour des mêmes bases (tables, listes, ensembles) et la plupart des traitements comportent des actions atomiques telles que l'insertion, la recherche, le tri… qui sont des problèmes résolus en informatique. Il existe une bibliographie assez abondante décrivant des solutions optimales à chacun de ces problèmes. La résolution des problèmes actuels passe par la composition des solutions de chacun de ces problèmes basiques.

Les bibliothèques (systèmes, mathématiques, etc.) sont des bons exemples de réutilisabilité et sont couramment utilisées par les programmeurs. Elles montrent cependant parfois leurs limites. En effet, les fonctions qu'elles comportent ne sont pas capables de s'adapter aux changements de types ou d'implantation.

La solution dans ce cas est de fournir une multitude de fonctions, chacune adaptée à un cas particulier, ou d'écrire une fonction prenant tous les cas en considération. Dans un cas comme dans l'autre, ce n'est que peu satisfaisant. C'est pourquoi la conception objet se propose de formaliser un peu plus cette notion de réutilisabilité et de proposer de nouvelles techniques pour l'atteindre pleinement.

I-C-1. Les principes de la réutilisabilité▲

I-C-2. De nouvelles techniques▲

I-D-1. Introduction▲

I-D-2. La conception par objets▲

I-D-3. Détermination des objets▲

Pour la détermination même des objets, il faut simplement se rattacher aux objets physiques ou abstraits qui nous entourent. Typiquement, dans un programme de fiches de paie, le bulletin de salaire, l'employé, l'employeur, la date d'émission, etc. sont des objets. Les objets vont couvrir tous les types d'entités, des plus simples aux plus complexes et sont à ce titre partiellement similaires aux structures utilisées dans des langages tels que C ou Pascal. Mais ils sont également dotés de nombreuses propriétés supplémentaires très intéressante, comme nous le découvrirons au fil de ce cours.

Pour représenter ou décrire de tels objets, nous allons nous intéresser non pas aux objets directement mais aux classes qui les représentent. Les classes vont constituer le modèle dont seront issus chacun des objets, appelés aussi instances de classes. Et pour décrire ces classes, nous n'allons pas faire intervenir des champs (ou attributs - des données) comme cela pouvait être le cas auparavant, nous allons les spécifier formellement en fonction des services (ou fonctions) qu'elles offrent. Ceci apporte l'avantage de se détacher de la représentation physique des données et de raisonner uniquement sur les services qu'elles doivent offrir. À titre d'exemple, la figure [FIG. 1.1] présente la description d'une classe Pile.

• La partie Type indique le type de données décrit, paramétré ici par le type T. Ceci permet de définir un type générique de pile, qui sera ensuite instancié lors de son utilisation par le type d'objets que l'on souhaite empiler : des entiers, des caractères, d'autres types…
• La partie Fonctions décrit les services disponibles sur les piles. Ces fonctions sont exprimées sous une forme mathématique, décrivant les paramètres nécessaires à l'utilisation de la fonction et les résultats fournis
• La partie Préconditions précise les conditions d'utilisation des fonctions définies à l'aide d'une flèche barrée (9), qui ne sont pas définies pour toutes les valeurs de paramètres possibles.
• D'autres parties peuvent être ajoutées :
  • Postconditions qui s'utilise comme la partie Préconditions et qui précise les propriétés des résultats qui seront fournis par les différentes fonctions de la classe ;
  • une partie Axiomes qui précise les propriétés que chacun des objets de type Pile doit respecter à tout moment.

Cette méthode est appliquée sur chacun des types d'objets recensés nécessaires à l'élaboration du système. L'approche est conforme à la philosophie énoncée, car le module est bien défini en fonction des services qu'il offre, c'est-à-dire à partir de son interface. Les principes de masquage d'information sont notamment bien respectés : l'utilisateur du module ne sait pas quelle est la représentation physique des données. Il connaît juste les services offerts par la classe. Cette démarche s'avère nécessaire pour le développement d'un système conséquent et respecte les règles de qualités établies auparavant. Un des intérêts de ce type de démarche est par ailleurs de permettre d'améliorer les principes de réutilisabilité.

Cette étape de spécification de type devance celle de l'implantation de la classe correspondant au type. Et toute classe définie pourra être potentiellement étendue par une nouvelle classe qui la spécialisera.

Ce mécanisme, appelé héritage, est étudié en détail dans le chapitre 4 et permet l'utilisation de nouvelles techniques telles que la liaison dynamique et le polymorphisme.

I-D-4. Conclusion▲

Ce paragraphe se propose de faire le point sur toutes les notions abordées et d'introduire le vocabulaire spécifique à la conception objet.

• De part la prédominance de la maintenance dans la conception d'un logiciel, il est essentiel d'utiliser des règles permettant de construire du logiciel de qualité.
• Dans ce contexte, certains critères tels que la réutilisabilité et l'extensibilité ont été définis, répondant en partie à cette exigence.
• La modularité est une approche qui permet de parvenir à ces objectifs. Ce concept s'applique à l'implantation, mais surtout à la conception.
• La programmation est une tâche qui s'avère assez répétitive et qui nécessite de se doter de techniques favorisant la réutilisabilité. Deux de ces techniques ont été présentées : la généricité et la surcharge.
• L'architecture d'un système peut se concevoir autour des traitements ou autour des données. Si la première approche est assez intuitive et facile d'utilisation, elle ne convient que pour des systèmes de taille limitée. En revanche, la deuxième approche permet de construire des systèmes plus stables et répond mieux aux objectifs de qualités définis.
• La conception par objets se propose de décrire un système à travers les classes d'objets qui sont manipulées. Ces classes sont regroupées en familles de classes qui peuvent être implantées à travers l'héritage.
• Une classe est une structure regroupant des données, appelées attributs ou variables d'instance et des fonctions disponibles, appelées méthodes.
• Une instance de classe est appelée objet.
• La classe dont est issu un objet est appelée type de l'objet.
• Une classe A est appelée client d'une classe B si A contient un attribut de type B. La classe B est alors appelée fournisseur de A.

Le langage C++ est un langage complexe que ce seul polycopié ne peut pas exhaustivement couvrir. Le lecteur pourra se reporter à des ouvrages tels que [Str 97] et [Lip 98] (ou sa traduction française [Lip 92]) pour de plus amples informations. Un excellent ouvrage est aussi disponible gratuitement sur le Web à l'adresse http://www.EckelObjects.com/ThinkingInCPP2e.html. C++ peut être considéré comme une extension de C, si bien que tout programme C valide est un programme C++ valide. La différence par rapport à C est essentiellement faite au niveau des fonctionnalités objets ajoutées et de quelques conventions différentes étudiées dans ce polycopié.

Tout comme le langage C, le langage C++ a été conçu dans les laboratoires AT&T Bell. Son concepteur, Bjarne Stroustrup, désirait étendre les fonctionnalités du langage C afin d'y intégrer les concepts de la programmation par objet. Il désirait en effet conserver les habitudes des programmeurs C, leur permettre de récupérer une bonne partie des programmes qu'ils avaient développés, tout en intégrant les avantages de la programmation objet, en s'inspirant de langages tels que simula. Ceci a donné naissance en 1979 au langage C+, qui intégrait quelques fonctionnalités objet et en 1983 au langage C++, un peu plus complet, incluant notamment la généricité, la liaison dynamique… Le langage a continué ensuite à évoluer, jusqu'à l'adoption d'une norme qui est assez récente, puisqu'elle date de la fin de 1997. Ce polycopié ne s'attarde pas sur les dernières fonctionnalités offertes par la norme définitive du langage, que peu de compilateurs supportent dans leur globalité, mais plutôt sur les bases mêmes offertes par ce langage. De même, les fonctionnalités communes aux langages C et C++ ne sont pas reprises ; seules les différences sont soulignées. Le lecteur doit donc avoir une bonne connaissance du langage C pour aborder cette introduction.

Tout comme en C, un module C++ est généralement implanté par deux fichiers : un fichier d'interface qui regroupe les services offerts par le module (définition de types, constantes, déclaration de fonctions) et un fichier d'implantation qui permet de définir les fonctions déclarées dans l'interface. Les extensions conventionnellement utilisées en C++ sont :

• .hh, .H pour les fichiers d'interface C++ (les headers). Il n'est pas rare cependant de voir des fichiers d'extension .h contenir des interfaces C++.

Remarque : la norme finale du langage C++ prévoit que les fichiers d'interface perdent leur extension.

C'est la raison pour laquelle les interfaces spécifiques au C++ sont désormais désignées sans leur extension (comme iostream par exemple). Il en est de même pour les headers déjà disponibles en C. Ceux-ci sont de plus préfixés par le caractère « c ». Ainsi, stdio.h est maintenant dénominé par cstdio.

• .cc, .cpp, .C pour les fichiers d'implantation C++. Ici par contre les extensions sont bien différenciées et sont souvent utilisées directement par les compilateurs pour déterminer le type de compilation (C, C++) à effectuer.

Les types de bases disponibles en C, tels que char, int, float, double, void sont également disponibles en C++. Un type supplémentaire a été introduit pour manipuler de manière plus rigoureuse et plus explicite les booléens, c'est le type bool [PROG. 2.1]. Les variables de type bool peuvent avoir deux valeurs différentes : true ou false. Cependant, afin de rester compatible avec les variables booléennes utilisées en C, il est toujours possible de stocker et de manipuler des booléens à partir de variables de type int.

bool stop = false;

while (!stop) {
	...
}

Il existe deux moyens de définir des commentaires en C++. Le premier moyen correspond à des commentaires longs et est déjà disponible sous C. Il correspond aux délimiteurs « /* */ » : tout ce qui se trouve entre ces deux délimiteurs est considéré comme commentaire, même s'il y a des changements de lignes. Le deuxième moyen permet de définir des commentaires courts, tenant sur une seule ligne. Il correspond au délimiteur « // » : tout ce qui se trouve à droite de ce délimiteur sur la même ligne est considéré comme commentaire [PROG. 2.2].

/*
	Ceci est un commentaire de
	plusieurs lignes
*/

bool stop; // Commentaire court

La structure minimale d'un programme C++ est similaire à celle d'un programme C. Elle peut ensuite être étendue par des éléments (fonctions, instructions, structures de contrôle, etc.) abordés lors de l'étude du langage C et par les éléments propres au C++ présentés dans ce polycopié. La fonction principale, appelée lors du début de l'exécution d'un programme, est la fonction main qui peut être définie de deux manières différentes [PROG. 2.3].

int main() { ... } // Programme sans paramètre

/* Programme avec paramètres :
    argc : nombre de paramètres (y compris le nom du programme)
    argv : tableau de paramètres, argc entrées
*/

int main(int argc, char *argv[]) { ... }

Les fonctions C++ se déclarent et se définissent comme en C. Plusieurs caractéristiques ont cependant été ajoutées ou modifiées.

• Vérification stricte des types. Contrairement à C qui est un langage faiblement typé et qui autorise ainsi l'utilisation d'une fonction avant sa définition ou sa déclaration 1, C++ est un langage fortement typé. L'utilisation d'une fonction sans une déclaration ou une définition préalable conduit à une erreur de compilation.
• Possibilité de définir des valeurs par défaut pour certains paramètres de fonctions. Certaines fonctions sont appelées avec des paramètres qui changent rarement. Considérons par exemple une fonction EcranInit qui est chargée d'initialiser un écran d'ordinateur (en mode caractères). Dans 90 % des cas, l'écran a les dimensions 24 lignes × 80 caractères et doit être initialisé dans 99 % des cas avec le caractère ' ', qui provoque l'effacement de l'écran. Plutôt que de contraindre le programmeur à énumérer des paramètres qui sont généralement invariants, C++ offre la possibilité de donner des valeurs par défaut à certains paramètres lors de la déclaration de la fonction [PROG. 2.4]. Quelques remarques sur cette fonctionnalité :

1. Une fonction peut définir des valeurs par défaut pour tous ses paramètres ou seulement pour une partie. Les paramètres acceptant des valeurs par défaut doivent se trouver après les paramètres sans valeur par défaut dans la liste des paramètres acceptés par une fonction.
2. Les valeurs par défaut de chaque paramètre ne peuvent être mentionnées qu'une seule fois parmi les définitions / déclarations d'une fonction. Ainsi, par convention, ces valeurs sont généralement mentionnées dans la déclaration de la fonction et pas dans sa définition (donc dans le .H et pas dans le .C).
3. L'ordre de déclaration des paramètres est important : dans l'exemple [PROG. 2.4] il est en effet impossible de donner une valeur à col sans en donner une auparavant à lig. D'une façon générale, il faut donc positionner parmi les paramètres ayant des valeurs par défaut en premier ceux qui ont le plus de chances d'être modifiés.

¹. La fonction en question est alors supposée par défaut renvoyer un entier (type int).

void EcranInit(Ecran ecran, int lig = 24, int col = 80, char fond = ' ');

void EcranInit(Ecran ecran, int lig, int col, char fond)
{
    ...
}

int main()
{
    Ecran ec;

    EcranInit(ec); 			// Éq. à : EcranInit(ecran, 24, 80, ' ');
    EcranInit(ec, 26); 		// Éq. à : EcranInit(ecran, 26, 80, ' ');
    EcranInit(ec, 26, 92); 	// Éq. à : EcranInit(ecran, 26, 92, ' ');
    EcranInit(ec, 26, 92, '+');
}

• Définition de fonctions inline. Les fonctions offrent beaucoup d'avantages, mais ont un inconvénient majeur lorsque le nombre d'instructions qu'elles comportent est réduit : elles sont coûteuses en temps d'exécution (exemple : fonction int min(int a, int b);). En effet, à chaque appel de fonction, le système met à jour un certain nombre de valeurs (essentiellement avec la pile) et effectue d'autres mises à jour lors de la terminaison de la fonction. Le coût de ces mises à jour est d'autant plus élevé (relativement) que le nombre d'instructions contenues dans la fonction est réduit, ce qui peut être critique dans des traitements exigeant de hautes performances. On peut cependant vouloir garder la structure offerte par les fonctions pour des raisons de lisibilité, d'uniformisation, de réutilisation. La solution est de définir ce genre de fonctions comme inline [PROG. 2.5].

// Définition dans une interface (.H)

inline int min(int a, int b)
{
	return ((a < b)? a : b);
}

	// Utilisation dans un programme

...
int m = min (i, j); // Remplacé par : m = ((i < j)? i : j);
...                 // (à la compilation)

En rajoutant le mot-clé inline lors de la définition de la fonction, la fonction est considérée comme inline : chaque appel fait à la fonction sera remplacé par le code source correspondant à la fonction [PROG. 2.5]. On dit que la fonction est expansée à son point d'appel. Quelques remarques :

1. Pour bénéficier de cette fonctionnalité, la fonction doit être définie (et non pas seulement déclarée) dans une interface, c'est-à-dire dans un fichier .H.
2. La spécification inline n'est qu'une recommandation faite au compilateur, qui peut décider ou non d'effectivement laisser cette fonction inline. En particulier, si le corps de la fonction est trop important, il y a peu de chances que la fonction reste inline ; il y a peu de gain aussi de toute façon, cette technique s'avérant rentable uniquement sur les fonctions comportant peu d'instructions.

Contrairement au C qui impose de définir toutes les variables d'un bloc au début de ce bloc, C++ offre la possibilité de définir les différentes variables utilisées au fur et à mesure des besoins. Seule condition requise : une variable doit être soit déclarée, soit définie, avant de pouvoir être utilisée. Voir [PROG. 2.6] (et notamment les lignes 10 et 12) pour des exemples de définition de variables. Toutefois, dans un souci de lisibilité, il est conseillé de définir autant que possible les variables en début de bloc.

int main()
{
	int a = 5;
	int b = 4;
	int c;

	c = a * b;
	b += c;

	int j = 0;

	for (int i = 0; i < c; i++)
		j+= i;
}

Les références permettent de bénéficier d'un mécanisme d'alias sur les variables. Le langage C avait déjà introduit la notion de pointeur sur variable, qui permet d'accéder à la valeur contenue dans une variable grâce à l'adresse de cette variable. Une référence est un nouveau nom donné à une variable existante, ce qui lui confère ce rôle d'alias. Une référence est également représentée par une adresse (un pointeur), mais s'utilise comme une variable : les opérations effectuées sur la référence sont en fait réalisées sur l'objet référencé [PROG. 2.7]. Pour définir une référence : Type &nomRéf = variableÀRéférencer.

int main() {
	int val = 10;
	int i;
	int *pval = &val; // Pointeur sur val
	int &refVal = val; // Référence sur val
	int &refAutre; // Erreur !

	*pval = 12;
	i = refval; // 'i' vaut 12, valeur de 'val'
}

Il existe une différence entre les pointeurs et les références : les références ne peuvent être vides. C'est pour cela qu'elles sont toujours initialisées lors de leur déclaration et qu'on préférera leur usage aux pointeurs dans les situations où on ne souhaite pas avoir de valeur inconsistante, comme cela peut être le cas avec un pointeur NULL. Voici ci-dessous un exemple de fonction réalisée avec des pointeurs et la même version réalisée avec des références [PROG. 2.8].

void swapC(int *i, int *j)
{
	int tmp = *i;
	*i = *j;
	*j = tmp;
}

void swapCpp(int &i, int &j)
{
	int tmp = i;
	i = j;
	j = tmp;
}

int main() {
	int m = 1, n = 2;

	swapC(&m, &n); // D'où : m=2 et n=1
	swapCpp(m, n); // D'où : m=1 et n=2
}

C++ offre la possibilité de définir des entités constantes (variables, fonctions). La valeur de ces entités ne peut alors plus être modifiée lors de l'exécution du programme, ce qui suppose, comme pour les références, qu'elles doivent être initialisées à la déclaration. Des exemples typiques d'utilisation de cette fonctionnalité pour des variables sont [PROG. 2.9] :

• la représentation des bornes de boucles. C'est le cas de la variable taille qui ne doit pas être modifiée une fois qu'elle est fixée ;
• le passage de paramètres dans des fonctions qui ne sont pas sensées modifier la valeur de ces paramètres.

C'est le cas de la fonction contient qui effectue une recherche et qui ne doit pas modifier la valeur des paramètres qui lui sont fournis. Toute tentative de modification du contenu d'une variable déclarée const génère une erreur à la compilation : seules les opérations de lecture sont autorisées. On est donc assuré à la déclaration d'une telle variable qu'aucune modification de valeur ne sera permise. Cette restriction entraîne qu'il n'est pas possible de définir un pointeur « normal » sur une variable constante : le contenu de la variable pourrait alors être modifié via le pointeur. On est alors obligé de définir un pointeur sur variable constante [PROG. 2.10]. De même, si on souhaite que la valeur du pointeur ne soit pas modifiée au cours du programme, il faut définir un pointeur constant sur variable constante [PROG. 2.10].

Il est toujours possible de considérer temporairement (le temps d'une fonction par exemple) comme constante une variable non constante. L'inverse n'est pas possible : cela génère automatiquement une erreur à la compilation. L'utilisation de fonctions constantes est étudié [§ 3.6].

Tout comme C, C++ permet de manipuler dynamiquement la mémoire. En C, ces manipulations étaient implantées grâce aux fonctions malloc et free disponibles dans les bibliothèques standards C. En C++,

// Un tableau 'tab' de 'taille' éléments contient-il 'elt' ?

bool contient(const int tab[], const int taille, const int elt)
{
	int i;

	for (i = 0; (i < taille) && (tab[i] != elt); i++)
		;

	return (i != taille);
}

int main()
{
	const int j; // Erreur à la compilation !
	int taille = 1000;
	int tab[1000];
	bool appartient;
	int i;

	...
	appartient = contient(tab, taille, i);
	...
}

const int taille = 1000;
int compteur;
int *ptaille1 = &taille;              // Erreur à la compilation !
const int *ptaille2 = &taille;        // Ok
const int *const ptaille3 = &taille;  // Ok

*ptaille2 = 1010;                     // Erreur à la compilation !
ptaille2 = &compteur;                 // Ok. 'compteur' devient constant via ptaille2
*ptaille2 = 10;                       // Erreur à la compilation !
compteur = 10;                        // Ok
ptaille3 = &compteur;                 // Erreur à la compilation !

ces manipulations sont implantées via les opérateurs new et delete et il n'est plus nécessaire d'utiliser l'opérateur sizeof conjointement avec la fonction malloc. Le principe d'utilisation reste globalement inchangé, le programmeur doit être vigilant : à chaque allocation doit correspondre une désallocation de mémoire.

Lorsque les allocations portent sur des tableaux plutôt que des objets simples, les opérateurs new et delete sont remplacés respectivement par new [] et delete []. Voir [PROG. 2.11] pour des exemples d'utilisation de l'allocation dynamique de mémoire en C++ et la comparaison par rapport aux mêmes exemples en C.

// Allocation d'une variable et d'un tableau en C

#include <stdlib.h>

int main()
{
	int *pi = malloc(sizeof(int));
	int *tab = malloc(sizeof(int) * 10);

	if ((pi != NULL) && (tab != NULL)) {
		...
		free(pi);
		free(tab);
	}
}

// Allocation d'une variable et d'un tableau en C++

int main()
{
	int *pi = new int;
	int *tab = new int[10];

	if ((pi != NULL) && (tab != NULL)) {
		...
		delete pi;
		delete [] tab;
	}
}

Attention : les mécanismes d'allocation dynamique de mémoire en C ou en C++ font intervenir des structures internes gérées par le langage. Ces structures sont différentes selon que l'on utilise la paire malloc/free ou la paire new/delete. Il est ainsi d'usage de n'utiliser que la première en C et que la deuxième en C++

La surcharge est une des nouvelles techniques présentées [§ 1.3.2] permettant d'améliorer la réutilisabilité en conception objet. Elle permet d'attribuer le même nom à plusieurs opérateurs ou à plusieurs fonctions.

L'ambiguïté sur la fonction appelée est alors levée après examen du contexte, c'est-à-dire du nombre et/ou du type des paramètres. Cette technique est disponible en C++, qui offre ainsi la possibilité de définir plusieurs fonctions portant le même nom, à la condition que ces fonctions aient des profils différents. Cela permet par exemple de déclarer dans un même programme les fonctions présentées [PROG. 2.12].

int max(int a, int b);
int max(int *tab, int taille);
int max(int a, int b, int c);

Une définition séparée de la fonction max est nécessaire pour chaque prototype de la fonction. Les fonctions ont cependant toutes le même but : extraire la valeur maximale en exploitant les paramètres qui leurs sont fournis. Ceci facilite donc la tâche du programmeur, qui peut associer un nom unique à une action déterminée, quels que soient les arguments fournis. La fonction correspondant aux paramètres fournis est alors exécutée. Si les types des paramètres fournis à une fonction surchargée ne concorde pas totalement avec l'une des définitions, un certain nombre de règles sont utilisées pour choisir (ou ne pas choisir) l'implantation de la fonction qui est utilisée. Ces règles ne sont pas toujours triviales, consulter un ouvrage de référence pour plus d'informations.

Il est également possible de surcharger des opérateurs. Une application est présentée [§ 2.12] et le paragraphe [§ 3.8] présente la surcharge dans le contexte particulier des classes.

Les entrées-sorties ont été remaniées en C++, notamment pour profiter des avantages offerts par la surcharge.

Comme en C, elle ne font pas partie intégrante du langage, mais sont définies dans les bibliothèques standards fournies avec le langage. Pour pouvoir les utiliser, il faut inclure l'en-tête <iostream>. Les entrées-sorties sont ensuite réalisées par l'intermédiaire de trois flots :

• cin : flot d'entrée standard (par défaut le clavier) ;
• cout : flot de sortie standard (par défaut l'écran) ;
• cerr : flot de sortie des messages d'erreur (par défaut l'écran).

Les opérateurs << et >> permettent ensuite de réaliser respectivement les écritures et les lectures. Ils sont surchargés pour supporter tous les types de base disponibles en C++ [PROG. 2.13]. L'opération endl permet de passer à la ligne et de vider le tampon 2 correspondant au flot. Elle a donc le même rôle que le caractère '\n' en C, qui peut être utilisé en C++ aussi, mais ne permet alors que de passer une ligne.

• La vitesse d'exécution est plus rapide. En effet, à chaque appel de la fonction printf, les paramètres sont analysés (en particulier la chaîne de formatage). Avec les flots, la traduction est effectuée au moment de la compilation.
• Il n'y a plus de problème de type. Les erreurs typiques en C (associer un spécificateur %d avec un réel par exemple) ne peuvent plus se produire.
• Les instructions générées sont plus réduites : il n'y a plus que le code correspondant effectivement à la valeur manipulée, alors que tout le code correspondant à printf est inclus sinon.
• L'utilisateur a la possibilité de surcharger les opérateurs << et >> pour manipuler les types qu'il définit, ce qui permet d'homogénéiser les entrées-sorties.

#include <iostream>

main()
{
	int age;
	int annee;

	cout << "Entrez votre age : ";
	cin >> age;
	cout << "Entrez l'année courante : ";
	cin >> annee;
	cout << "Vous êtes né en " << (annee - age) << endl;
}

• De toute façon, tout comme pour l'allocation dynamique de mémoire, les entrées-sorties font intervenir des structures internes gérées par le langage (les tampons). Les fonctions du type printf ou scanf ne sont donc plus du tout utilisées en C au profit des opérateurs manipulant les flots, sous risque d'interférences entre ces deux mécanismes.

Le format des entrées-sorties est décrit en annexe A. La gestion des fichiers en C++ est présentée brièvement [§ A.4]

². Buffer.

Parmi les techniques présentées [§ 1.3.2] pour améliorer la réutilisabilité, nous avons présenté la notion de généricité, qui permet de paramétrer les fonctions (et les classes, voir pour cela [§ 3.9]) par un type de données. Quelle peut en être l'utilité ? L'utilité se mesure dans l'abstraction offerte par cette fonctionnalité.

Prenons un exemple concret. Supposons que l'on souhaite écrire une fonction min qui accepte deux paramètres et qui renvoie la plus petite des deux valeurs qui lui est fournie. On désire bénéficier de cette fonction pour certains types simples disponibles en C++ (int, char, float, double). La première solution pour atteindre ce but est d'utiliser la surcharge [§ 2.11] et de définir 4 fonctions min, une pour chacun des types considérés [PROG. 2.14].

int min (int a, int b) {
	return ((a < b)? a : b);
}

float min (float a, float b) {
	return ((a < b)? a : b);
}

double min (double a, double b) {
	return ((a < b)? a : b);
}

char min (char a, char b) {
	return ((a < b)? a : b);
}

Lors d'un appel à la fonction min, le type des paramètres est alors considéré et l'implantation correspondante est finalement appelée. Ceci présente cependant quelques inconvénients :

• La définition des 4 fonctions mène à des instructions identiques, qui ne sont différenciées que par le type des variables qu'elles manipulent. On s'aperçoit ici que plus qu'une fonction, on souhaiterait exprimer une méthode, valable pour n'importe quel type manipulé : la fonction min est la fonction qui renvoie le plus petit des paramètres qui lui est fourni. Cet élément est déterminé grâce à l'opérateur < qui établit une relation d'ordre sur le type d'élément considéré.
• Si on souhaite étendre la définition de cette fonction à de nouveaux types, il faut définir une nouvelle implantation de la fonction min par type considéré.

Une autre solution est de définir une fonction template, c'est-à-dire générique [PROG. 2.15]. Cette définition définit en fait un patron de fonction, qui est instancié par un type de données (ici le type T) pour produire une fonction par type manipulé.

template <class T>
T min (T a, T b)
{
	return ((a < b)? a : b);
}

main()
{
	int a = min(10, 20); // int min(int, int)
	float b = min(10.0, 25.0); // float min(float, float)
	char c = min('a', 'W'); // char min(char, char)
}

Il n'est donc plus nécessaire de définir une implantation par type de données. De plus, la fonction min est valide avec tous les types de données dotés de l'opérateur <. On définit donc bien plus qu'une fonction, on définit une méthode permettant d'obtenir une certaine abstraction en s'affranchissant des problèmes de type.

• Il est possible de définir des fonctions template acceptant plusieurs types de données en paramètre.Chaque paramètre désignant une classe est alors précédé du mot-clé class, comme dans l'exemple : template <class T, class U> ….
• Chaque type de données paramètre d'une fonction template doit être utilisé dans la définition de cette fonction.
• Pour que cette fonctionnalité soit disponible, les fonctions génériques doivent être définies dans des fichiers d'interface (fichiers .H) 3. Les fonctions template sont en effet expansées elles aussi. Ainsi, chaque appel fait à ce genre de fonctions est remplacé, à la précompilation, par le code source correspondant à la fonction.

³. Les fonctions inline et template sont ainsi les seules fonctions à être définies dans les interfaces. Toutes les autres sont définies dans les fichiers d'implantation (.C) et sont seulement déclarées dans les interfaces.

Les classes C++ permettent d'implanter la notion de paquetage introduite [§ 1.3.2]. Une classe C++ peut se rapprocher de la notion de module définie en C et se trouve implantée dans deux fichiers : l'interface et l'implantation. On trouve à l'intérieur d'une classe C++ des attributs, correspondants aux variables définies dans la classe et des méthodes correspondant aux services offerts par la classe [PROG. 3.1, 3.2].

#ifndef __ARTICLE_H_INCLUDED__
#define __ARTICLE_H_INCLUDED__

class Article {
public:
	// Nom de l'article
	const char* nom();

	// Prix brut de l'article
	float prixBrut();

	// Quantité en stock
	int quantite();

	// Ajout d'articles dans le stock
	void ajout(int quantite);

	// Suppression d'articles dans le stock
	void suppression(int quantite);

protected:
	char* _nom; // Nom de l'article
	float _prixBrut; // Prix brut de l'article
	int _quantite; // Quantité en stock
};

#endif /* __ARTICLE_H_INCLUDED__ */

Pour déclarer une classe C++, il faut utiliser le mot-clé class. Les différents attributs et méthodes sont ensuite énumérés de la même manière que des champs sont définis à l'intérieur d'une structure C. Il y a cependant quelques différences :

#include "Article.H"

// **********************************************************************

const char*
Article::nom()
{
	return _nom;
}

// **********************************************************************

float
Article::prixBrut()
{
	return _prixBrut;
}

// **********************************************************************

int
Article::quantite()
{
	return _quantite;
}

// **********************************************************************

void
Article::ajout(int quantite)
{
	_quantite += quantite;
}

// **********************************************************************

void
Article::suppression(int quantite)
{
	_quantite -= quantite;
}

• Les structures C ne permettent que de regrouper des variables, alors que les classes C++ permettent également de regrouper des fonctions (les méthodes). Ces fonctions sont également appelées fonctions membres pour les différencier des fonctions qui sont définies en dehors de toute classe.
• Une classe C++ peut comporter plusieurs sections, chacune d'elles étiquetée par l'un des mots-clés suivants : public, protected, private. Ces mots-clés permettent de définir le niveau de masquage de l'information tel qu'il a été défini [§ 1.2.3] :
• une section public permet de déclarer les attributs ou les méthodes qui sont accessibles par n'importe quel client de la classe, c'est-à-dire à n'importe quel autre endroit du programme, que ce soit à l'intérieur de cette classe, d'une autre classe, ou en dehors du contexte de toute classe ;
• une section protected ou private permet de déclarer les attributs et méthodes qui sont inaccessibles aux clients extérieurs à la classe, mais pas à la classe elle-même. Toute tentative d'accès à ces informations par un client extérieur se soldera alors par une erreur de compilation. La distinction qui existe entre les sections protected et private ne concerne pas les clients d'une classe, mais est relative à l'héritage ; elle est expliquée [§ 4.2].

Remarque : afin de bien différencier les identificateurs (attributs, méthodes) publics de ceux qui ne le sont pas, on utilise généralement une convention d'écriture, qui correspond ici au préfixe '_'utilisé.

• Dans ce contexte, les attributs de classe sont conventionnellement protégés, en les déclarant dans une section autre que public. La conséquence de ce masquage de l'information est que les attributs d'une classe ne sont plus directement accessibles. On définit alors des méthodes permettant d'accéder à leur valeur. Ces méthodes sont désignées sous l'appellation fonctions d'accès. C'est ce qu'on appelle de l'encapsulation : la structure de données réelle est masquée et peut donc évoluer. Du coup, on ne montre que ce que l'on veut et sous la forme que l'on veut.

La définition des méthodes d'une classe se fait dans le fichier d'implantation de la classe (sauf les méthodes inline [§ 3.3] et template [§ 3.9]). Le prototype des méthodes est repris et est préfixé par le nom de la classe à laquelle appartiennent les méthodes et par l'opérateur de résolution de portée '::'.

⁴. C'est-à-dire l'identificateur correspondant à la méthode, le type de ses paramètres et le type de son résultat.

Un exemple d'utilisation de cette classe se trouve [PROG. 3.3]. Une classe définit un type, qui peut être utilisé comme tout autre type disponible. On note au passage la notation pointée ('.') utilisée pour appliquer une méthode sur un objet ou sur une référence sur objet. Cette notation se transforme en notation fléchée ('->') si on dispose d'un pointeur sur objet. La ligne 11 par exemple présente l'application de la méthode supprimer sur l'objet unArt de type Article.

Syntaxiquement, c'est une des grandes différences entre C et C++. En C [PROG. 3.4], la conception est axée autour des traitements : les appels fonctionnels sont donc réalisés en appelant des fonctions auxquelles sont passés en paramètres les données à traiter. En C++ [PROG. 3.5], la conception est axée autour des données : les appels fonctionnels sont donc réalisés en appliquant des fonctions (les méthodes) sur les données (les objets). Du coup, la notation est affectée, même si, intuitivement, cela ne représente que peu de changement : il suffit de considérer qu'en C++, l'objet sur lequel on applique une méthode serait, en C, le premier paramètre de la fonction correspondant à la méthode.

#include "Article.H"

int main()
{
	Article unArt;
	Article *unAutre;
	Article &refArt = unArt;
	...
	cout << "Quantité disponible de " << unArt.nom()
	     << " : " << unArt.quantite() << endl;
	unArt.suppression(3);
	cout << "Nouvelle quantité de " << unArt.nom()
	     << " : " << unArt.quantite() << endl;

	cout << "Nom de l'autre : " << unArt->nom() << endl;
	cout << "Nom du référencé : " << refArt.nom() << endl;
}

/*
	Extrait de l'interface d'un module C 'Article'
*/

typedef struct {
	...
} Article;

void ajoutArticle(Article art, int quantite);

/*
	Exemple d'utilisation
*/

int main()
{
	Article a;

	...

	ajoutArticle(a, 10);
}

/*
	Extrait de l'interface d'une classe C++ 'Article'
*/

class Article {
	...
public:
	void ajout(int quantite);
};


/*
	Exemple d'utilisation
*/

int main()
{
	Article a;

	...

	a.ajout(10);
}

Au niveau mémoire, chaque définition d'un nouvel article entraîne la réservation d'un espace mémoire permettant de représenter tous les attributs de la classe Article (le nom, le prix, la quantité). Chaque article possède donc sa propre copie d'attributs, ce qui est identique au comportement que le langage C propose avec les structures. La différence, encore une fois, n'est que syntaxique. Ainsi, en reprenant l'exemple d'appel à la méthode supprimer (ligne 11 du [PROG. 3.3]), la diminution de stock effectuée ligne 40 [PROG. 3.2] va donc affecter les attributs associés à l'objet unArt (lignes 5 et 11 du [PROG. 3.3]).

Nous avons vu que C++ permettait de définir des fonctions inline [§ 2.6]. Cette fonctionnalité est également disponible avec les méthodes. Il est possible de déclarer de telles méthodes de deux façons différentes [PROG. 3.6] :

• Soit en définissant directement une méthode à l'intérieur d'une classe plutôt que d'effectuer une simple déclaration (méthode nom).
• Soit en utilisant le mot-clé inline lors de la déclaration, ce qui permet de définir la méthode en dehors de la partie déclarative de la classe. La définition doit cependant dans ce cas être présente dans le fichier d'interface de la classe (méthode prixBrut).

Ainsi, dans tous les cas, une méthode inline se trouve définie dans le fichier d'interface d'une classe. La raison est la même que dans le cas des fonctions inline : la méthode est expansée lors de l'étape de précompilation, ce qui implique que le précompilateur doit avoir à sa disposition le corps de la méthode en question.

#ifndef __ARTICLE_H_INCLUDED__
#define __ARTICLE_H_INCLUDED__

class Article {
public:
	// Nom de l'article
	const char* nom() {return _nom}

	// Prix brut de l'article
	inline float prixBrut();

protected:
	char* _nom; 		// Nom de l'article
	float _prixBrut; 	// Prix brut de l'article
};

inline float
Article::prixBrut()
{
	return _prixBrut;
}

#endif /* __ARTICLE_H_INCLUDED__ */

Il est souvent nécessaire d'initialiser les objets au moment de leur création. Dans le cas de la classe Article en particulier, on souhaite pouvoir attribuer un nom, un prix et une quantité à tout nouvel article créé. Dans d'autres cas, ce peut être pour initialiser certains attributs spéciaux (comme des compteurs), pour effectuer une allocation mémoire, etc. Une solution pourrait être de définir pour toutes ces classes une méthode init qui réaliserait les initialisations souhaitées. Mais cela est problématique : pour toute création d'un nouvel objet, deux actions vont être nécessaires (déclaration + appel de la méthode init) alors que la création d'un objet est a priori une action atomique. Et que faire si un client oublie d'appliquer la méthode init ?

Pour résoudre ce problème, C++ possède un mécanisme d'initialisation automatique d'objets de classe. Une ou plusieurs méthodes particulières, appelées constructeurs, sont appliquées implicitement dès qu'un objet est défini. Ces constructeurs, généralement publics, portant le même nom que la classe à laquelle ils appartiennent [PROG. 3.7, 3.8].

• Les constructeurs n'ont aucun type de retour (même pas void) et ne sont jamais appelés explicitement par le programmeur. C'est le compilateur qui se charge de le faire à chaque création d'objet, après avoir choisit le constructeur à utiliser en fonction des paramètres d'initialisation fournis (principe de la surcharge). Voir [PROG. 3.9] pour des exemples relatifs à chacun des constructeurs définis.
• Le premier constructeur de la classe Article est un constructeur particulier, dit constructeur par défaut, qui est utilisé lorsqu'un objet est instancié sans paramètre. L'action réalisée ici est d'initialiser le pointeur correspondant au nom de l'article à la valeur nulle pour indiquer que l'article est incomplet.
• Le second constructeur est également un constructeur particulier, dit constructeur de copie, utilisé lorsqu'un objet est créé à partir d'un autre objet de même type. On peut noter la syntaxe à utiliser

#ifndef __ARTICLE__
#define __ARTICLE__

#include <string.h>

class Article {
public:
	// Constructeur par défaut
	Article();

	// Constructeur de copie
	Article(const Article& unArt);

	// Constructeur normal
	Article(const char* nom, float prixBrut, int quantite = 0);

	// Destructeur
	virtual ~Article();

protected:
	char* _nom; // Nom de l'article
	float _prixBrut; // Prix brut de l'article
	int _quantite; // Quantité en stock
};

#endif

pour spécifier à C++ que l'on souhaite définir un constructeur de copie : Type (const Type& unObjet) ; cette syntaxe est obligatoire pour définir ce type de constructeur.

• les attributs de l'objet passé en paramètre sont recopiés dans les attributs de l'objet à créer, en prenant garde d'allouer un nouvel espace mémoire pour stocker le nom de l'article ;
• les attributs ne sont pas recopiés si l'objet passé en paramètre est incomplet. Le nouvel objet devient alors lui-même un objet incomplet ;
• on peut ici accéder directement aux attributs de l'objet passé en paramètre, sans avoir à utiliser les fonctions d'accès définies. Ceci n'est bien entendu possible que parce que l'objet à créer appartient à la même classe que l'objet passé en paramètre. Il n'est donc pas un « client ordinaire ».
• Le troisième constructeur se charge de l'initialisation d'un objet à partir de toutes les données nécessaires pour cela. Si la quantité est omise, elle prend alors la valeur 0 par défaut. Ici encore, on alloue un nouvel espace mémoire pour stocker le nom de l'article. Ce nom se trouve ainsi dans un espace propre à l'objet et ne peut donc pas être affecté par un événement extérieur, comme cela aurait pu être le cas si on avait simplement effectué une copie de pointeurs.
• Un constructeur marche en deux temps : il effectue tout d'abord l'initialisation des attributs de la classe en utilisant leur constructeur par défaut et exécute seulement ensuite le corps du constructeur.

Il n'est cependant pas toujours souhaitable d'utiliser le constructeur par défaut des attributs d'une classe. Il faut dans ce cas placer l'appel aux constructeurs des attributs entre le prototype du constructeur de l'objet et son corps, en les séparant du symbole ':' [PROG. 3.10]. Plusieurs appels situés à ce niveau devront être séparés par des virgules.

#include "Article.H"


Article::Article()
{
	_nom = 0;
}

// **********************************************************************

Article::Article(const Article& unArt)
{	
	if (unArt._nom) {
		_nom = new char[srlen(unArt._nom) + 1];
		strcpy(_nom, unArt._nom);
		_prixBrut = unArt._prixBrut;
		_quantite = unArt._quantite;
	}
	else
		_nom = 0;
}

// **********************************************************************

Article::Article(const char* nom, float prixBrut, int quantite)
{
	_nom = new char[strlen(nom) + 1];
	strcpy(_nom, nom);
	_prixBrut = prixBrut;
	_quantite = quantite;
}

// **********************************************************************

Article::~Article()
{
	if (_nom)
		delete [] _nom;
}

#include "Article.H"

int main()
{
	Article a;                      // Constructeur par défaut appelé
	Article b("livre", 100, 10);    // 3ème constructeur appelé
	Article c(b);                   // Constructeur par copie appelé
	Article *d;

	d = new Article(a);             // Constructeur par copie appelé
	...
	delete d;                       // Destructeur de 'd' explicitement appelé
}                                   // Destructeurs de 'a', 'b' et 'c'
                                    // implicitement appelés

#include "Article.H"

class LotArticles {
public:
	LotArticle(const char* nom, float prixBrut, int quantite, int nbLot)
		: _art(nom, prixBrut, quantite), _nbLot(nbLot)
	{
	}

protected:
	Article _art; // Article du lot
	int _nbLot; // Nombre d'articles par lot
};

Le mécanisme automatique d'initialisation proposé par les constructeurs est très pratique. Mais d'autres problèmes surviennent : à quel moment libérer l'espace mémoire alloué pour stocker le nom d'un article en particulier ? C++ apporte également une solution à ce problème grâce à un second mécanisme automatique, permettant d'appliquer une méthode particulière, appelée destructeur, au moment de la destruction de l'objet.

• il n'y a qu'un seul destructeur possible par classe ;
• l'identificateur désignant le destructeur est composé du nom de la classe préfixé par le symbole '~' (ce qui donne ainsi le nom ~Article pour désigner le destructeur de la classe Article) ;
• les destructeurs n'acceptent aucun paramètre et ne renvoient aucun résultat ;
• dans l'exemple présenté [PROG. 3.8], le destructeur de la classe n'a qu'un seule rôle : libérer l'espace mémoire alloué dynamiquement pour stocker le nom de l'article ;
• il est préférable de préfixer les destructeurs du mot-clé virtual. Une explication de cette convention est fournie [§ 4.5] ;
• les destructeurs, comme les constructeurs, ne sont jamais explicitement appelés dans un programme. Ils sont utilisés automatiquement et implicitement par le compilateur au moment de la création et de la destruction des objets.

Après avoir étudié les variables constantes [§ 2.9], nous étudions dans ce paragraphe les méthodes constantes. Nous avons vu à propos des variables constantes que toute tentative de modification qui leur est relative se solde par une erreur de compilation. Dans le contexte particulier des instances de classe, cela n'est pas toujours approprié, car les objets sont rarement directement modifiés, vu que leurs attributs sont généralement cachés. En fait, ce sont généralement des méthodes publiques qui sont invoquées pour réaliser ces modifications. Et c'est pour assurer la constance des objets que les méthodes constantes ont été introduites. Le concepteur d'une classe peut ainsi indiquer les méthodes qui peuvent être utilisées en toute sécurité, sans risquer de modifier les objets de cette classe.

Pour rendre une méthode constante, il suffit de placer le spécificateur const après le prototype de la méthode. Les méthodes constantes sont ensuite les seules à pouvoir être appliquées sur des objets constants. Elles ne peuvent ainsi pas comporter d'instruction permettant de changer la valeur de l'objet sous peine d'erreur de compilation. Un exemple de définition et d'utilisation est présenté [PROG. 3.11].

#include <iostream>

class Article {
public:
	// Nom de l'article
	const char* nom() {return _nom;}

	// Nom de l'article (const)
	const char* nomCste() const {return _nom;}

	// Change le nom de l'article (const)
	// -> ERREUR À LA COMPILATION
	void changeNom(char *nom) const {_nom = nom};

protected:
	char* _nom; // Nom de l'article
};

void testAffichage(Article a, const Article b)
{
	cout << a.nom() << endl; // Ok
	cout << a.nomCste() << endl; // Ok

	cout << b.nom() << endl; // Erreur compilation
	cout << b.nomCste() << endl; // Ok
}

On a parfois besoin de désigner à l'intérieur d'une fonction membre l'objet qui est manipulé par la méthode. Comment le désigner cependant alors qu'il n'existe aucune variable le représentant dans la fonction membre ? Les fonctions membres travaillent en effet directement sur les attributs de classes : ceux qui sont atteints correspondent alors à ceux de l'objet courant. C++ apporte une solution à ce problème en introduisant le mot-clé this qui permet à tout moment dans une fonction membre d'accéder à un pointeur sur l'objet manipulé. Un exemple d'application se trouve [PROG. 3.12].

Il est possible d'utiliser la surcharge à l'intérieur des classes, de la même manière que cela est possible sur les fonctions classiques [§ 2.11]. Les constructeurs de classe en sont d'ailleurs un très bon exemple ! La surcharge est ainsi beaucoup utilisée dans le contexte des classes, que ce soit pour surcharger des méthodes ou des opérateurs. Imaginons en effet que nous souhaitions disposer de l'opérateur d'affectation '=' pour nous permettre de réaliser une affectation d'articles. Un opérateur d'affectation par défaut existe, mais il n'effectue qu'une copie champ-à-champ des attributs de la classe. Ce comportement est ennuyeux dans le cas de la classe Article, car il ne permet pas de dupliquer le nom des articles, mais juste de réaliser une copie des pointeurs.

#include <iostream>
#include "Article.H"

// Fonction présente pour les besoins du test

void testAffichage(Article *unArt)
{
	cout << "Article : " << unArt->nom() << endl;
}

// Méthode de la classe 'Article'

void
Article::methodeQuelconque()
{
	// Comment appeler la fonction 'testAffichage' ?
	// Avec le mot-clé 'this' !

testAffichage(this);
}

Article& Article::operator=(const Article &unArt)
{
	// Si l'article courant a un nom, on le libère

	if (_nom)
		delete [] _nom;

	// On recopie l'article passé en paramètre

	if (unArt._nom) {
		_nom = new char[srlen(unArt._nom) + 1];
		strcpy(_nom, unArt._nom);
		_prixBrut = unArt._prixBrut;
		_quantite = unArt._quantite;
	}
	else
		_nom = 0;
}

Pour que l'opérateur d'affectation effectue les actions que nous attendons de lui, nous pouvons le surcharger [PROG. 3.13]. Un grand nombre d'opérateurs peuvent être surchargés [TAB. 3.14], même s'il n'est pas toujours souhaitable d'abuser de cette pratique, qui peut entraver la clarté du programme et être à l'origine d'erreurs difficiles à localiser. En effet, ces opérateurs sont dans la plupart des cas définis par défaut.

Un programmeur qui n'a pas regardé attentivement la documentation d'une classe peut s'attendre à un comportement donné en considérant un opérateur appliqué à un objet, alors que le comportement peut être tout autre si l'opérateur est surchargé 5. Ce genre de désagrément n'arrive pas avec les méthodes, aucune méthode n'étant définie par défaut pour une classe donnée. Cependant, il est courant de surcharger des opérateurs tels que l'affectation (=), l'inférieur (<), la différence (!=) ou l'égalité (==). C'est en particulier le cas lors de l'utilisation de la bibliothèque STL livrée en standard avec C++ et détaillée chapitre 5.

⁵. On peut par exemple s'amuser à surcharger new pour qu'il effectue ce qui effectué par delete et vice-versa ! Mais même sans atteindre ce type de situations contre nature, la surcharge peut réserver quelques surprises… Cette fonctionnalité a d'ailleurs été supprimée dans le langage Java, plus récent et souhaitant éliminer les causes d'erreurs fréquentes en C++.

TAB. 3.14 - Opérateurs pouvant être surchargés (liste non exhaustive).

Il est possible, comme pour les fonctions [§ 2.13], de définir des classes template, c'est-à-dire paramétrées par un type de données. Cette technique évite ainsi de définir plusieurs classes similaires pour décrire un même concept appliqué à plusieurs type de données différents. Elle est largement utilisée pour définir tous les types de containers (comme les listes, les tables, les piles, etc.), mais aussi des algorithmes génériques par exemple. La bibliothèque STL (chapitre 5) en particulier propose une implantation d'un bon nombre de types abstraits et d'algorithmes génériques.

La syntaxe permettant de définir une classe template est similaire à celle qui permet de définir des fonctions template. Voir [PROG. 3.15, 3.16] pour un exemple de classe template, portant sur des points dont la précision de représentation (à partir d'entiers, de réels, etc.) est le type paramètre de la classe.

• Comme dans le cas des fonctions template, tout le code source correspondant à des classes template (y compris la définition de leurs méthodes) doit se trouver dans l'interface de la classe correspondante.
• Une classe template permet de définir des attributs, des paramètres ou des valeurs de retour de méthodes template. De façon réciproque, pour pouvoir définir des entités template à l'intérieur d'une classe, la classe doit elle-même être template.
• Attention à la syntaxe des méthodes template définies en dehors du corps de la classe. La définition se fait : template <class T> typeRetour nomClasse<T>::nomMéthode(params).

Il arrive parfois que l'on souhaite accorder des accès plus fins que les accès public, protected ou private proposés par défaut. En particulier, il peut être intéressant d'accorder des accès aux attributs ou aux méthodes à certaines classes clientes, tout en protégeant ce même accès vis-à-vis des autres classes.

Un des exemples les plus fréquents est la surcharge de l'opérateur << permettant d'afficher un objet. En effet, afin de concaténer les opérateurs successivement (p.ex. cout << a << b << c << endl;), le profil de la fonction est défini comme :

ostream& operator<<(ostream&, Classe&);

où Classe est la classe qui est manipulée. Dans ce contexte, l'opérateur << n'est alors pas défini comme membre de chaque classe, mais comme opérateur à portée globale, devant être surchargé pour chaque type à manipuler. Problème : comment autoriser cet opérateur à accéder à des attributs de classe, tout en protégeant ce même accès vis-à-vis des autres classes ? C++ introduit pour cela la notion d'amitié, dont une définition intuitive est : « Un ami est quelqu'un qui peut toucher vos parties privées. » En clair, un ami peut accéder aux attributs et aux méthodes protégées ou privées d'une classe. Cela permet de surcharger << comme présenté [PROG. 3.17].

template <class T>
class Point {
public :
	// Constructeur par défaut
	Point() : _x(0), _y(0) {}

	// Constructeur
	Point(T x, T y) : _x(x), _y(y) {}

	// Accès à x
	const T x() const {return _x;}

	// Accès à y
	const T y() const {return _y;}

	// Translation
	void translation(T x, T y);

protected:
	T _x; // Abcisse
	T _y; // Ordonnée
};

template <class T> void
Point<T>::translation(T x, T y)
{
	_x += x;
	 _y += y;
}

#include "Point.H"

int main()
{
	Point<int> pointEntier(2, 3);
	Point<float> pointReel(3.14, 2.27);

	pointReel.translation(pointEntier.x(), pointEntier.y());
}

#include <iostream>

class Article {
public:
	// Un exemple de fonction amie
	friend ostream& operator<<(ostream&, Article&);

	// Un exemple de classe amie
	friend class uneClasse;

	// Un exemple de méthode amie
	friend void autreClasse::methode();

protected:
	char* _nom; // Nom de l'article
	float _prixBrut; // Prix brut de l'article
	int _quantite; // Quantité en stock
};

ostream& operator<<(ostream& os, Article& art)
{
	os << "Article " << art._nom
	   << ", prix : " << art._prixBrut
	   << ", quantité : " << art._quantite
	   << endl;

	 return os;
}

C++ permet de définir de cette manière des classes et des fonctions amies, suivant les accès que l'on souhaite autoriser. La notion d'amitié constitue une infraction aux règles d'encapsulation, mais s'avère utile dans certaines situations ; elle est généralement utilisée avec parcimonie.

Jusqu'à présent, les attributs et méthodes tels que nous les avons définis ont toujours été liés aux objets. En effet, dans le cas d'un attribut, une valeur différente de cet attribut peut être associée à chaque objet. De même, les méthodes sont toujours invoquées par rapport à un objet et ne peuvent pas être appelées en dehors de tout contexte.

Dans certains cas, ce comportement n'est cependant pas toujours souhaité. On peut en effet avoir envie de rattacher un attribut non pas à chaque instance d'une classe, mais à la classe elle-même. De la même manière, il peut parfois être utile de pouvoir invoquer une méthode dans le contexte d'une classe et non dans celui d'un objet. Cette fonctionnalité est possible en C++ grâce aux membres statiques, appelés également variables et méthodes de classe (par opposition aux variables et méthodes d'instance que nous avons étudiés jusqu'à présent).

Par exemple, si nous souhaitons attribuer automatiquement un numéro d'article à chaque nouvel article que nous créons, il est possible de définir un compteur statique au niveau de la classe article. Ce compteur n'aura plus alors qu'à être incrémenté à chaque nouvel création d'article. La modification s'opère donc au niveau de l'interface de la classe (pour la définition de ce nouvel attribut), ainsi que dans le ou les constructeurs de cette classe [PROG. 3.18, 3.19]. Dans cet exemple, l'attribut _prochainNumero est

class Article {
public:
	// Constructeur.
	Article();

	// Accès au numéro de l'article.
	int numero() const {return _numero;}

protected:
	int _numero; // Numéro de l'article
	static int _prochainNumero; // Variable de classe
};

#include "Article.H"

int Article::_prochainNumero = 0;

Article::Article()
{
	_numero = _prochainNumero++;
}

donc commun à toutes les instances de la classe Article. En effet, étant donné que cette variable est une variable de classe, elle est partagée par tous les objets issus de la classe Article. Attention à la syntaxe de l'initialisation de telles variables : l'initialisation est impérativement unique et se trouve dans le fichier d'implémentation de la classe, en rappelant tous les éléments du contexte (type de la variable et classe d'appartenance).

Cette variable possède des propriétés supplémentaires : il est possible (mais pas nécessaire) d'y accéder sans passer par un objet. En effet, cette variable existant indépendamment des objets qui sont créés, il est également possible d'y accéder ou de la modifier, même si aucune instance de la classe Article n'est disponible. Pour cela, il suffit de définir des méthodes de classes, c'est-à-dire des méthodes statiques, qui peuvent être appelées en dehors du contexte d'un objet ; il est cependant alors nécessaire de préciser le contexte de la classe [PROG. 3.20, 3.21].

Attention : une méthode statique pouvant être appelée en dehors du contexte d'un objet, il est impossible d'y intégrer des accès aux membres (attributs ou méthodes) non statiques de la classe. Il est également impossible, pour les mêmes raisons, de faire référence au pointeur this à l'intérieur d'une méthode statique.

La définition de membres statiques est très utile pour définir et utiliser des variables dont le comportement est proche de variables globales. Il existe cependant des avantages à définir des membres statiques

class Article {
public:
	// Constructeur.
	Article();

	// Accès au numéro de l'article.
	int numero() const {return _numero;}

	// Accès au prochain numéro d'article.
	static int prochainNumero() const {return _prochainNumero;}

protected:
	int _numero; // Numéro de l'article
	static int _prochainNumero; // Variable de classe
};

int main()
{
	int pn;

	pn = Article::prochainNumero();
}

• Les règles de masquage de l'information sont respectées. En particulier, une variable statique peut être publique ou privées, alors qu'une variable globale ne peut être que publique.
• Une variable membre statique est définie à l'intérieur d'une classe et ne peut donc pas interférer avec les membres définis dans les autres classes (pas de conflit de noms).

L'héritage, qui a été évoqué [§ 1.4.3], est une technique de plus permettant de servir la réutilisabilité. Son objectif est de permettre la définition aisée de sous-types, correspondant à une spécialisation (à l'extension) de types existants. Imaginons en effet que nous souhaitions implanter une classe Boisson.

Les boissons sont des sortes d'articles et doivent comporter à ce titre les même attributs que tout article (_nom, _prixBrut, _quantite), ainsi qu'un autre qui est spécifique aux boissons : _volume.

L'héritage permet de réutiliser la définition de la classe Article pour définir la classe boisson.

La dérivation de classe est la technique qui consiste à faire hériter une classe d'une autre classe en C++. Au niveau terminologique, on dit ainsi qu'une classe B est dérivée d'une classe A si elle en hérite. La classe A est alors appelée superclasse ou classe de base de la classe B. Dans l'exemple évoqué au paragraphe précédent, la classe Boisson est une classe dérivée de la classe Article puisqu'elle la spécialise. Pour spécifier en C++ qu'une classe B hérite d'une classe A, on déclare la classe B de la manière suivante :

class B : <mode_dérivation> class A { ... };

où le mode de dérivation permet de fixer le statut des membres (attributs, fonctions) de la classe B en fonction du statut des membres de la classe A (voir le tableau [TAB. 4.1] pour un récapitulatif des différents cas possibles). Le mode de dérivation par défaut est le mode private, mais le mode de dérivation le plus courant est le mode public : c'est celui qui permet de donner les même statuts aux membres dérivés que ceux des membres de base. Une définition de la classe Boisson dans ce contexte est donnée [PROG. 4.2].

#include <string.h>

//
// Classe Article
//

class Article {
public:
	// Constructeur
	Article(const char* nom, float prixBrut,
	        int quantite = 0, float tva = 1.206)
		: _prixBrut(prixBrut), _quantite(quantite), _tva(tva)
	{
		_nom = new char[strlen(nom) + 1];
		strcpy(_nom, nom);
	}

	// Prix brut de l'article
	float prixBrut() const;

	// Prix net de l'article
	float prixNet() const {return _prixBrut * _tva;}

protected:
	char* _nom; // Nom de l'article
	float _prixBrut; // Prix brut de l'article
	int _quantite; // Quantité en stock
	float _tva; // TVA appliquée à l'article
};

//
// Classe Boisson
//

class Boisson : public Article {
public:
	// Constructeur
	Boisson(const char* nom, float prixBrut, int volume, int quantite = 0)
		: Article(nom, prixBrut, quantite), _volume(volume) {}

	// Accès au volume
	int volume() const {return _volume;}

protected:
	int _volume; // Volume de la boisson (cl)
};

Note : un attribut correspondant à la TVA a également été ajouté au niveau de la classe Article.

La classe Boisson, qui est avant tout un article, hérite des attributs et des méthodes définis dans la classe Article, en dehors des constructeurs, du destructeur, du constructeur de copie et de l'opérateur d'affectation. Le statut de ces membres hérités est fixé par le mode de dérivation. La classe Boisson peut aussi définir de nouveaux membres, comme l'attribut _volume et la nouvelle méthode d'accès à cet attribut.

Lors de la création d'une boisson (c'est-à-dire d'un objet de ce type), tous les constructeurs de la hiérarchie d'héritage sont automatiquement appelés, du plus général (ici Article) au plus particulier (ici Boisson). Le type d'appel fait au constructeur de la classe Article est implanté dans le constructeur de la classe Boisson, en utilisant la même syntaxe que pour initialiser les attributs de classe. Si cet appel n'est pas spécifié, c'est le constructeur par défaut de la classe Article qui est invoqué.

Lors de la destruction de cette même boisson, les différentes destructeurs en présence dans la hiérarchie d'héritage sont successivement appelés, dans l'ordre inverse de celui des constructeurs, c'est-à-dire du plus particulier (Boisson) au plus général (Article).

Note : C++ permet également d'utiliser l'héritage multiple. Cette partie n'est pas abordé dans ce polycopié.

L'héritage permet de bénéficier d'autres fonctionnalités, telles que la redéfinition de méthodes. Supposons, pour illustrer cette technique, que nous souhaitions implanter une classe BoissonAlcoolisee.

• _degre qui correspond au degré d'alcool contenu dans la boisson,
• _accise qui contient le montant des accises 6.

Cette classe hérite donc des attributs et méthodes définis successivement dans les classes Article et Boisson. Cependant, le calcul effectué pour calculer le prix net de la boisson doit être modifié pour prendre en compte les droits d'accise. Pas de problème, l'héritage offre la possibilité de redéfinir la méthode prixNet dans la classe BoissonAlcoolisee [PROG. 4.3]. Pour cela, l'entête de la méthode redéfinie doit être absolument identique à l'original. La méthode prixNet originale reste applicable sur un objet la classe BoissonAlcoolisee, mais il faut pour cela la préfixer du nom de la classe où elle a été définie [PROG. 4.4].

L'avantage de cette technique est qu'il est ainsi possible de disposer de deux méthodes prixNet différentes sur des articles - en fonction du type exact de l'article -, effectuant leur calcul de deux manières différentes, tout en conservant une homogénéité de nom.

Attention : lorsqu'une méthode surchargée est redéfinie dans une classe dérivée, la redéfinition masque toutes les définitions de la méthode de base et pas seulement celles redéfinies.

⁶. Taxe appliquée à certains alcools, proportionnelle au degré d'alcool et au volume.

Un certain nombre de conversions standards sont automatiquement définies entre une classe de base et ses classes dérivées de façon publique. Ainsi, pour une classe A de base et une classe B dérivée de A, des conversions implicites sont définies :

• d'un objet de type B vers un objet de type A,
• d'un pointeur sur un objet de type B vers un pointeur sur un objet de type A,
• d'une référence sur un objet de type B vers une référence sur un objet de type A.

class BoissonAlcoolisee : public Boisson {
public:
	// Constructeur
	BoissonAlcoolisee(const char *nom, float prixBrut, int volume,
	                  float degre, float accise, int quantite = 0)
		: Boisson(nom, prixBrut, volume, quantite),
		_degre(degre), _accise(accise) {}

	// Prix net de l'article
	float prixNet() const
	{
		return ((_prixBrut + _accise * _degre * _volume) * _tva);
	}

protected:
	float _degre; // Degrés de la boisson
	float _accise; // Droits d'accise par degré et litre
};

#include "BoissonAlcoolisee.H"

int main()
{
	Article table("Table", 250, 1);
	BoissonAlcoolisee biere("Bière", 3.40, .25, 4.7, .062);

	cout << "Prix de la table : " << table.prixNet() << endl;
	cout << "Prix de la bière : " << biere.prixNet() << endl;
	cout << "Prix de la bière si elle n'était pas alcoolisée : "
	     << biere.Article::prixNet() << endl;
}

Ce type de conversions n'est pas risqué puisqu'un objet de type B est avant tout un objet de type A. Dans le premier cas (celui des objets), c'est une conversion d'objet qui est effectuée : l'objet de type A est affecté à l'objet de type B. Dans ce cas, seul les attributs définis dans A sont pris en compte, les éventuels attributs supplémentaires définis dans B ne sont pas pris en considération. Dans les deux autres cas (ceux des pointeurs et références), c'est seulement une conversion de type qui est réalisée : l'objet en lui-même n'est pas affecté. Ce qui implique qu'un pointeur sur type A peut pointer vers un objet de type B. C'est ce qu'on appelle le polymorphisme 7. Voir [PROG. 4.5] pour des exemples pratiques de polymorphisme.

⁷. En biologie, c'est la caractéristique d'un organisme qui peut se présenter sous diverses formes sans changer de nature.

#include <iostream>
#include "Article.H"
#include "BoissonAlcoolisee.H"

int main()
{
	// Avec des objets

	Article a("Sucre", 4.55);
	BoissonAlcoolisee b("Biere", 3.4, .25, 4.7, .062);

	cout << a.nom() << endl; // Sucre
	cout << b.nom() << endl; // Biere

	a = b;

	cout << a.nom() << endl; // Biere

	// Avec des pointeurs

	Article *pa = new Article("Sucre", 4.55);
	BoissonAlcoolisee *pb = new BoissonAlcoolisee("Biere", 3.4, .25,
													4.7, .062);

	cout << pa->prixNet() << endl; // Article::prixNet()
	cout << pb->prixNet() << endl; // BoissonAlcoolisee::prixNet()

	pa = pb;
	cout << pa->prixNet() << endl; // Article::prixNet()

	pb = (BoissonAlcoolisee*) pa; // Juste car pa pointe vers un alcool
	cout << pb->prixNet() << endl; // BoissonAlcoolisee::prixNet()
}

• On ne peut pas accéder aux membres spécifiques à B à travers un pointeur ou une référence de type A. Les seuls membres accessibles sont donc ceux qui sont définis au niveau de la classe A. Un exemple pratique de cette remarque se trouve ligne 29 : même si pa pointe vers un objet de type BoissonAlcoolisee, c'est bien la méthode Article::prixNet qui est appelée.
• Si la conversion implicite marche très bien du type B vers le type A, ce n'est pas le cas de la conversion inverse (d'un objet de type A vers un objet de type B) qui nécessite une conversion de type explicite (un cast). Voir en particulier l'exemple de la ligne 31 qui illustre cette situation. D'autre part, pour réaliser cette conversion, le programmeur doit être sûr qu'elle a un sens, c'est-à-dire que pa pointe effectivement vers une boisson alcoolisée. Il existe plusieurs moyens d'avoir cette assurance (ce qui est utile sur des exemples plus complets que celui présenté) :
  1. Définir dans la classe de base un attribut permettant de stocker un identificateur unique pour chaque classe de la hiérarchie. En interrogeant préalablement cet identificateur avant une conversion de type, on sait exactement quel est le type de l'objet en présence et on peut donc appliquer la conversion ad hoc. Cette technique a longtemps été la seule disponible dans ce genre de situation.
  2. Utiliser les nouveaux opérateurs de conversion définis dans la norme finale C++, qui permettent de réagir dynamiquement face aux types des objets manipulés, sans avoir à implanter quelque chose de plus. Ces nouveaux opérateurs ne sont cependant pas encore supportés par tous les compilateurs C++ et il est toujours recommandé d'utiliser l'ancienne méthode si le programme C++ est destiné à être porté sur d'autres compilateurs que celui utilisé lors de la conception. Ces opérateurs sont décrits [§ C.2].

L'héritage et le polymorphisme sont des fonctionnalités très puissantes pour représenter et manipuler non seulement des objets, mais également des familles d'objets. Il existe cependant une entrave à la bonne maniabilité de ces familles d'objets : c'est la liaison statique des méthodes à la compilation. En effet, dans les exemples que nous avons étudiés jusqu'à présent, le choix de la méthode à appliquer à un objet est déterminé à la compilation. C'est pour cette raison d'ailleurs que l'appel de la ligne 29 présent [PROG. 4.5] a provoqué l'appel de la fonction Article::prixNet. Le compilateur s'est basé sur le type du pointeur pa pour déterminer la méthode concernée et a effectué une liaison statique.

Ce comportement est parfois assez contraignant. Imaginons en effet que nous ayons un tableau de pointeurs sur des objets de type Article et que ces pointeurs pointent vers des articles ou des objets issus des classes dérivées de Article (comme des alcools par exemple), ceci grâce au polymorphisme. Comment faire pour afficher le prix net de chacun des articles contenus dans ce tableau ? Une des solutions est de convertir chacun de ces pointeurs, afin d'accorder leur type avec celui de l'objet pointé et de calculer ensuite le prix net [PROG. 4.6]. Cette solution n'est pas très élégante et le programme doit être modifié à chaque ajout d'un article redéfinissant la méthode prixNet, ce qui pose des problèmes évidents de maintenance…

Pour éviter ce genre de situations, C++ permet de bénéficier de la liaison dynamique. Pour cela, il suffit de définir les méthodes qui sont concernées par ce type de liaison comme virtuelles. Cette définition s'effectue en préfixant la méthode concernée du mot-clé virtual 8 lors de la première déclaration de la méthode . Une méthode déclarée virtuelle dans une classe de base le reste en effet dans toutes les classes dérivées de la hiérarchie. Dès lors, il n'est plus nécessaire de convertir au fur et à mesure les différents articles. La méthode qui correspond au type d'objet manipulé est dynamiquement déterminée, c'est-à-dire pendant l'exécution du programme et non pas lors de sa compilation [PROG. 4.8].

Remarque importante : afin de pouvoir détruire tous les objets comme indiqué ligne 11 [PROG. 4.8], il est nécessaire de déclarer comme virtuel le destructeur de la classe de base (Article). Dans le cas contraire, c'est uniquement le destructeur de la classe de base qui sera appelé sur chacun des articles, quelque soit leur type réel… On déclare donc conventionnellement tous 9 les destructeurs de classe comme virtuels, à moins d'avoir de bonnes raisons de ne pas le faire.

⁸. Attention : ce mot-clé n'est utilisé que lors de déclarations, il ne faut pas le reprendre lors de la définition des méthodes

⁹. Même sur des classes qui ne sont pas destinées à être classe de base d'une hiérarchie. Cela peut éviter des problèmes si ces classes sont finalement dérivées.

#define MAXELTS 1000

int main()
{
	Article *lesArticle[MAXELTS];

	// Initialisation du tableau
	// avec des articles hétérogènes

	for (int i = 0; i < MAXELTS; i++)
		switch (lesArticle[i]->type()) {
		case ARTICLE:
			cout << lesArticle[i]->prixNet() << endl;
			break;

		case ALCOOL:
			BoissonAlcoolisee *ba;

			ba = (BoissonAlcoolisee*) lesArticle[i];
			cout << ba->prixNet() << endl;
			break;

		// Et ainsi de suite pour les autres articles...
		}
}

class Article {
public:

	virtual float prixNet() const;
};

#define MAXELTS 1000

int main()
{
	Article *lesArticle[MAXELTS];

	...

	for (int i = 0; i < MAXELTS; i++) {
		cout << lesArticle[i]->prixNet() << endl;
		delete lesArticle[i];
	}

	// Plus de distinction à faire : la bonne méthode est
	// automatiquement appelée en fonction du type
	// dynamique de l'article courant
}

Nous avons vu dans le paragraphe précédent comment déclarer des fonctions virtuelles. C++ autorise la déclaration de fonctions virtuelles pures, c'est-à-dire de fonctions virtuelles dont la définition n'est pas donnée. Dans l'exemple présenté [PROG. 4.9], une classe FigureGeometrique est définie, destinée à être la classe de base de toutes les figures géométriques. Suivant leurs caractéristiques, ces figures vont être implantées dans diverses classes dérivées (on pourrait imaginer les figures en 2D, en 3D, etc.). Dans ce contexte, la classe FigureGeometrique sert de cadre générique pour la définition des méthodes dans les classes dérivées. Ainsi, chaque figure doit pouvoir être dessinée et c'est ce qui est exprimé par l'intermédiaire de la fonction virtuelle pure dessin.

class FigureGeometrique {
public:
	// Constructeur
	FigureGeometrique();

	// Dessin (Fonction virtuelle pure)
	virtual void dessin() const = 0;

	...
};

La fonction dessin, qui est une fonction virtuelle pure, n'a pas de définition. Cette définition devra être donnée dans les classes dérivées. Lorsqu'une classe, comme la classe FigureGeometrique, possède au moins une méthode virtuelle pure, elle ne peut pas être instanciée. Elle est alors qualifiée de classe abstraite. Si les classes abstraites ne peuvent être instanciées, elles peuvent cependant être utilisées dans le cadre du polymorphisme, ce qui est très pratique pour manipuler de façon homogène une famille d'objets [PROG. 4.10].

#include "FigureGeometrique.H"

#define NBFIG 1000

int main()
{
	FigureGeometrique *lesFigures[NBFIG];
	...
	// Dessin de toutes les figures géométriques

	for (int i = 0; i < NBFIG; i++)
		lesFigures[i]->dessin();
	...
}

La bibliothèque STL (Standard Template Library 10) est certainement l'un des atouts de C++. Cette bibliothèque fournit un ensemble de composants C++ bien structurés qui marchent de façon cohérente et peuvent aussi être adaptés facilement. En effet, il est possible d'utiliser les structures de données proposées par STL avec des algorithmes personnels, les algorithmes de la bibliothèque avec des structures de données personnelles, ou d'utiliser toutes les composantes STL ! Lors de sa conception, l'accent a été mis sur l'efficacité et sur l'optimisation des composants, ce qui en fait un outil très puissant.

Ce chapitre présente les généralités liées à STL. Pour en tirer pleinement partie, une bonne documentation s'avère nécessaire. Un des meilleurs ouvrages de référence de cette bibliothèque est celui de Musser & Saini [Mus 96]. Il est également possible de trouver des informations sur internet :

• http://www.sgi.com/tech/stl/ : manuel d'utilisation de STL.
• http://www.cs.rpi.edu/~musser/doc.ps : autre manuel d'utilisation.

STL contient cinq types de composants : des containers, des itérateurs, des algorithmes, des objetsfonctions et des adaptateurs. Nous nous intéressons dans ce chapitre aux trois premiers composants.

¹⁰. Bibliothèque standard générique.

Les containers sont des objets qui permettent de stocker d'autres objets. Ils sont décrits par des classes génériques représentant les structures de données logiques les plus couramment utilisées : les listes, les tableaux, les ensembles… Ces classes sont dotées de méthodes permettant de créer, de copier, de détruire ces containers, d'y insérer, de rechercher ou de supprimer des éléments. La gestion de la mémoire, c'est-àdire l'allocation et la libération de la mémoire, est contrôlée directement par les containers, ce qui facilite leur utilisation. L'exemple [PROG. 5.1] présente une application où les valeurs entières saisies par un utilisateur sont stockées dans une liste et dans un tableau ; un exemple d'exécution est présenté [PROG. 5.2].

#include <iostream>
#include <vector>
#include <list>

int main()
{
	vector<int> tableauEntiers; // Crée un tableau d'entiers vide
	list<int> listeEntiers; // Crée une liste d'entiers vide
	int unEntier;


	// Saisie des entiers

	cout << "Saisir le prochain entier (-1 pour finir) : ";
	cin >> unEntier;

	while (unEntier != -1) {
		tableauEntiers.push_back(unEntier);
		listeEntiers.push_back(unEntier);

		cout << "Saisir le prochain entier (-1 pour finir) : ";
		cin >> unEntier;
	}

	// Nombre d'éléments des containers

	cout << "Il a y " << tableauEntiers.size()
	     << " éléments dans le tableau" << endl;

	cout << "Il a y " << listeEntiers.size()
	     << " éléments dans la liste" << endl;

	// Accès à des éléments

	cout << "Premier élément du tableau : "
	     << tableauEntiers.front() << endl;

	cout << "Premier élément de la liste : "
	     << listeEntiers.front() << endl;

	int milieu = tableauEntiers.size() / 2;

	cout << "Élément de milieu de tableau : "
	     << tableauEntiers[milieu] << endl;
}

Saisir le prochain entier (-1 pour finir) : 4
Saisir le prochain entier (-1 pour finir) : 5
Saisir le prochain entier (-1 pour finir) : 3
Saisir le prochain entier (-1 pour finir) : 7
Saisir le prochain entier (-1 pour finir) : 6
Saisir le prochain entier (-1 pour finir) : 3
Saisir le prochain entier (-1 pour finir) : -1
Il a y 6 éléments dans le tableau
Il a y 6 éléments dans la liste
Premier élément du tableau : 4
Premier élément de la liste : 4
Élément de milieu de tableau : 7

• Un certain nombre de méthodes sont disponibles sur tous les types de containers, ce qui permet d'homogénéiser leur utilisation. C'est le cas par exemple de la méthode push_back (lignes 18 et 19) qui insère un nouvel élément à la fin d'un container.
• D'autres méthodes ou opérateurs sont disponibles en fonction du type de container utilisé. L'opérateur [] est disponible sur les objets de type vector, mais pas sur ceux de type list : il permet d'accéder directement à un élément. Plus de précisions sur ces méthodes sont disponibles [§ B.1].
• L'utilisateur n'a pas à se soucier de l'allocation ou de la libération de la mémoire. C'est vrai lors de l'insertion d'éléments (lignes 18 et 19) et aussi à la fin du programme : aucune instruction particulière n'est nécessaire pour restituer la mémoire occupée par les containers. À la sortie du bloc dans lequel ils sont définis, leur destructeur se charge de libérer toutes les ressources occupées.
• Les containers peuvent manipuler n'importe quel type de données, à partir du moment où la classe correspondante est dotée d'un certain nombre de méthodes nécessaires à STL (pour une classe X) :
  • X() : un constructeur par défaut,
  • X(const X&), un constructeur par copie,
  • operator=(const X&) : l'opérateur d'affectation,
  • operator==(const X&) : l'opérateur d'égalité,
  • operator<(const X&) : l'opérateur inférieur (utile uniquement pour les tris).

• vector : container implantant les tableaux, qui autorise les accès directs sur ses éléments. Les opérations de mise à jour (insertion, suppression) sont réalisées en un temps constant à la fin du container et en un temps linéaire (dépendant du nombre d'éléments) aux autres endroits.
• list : container implantant les listes doublement chaînées, dédié à la représentation séquentielle de données. Les opérations de mise à jour sont effectuées en un temps constant à n'importe quel endroit du container.
• deque : container similaire au vector, effectuant de plus les opérations de mise à jour en début de container en un temps constant.
• set : container implantant les ensembles où les éléments ne peuvent être présents au plus qu'en un seul exemplaire.
• multiset : container implantant les ensembles où les éléments peuvent être présents en plusieurs exemplaires.
• map : container implantant des ensembles où un type de données appelé clé est associé aux éléments à stocker. On ne peut associer qu'une seule valeur à une clé unique. On appelle aussi ce type de container tableau associatif.
• multimap : container similaire au map supportant l'association de plusieurs valeurs à une clé unique.
• stack : container implantant les piles, qui sont des listes spéciales, dites LIFO 11.
• queue : container implantant les files, qui sont des listes spéciales, dites FIFO 12.

¹¹. Last In, First Out : dernier entré, premier sorti.

¹². First In, First Out : premier entré, premier sorti.

Une carte de référence sur les containers existants et sur les méthodes dont ils dont dotés est disponible [§ B.1].

Les itérateurs sont une généralisation des pointeurs, ce qui permet au programmeur de travailler avec des containers différents de façon uniforme. Ils permettent de spécifier une position à l'intérieur d'un container, peuvent être incrémentés ou déréférencés (à la manière des pointeurs utilisés avec l'opérateur de déréférencement '*') et deux itérateurs peuvent être comparés. Tous les containers sont dotés d'une méthode begin qui renvoie un itérateur sur le premier de leurs éléments et d'une méthode end qui renvoie un itérateur sur une place se trouvant juste après le dernier de leurs éléments. On ne peut ainsi pas déréférencer l'itérateur renvoyé par la méthode end. Un exemple d'utilisation des itérateurs se trouve [PROG. 5.3].

#include <iostream>
#include <list>

int main()
{
	list<int> lesEntiers;

	// Ici, des instructions pour initialiser la
	// liste des entiers

	...

	// Affichage des éléments contenus dans la liste

	list<int>::iterator it;

	for (it = lesEntiers.begin(); it != lesEntiers.end(); it++)
		cout << *it << endl;
}

Ces itérateurs sont dotées de méthodes permettant de les manipuler, décrites [§ B.2]. Il existe une hiérarchie d'itérateurs (qui n'est pas liée à un quelconque héritage) :

• Les itérateurs d'entrée (input iterators) : ils permettent d'accéder séquentiellement à des sources de données. Cette source peut-être un container, un flot.
• Les itérateurs de sortie (output iterators) : ils permettent de préciser la localisation d'une destination permettant de stocker des données. Cette source peut-être un container, un flot.
• Les itérateurs à sens-unique (forward iterators) : ils sont dotés de toutes les méthodes des itérateurs d'entrée et de sortie. Ils sont utilisés pour parcourir séquentiellement une séquence de données dans un sens. Ils ne peuvent pas être utilisés pour effectuer des retours en arrière.
• Les itérateurs à double-sens (bidirectional iterators) : ils sont dotés de toutes les méthodes des itérateurs à sens-unique. Ils sont également utilisés pour effectuer des parcours séquentiels de données, qu'ils peuvent effectuer dans les deux sens.
• Les itérateurs à accès direct (random-access iterators) : ils sont dotés de toutes les méthodes des itérateurs à double-sens. Ils permettent d'accéder directement à des valeurs contenues dans un container, sans être obligé d'y accéder séquentiellement.

Tous les containers disponibles sous STL fournissent au moins des itérateurs à double-sens et certains fournissent des itérateurs à accès direct (voir [§ B.1] pour les itérateurs par défaut renvoyés par chaque type de container).

Les algorithmes sont des fonctions C++ génériques qui permettent d'effectuer des opérations sur les containers. Afin de pouvoir s'appliquer à plusieurs types de containers, les algorithmes ne prennent pas de containers en arguments, mais des itérateurs qui permettent de désigner une partie ou tout un container.

De ce fait, il est même possible d'utiliser ces algorithmes sur des objets qui ne sont pas des containers. On peut par exemple utiliser un istream_iterator (voir [§ B.2]) comme paramètre d'un algorithme, qui va alors s'appliquer à l'entrée standard. Certains algorithmes ne nécessitent que des itérateurs de base (d'entrée ou de sortie) et d'autres nécessitent des itérateurs plus évolués, comme la fonction sort 13 (effectuant un tri) qui nécessite un itérateur à accès direct.

Les algorithmes disponibles sont décrits en annexe [§ B.3]. Pour les utiliser, il suffit d'inclure l'en-tête algorithm. Un exemple d'utilisation des algorithmes est présenté [PROG. 5.4] et un résultat produit à partir de cet exemple est présenté [PROG. 5.5].

¹³. Du coup, cet algorithme n'est pas applicable sur les listes qui ne fournissent que des itérateurs à double sens. C'est pour cette raison que la classe list est dotée d'une méthode sort.

#include <iostream>
#include <vector>
#include <algorithm>

int main()
{
	vector<int> tableauEntiers; // Crée un tableau d'entiers vide
	int unEntier;

	// Saisie des entiers

	cout << "Saisir le prochain entier (-1 pour finir) : ";
	cin >> unEntier;

	while (unEntier != -1) {
		tableauEntiers.push_back(unEntier);

		cout << "Saisir le prochain entier (-1 pour finir) : ";
		cin >> unEntier;
	}

	// Tri du tableau

	sort(tableauEntiers.begin(), tableauEntiers.end());

	// Affichage des éléments triés

	vector<int>::iterator it;

	for (it = tableauEntiers.begin(); it != tableauEntiers.end(); it++)
		cout << *it << " ";

	cout << endl;
}

Saisir le prochain entier (-1 pour finir) : 5
Saisir le prochain entier (-1 pour finir) : 3
Saisir le prochain entier (-1 pour finir) : 8
Saisir le prochain entier (-1 pour finir) : 10
Saisir le prochain entier (-1 pour finir) : 3
Saisir le prochain entier (-1 pour finir) : 6
Saisir le prochain entier (-1 pour finir) : 9
Saisir le prochain entier (-1 pour finir) : -1
3 3 5 6 8 9 10

La classe ios est la classe de base des classes représentant les flots. Toutes les classes de flot présentées ci-dessous héritent donc de cette classe et des méthodes qu'elle définit (non exhaustif) :

• int ios::good() : retourne une valeur nulle s'il y a eu un échec lors de la dernière opération d'entrée-sortie et une valeur non nulle sinon.
• int ios::fail() : retourne le contraire de la méthode précédente.
• int ios::eof() : retourne une valeur non nulle si la fin de fichier est atteinte et la valeur nulle sinon.

La classe ios définit aussi un certain nombre de méthodes relatives au format des informations manipulées (non exhaustif) (voir [PROG. A.1] pour un exemple d'utilisation) :

#include <iostream>

int main()
{
	cout << "Largeur standard : "
	     << cout.width() << endl; // Affiche : 0

	cout.width(10);
	cout.fill('#');

	cout << 654 << endl; // Affiche : #######654
}

• int ios::width(int n) : positionne la largeur du champ (le nombre de caractères) de sortie.
• int ios::width() : retourne la largeur du champ de sortie.
• char ios::fill(char c) : positionne le caractère de remplissage (utilisé pour remplir toute la largeur des champs).
• char ios::fill() : retourne le caractère de remplissage.
• int ios::precision(int p) : positionne la précision, c'est-à-dire le nombre de caractères (y compris le point) qu'occupe un réel.
• int ios::precision() : retourne la précision.

Enfin, cette classe définit un certain nombre d'opérations qui peuvent être utilisées sans les préfixer du flot sur lequel on travaille et autorise ainsi l'écriture de lignes du type :

cout << "La valeur octale de 154 est : " << oct << 154 << endl;

• endl : écrit un '\n' et vide le tampon du flot.
• ends : écrit un '\0' et vide le tampon du flot.
• flush : vide le tampon du flot.
• dec : la prochaine opération d'entrée-sortie se fera en décimal.
• hex : la prochaine opération d'entrée-sortie se fera en hexadécimal.
• oct : la prochaine opération d'entrée-sortie se fera en octal.
• ws : saute les espaces lors d'une lecture sur un flot d'entrée.
• setfill(int c) : positionne le caractère de remplissage pour la prochaine opération d'entréesortie.
• setprecision(int p) : positionne la précision de la prochaine opération d'entrée-sortie à p chiffres.
• setw(int n) : positionne la largeur de la prochaine entrée-sortie à n caractères.

Cette classe est dédiée aux sorties formatées ou non. Un objet de type ostream est défini par défaut dans tout programme C++ : c'est la variable cout. La classe ostream surcharge l'opérateur << pour tous les types prédéfinis du C++. Il faut, si besoin est, le surcharger pour les nouveaux types introduits. Un exemple de surcharge est présenté [§ 3.10]. En plus de l'opérateur <<, la classe ostream est dotée des méthodes suivantes (non exhaustif) :

• ostream &ostream::put(char c) : insère un caractère dans le flot.

Exemple : cout.put('\n').

• ostream &ostream::write(const char *, int n) : insère n caractères dans le flot.
• ostream &ostream::flush() : vide le tampon du flot.

Cette classe est dédiée aux entrées formatées ou non. Un objet de type istream est défini par défaut dans tout programme C++ : c'est la variable cin. La classe istream surcharge l'opérateur >> pour tous les types prédéfinis du C++. Il faut, si besoin est, le surcharger pour les nouveaux types introduits. Un exemple de surcharge est présenté [§ 3.10]. En plus de l'opérateur >>, la classe istream est dotée des méthodes suivantes (non exhaustif) :

• int istream::get()  retourne la valeur du caractère lu (EOF si la fin du flot est atteinte).
• istream &istream::get(char &c)  extrait le premier caractère du flot (même si c'est un espace) et le place dans c.
• int &istream::peek()  lit le prochain caractère du flot sans l'enlever du flot (renvoie EOF si la fin du flot est atteinte).
• istream &istream::get(char *ch, int n, char delim = '\n')  extrait (n - 1) caractères du flot et les place à l'adresse ch (le tampon). La lecture s'arrête éventuellement après le délimiteur s'il est rencontré.
• istream &istream::getline(char *ch, int n, char delim = '\n')  identique à la méthode précédente sans placer le délimiteur dans le tampon.
• istream &istream::read(char *ch, int n)  extrait au plus n caractères du flot et les place à l'adresse ch. Le nombre de caractères effectivement lus peut être obtenu grâce à la méthode gcount.
• int istream::gcount()  retourne le nombre de caractères extraits lors de la dernière lecture.
• istream &istream::flush()  vide le tampon du flot.

Les entrées-sorties sur les fichiers sont également réalisées avec des flots en C++. Ce type d'opérations nécessite l'inclusion de l'en-tête fstream en plus de l'en-tête iostream. Les deux grandes classes permettant de réaliser ces opérations sont :

• La classe ofstream : cette classe est dédiée aux écritures réalisées dans des fichiers. La classe ofstream est dérivée de la classe ostream et bénéficie donc de toutes les méthodes définies dans cette classe. Un exemple d'utilisation est présenté [PROG. A.2].

#include <iostream>
#include <fstream>

int main()
{
	// Deux modes d'ouverture sont possibles :
	// - ios::out -> création, fichier écrasé si existant
	// - ios::app -> ajout en fin de fichier

	ofstream fichierSortie("donnees.txt", ios::out);

	// Test d'ouverture du fichier

	if (!fichierSortie) {
		cerr << "Problème d'ouverture de fichier" << endl;
		exit(1);
	}

	fichierSortie << "J'écris des caractères dans le fichier "
	              << "et des nombres : " << 10 << " " << 20
	              << endl;

	// Fermeture du fichier

	fichierSortie.close();
}

• La classe ifstream : cette classe est dédiée aux lectures réalisées dans des fichiers. La classe ifstream est dérivée de la classe istream et bénéficie donc de toutes le méthodes définies dans cette classe. Un exemple d'utilisation est présenté [PROG. A.3].

#include <iostream>
#include <fstream>

int main()
{
	// Ouverture du fichier

	ifstream fichierEntree("donnees.txt", ios::in);

	// Test d'ouverture du fichier

	if (!fichierEntree) {
		cerr << "Problème d'ouverture de fichier" << endl;
		exit(1);
	}

	char buf[1024];

	// Tant qu'il a y des lignes dans le fichier, on les
	// lit et on les affiche à l'écran

	while (!fichierEntree.eof()) {
		fichierEntree.getline(buf, 1024);
		cout << buf << endl;
	}

	// Fermeture du fichier

	fichierEntree.close();
}

• Certains types prédéfinis (typedefs) :
  • size_type
  • pointer
  • const_pointer
  • reference
  • const_reference
• Des types prédéfinis pour la création d'itérateurs :
  • iterator
  • const_iterator
  • reverse_iterator
  • const_reverse_iterator
• constructor() : pour la création de containers vides
• copy-constructor()
• destructor()
• bool empty() const
• size_type size() const : nombre d'éléments du container
• size_type max_size() const : capacité (mémoire occupée) maximum du container
• container-ref operator=(const-container-ref) : remplacement de tout le contenu
• void swap(container-ref) : inverse tout le contenu
• bool operator==(const-container-ref) : teste l'égalité sur tous les éléments
• bool operator<(const-container-ref)
• begin() et end() : méthodes pour accéder au contenu
• insert()

Propriétés des containers

Propriété des itérateurs

Itérateurs spéciaux

Dans le tableau suivant, les arguments des fonctions et des valeurs de retour sont codés de la manière suivante :

Algorithmes en STL

Les namespaces (espaces de noms) ont été principalement introduits dans la norme définitive de C++ pour gérer les gros projets. Dans ce type de projet, il n'est pas rare d'utiliser plusieurs bibliothèques C++ qui peuvent parfois définir les mêmes identificateurs, ce qui génère des conflits. Avec les namespaces, il ne doit plus y avoir de conflits de noms : les déclarations restent cachées dans un namespace jusqu'à ce qu'on fasse explicitement appel à lui.

Pour définir un namespace, il faut utiliser le mot-clé namespace comme cela est présenté [PROG. C.1]. La déclaration d'un même namespace peut être réalisée dans plusieurs fichiers d'interface, le namespace

namespace MonNameSpace
{
	// Toutes les déclarations sont regroupées
	// dans ce bloc

	int f();

	// D'autres déclarations...

}	// Fin du namespace

complet résultant alors de l'union des déclarations. Dans l'exemple présenté, le nom complet de la fonction f devient MonNameSpace::f, selon une syntaxe qui est similaire à celle des méthodes membres de classe. Cependant, afin de ne pas être contraint de désigner la fonction f par rapport à son namespace lorsqu'il n'y a pas de risque de conflit, des facilités d'utilisation sont disponibles grâce à la définition d'alias ou à l'utilisation du mot-clé using [PROG. C.2]. L'utilisation de ces directives est cependant à bannir des fichiers d'interface, pour éviter des conflits qui pourrait apparaître dans les modules incluant ces interfaces. Du coup, la plupart des déclarations de la bibliothèque standard C++ ont été regroupées dans un namespace, appelé std.

// Si on souhaite définir un alias sur le nom d'un
// namespace

namespace mon = MonNameSpace;

mon::f(); // Appelle MonNameSpace::f()

// Si la fonction f est la seule à être présente,
// on peut déclarer

using MonNameSpace::f;

f(); 	// Appelle MonNameSpace::f()

// 	Si on souhaite bénéficier de toutes les déclarations
// 	d'un namespace sans avoir à les préfixer du nom
// 	du namespace

using namespace MonNameSpace;

Dans les nouveautés introduites dans la norme finale du langage, on trouve également de nouveaux opérateurs de conversion (casting). Ils sont particulièrement utiles dans des contextes tels que le polymorphisme, afin de convertir un objet d'une classe de base vers une classe dérivée [§ 4.4]. En effet, jusqu'à l'introduction de ces opérateurs, ce type de conversion délicate reposait entièrement sur les épaules du programmeur, qui avait la charge de vérifier la validité de la conversion avant de la réaliser. Du coup, cela pouvait engendrer quelques problèmes de sécurités, que ces nouveaux opérateurs sont sensés résoudre.

Certains nouveaux casts se basent sur une fonctionnalité ajoutée il y a peu au langage C++ : la RunTime Type Identification (RTTI) 14. L'objectif 15 de ces nouveaux opérateurs est de disposer d'une syntaxe améliorée, plus claire, d'une sémantique moins ambiguë et de réaliser des conversions de types en toute sécurité.

¹⁴. Identification des types au cours de l'exécution.

¹⁵. Ça ne reste qu'un objectif pour certains d'entre eux (NdA).

Ces nouveaux opérateurs sont au nombre de 4 :

1. L'opérateur static_cast<T>(expr) : cet opérateur est utilisé pour effectuer des conversions qui sont résolues à la compilation. Il peut être utilisé pour convertir un pointeur (ou une référence) sur une classe de base vers un pointeur (ou une référence) sur une classe dérivée. L'opérateur n'effectue aucune vérification au cours de l'exécution (comme son nom l'indique) et doit donc être utilisé pour des conversions non ambiguës. Mal utilisé, il renvoie un résultat indéfini. Il doit surtout être utilisé pour effectuer des conversions arithmétiques. Il est assez proche de la conversion traditionnelle, mais permet de supprimer des trous de sécurité qui existaient.

2. L'opérateur const_cast<T>(expr) : cet opérateur permet de supprimer la constance d'un objet. Ce n'est pas très naturel, mais utile dans certaines situations ; il doit être ainsi utilisé avec parcimonie. Un exemple d'utilisation se trouve [PROG. C.3]. De même, il peut être utilisé à l'intérieur d'une méthode de classe constante : en l'appliquant sur le pointeur this, on peut modifier par la suite l'objet courant (!).

3. L'opérateur dynamic_cast<T>(expr) : c'est certainement l'un des nouveaux opérateurs les plus intéressants. Il peut uniquement être utilisé sur des pointeurs ou des références pour naviguer

void f(Article &i)
{
}

void g(const Article &j)
{
	f(j); // Erreur : j est constant et f n'attend pas un const
	f(const_cast<Article&> (j)); // Ok
}

dans une hiérarchie de classes. Il peut être utilisé pour convertir un objet d'une classe dérivée vers un objet d'une classe de base ou inversement. Dans le premier cas, c'est une classique conversion statique qui est effectuée tandis que dans le second cas c'est une conversion dynamique qui est réalisée, en se basant sur le système RTTI. Dans ce cas, si la conversion est possible, l'opérateur de conversion renvoie un pointeur valide, ou un pointeur nul sinon. Cette fonctionnalité est très puissante comme le montre l'exemple [PROG. C.4].

#define MAXELTS 1000

int main()
{
	Article *lesArticle[MAXELTS];

	// Initialisation du tableau avec des articles hétérogènes
	// Deux cas différenciés : Alcools ou autres articles

	for (int i = 0; i < MAXELTS; i++) {
		BoissonAlcoolisee *ba;

		ba = dynamic_cast<BoissonAlcoolisee*> (lesArticle[i]);

		// Si l'article est un alcool, affichage du nom et du
		// degré d'alcool. Affiche du nom uniquement sinon.

		if (ba)
			cout << ba->nom() << " (" << ba->degre() << ")" << endl;
		else
			cout << lesArticle[i]->nom() << endl;
	}
}

4. L'opérateur reinterpret_cast<T(expr) : cet opérateur peut être utilisé pour convertir des objets dont les types ne sont pas en relation. Le résultat de la conversion est dépendante de l'implantation et n'est ainsi pas portable. Il peut être utilisé dans certains contextes particuliers de conversion entre types de pointeurs de fonctions.

Conclusion : parmi les nouveaux opérateurs introduits, seuls le static_cast et le dynamic_cast sont relativement conformes à l'approche objet. Ils sont à utiliser en priorité.

• Sous Windows :
  • DJGPP (http://www.delorie.com/djgpp/). C'est un système complet de développement C/C++ tournant sous DOS, donc en mode texte. Il comprend un éditeur multifichiers, un compilateur, un gestionnaire de projet et un débogueur. Si l'environnement est plus austère que celui de CodeWarrior, le compilateur en revanche est plus récent (il s'agit en fait de GCC 2.95). Il peut être téléchargé librement à partir de http://www.telecharger.com/ par exemple. Nous recommandons de sélectionner les packages suivants : bnu281b, djdev202, gcc2951b, gpp2951b, lgp2951b, rhide14b et de se référer au fichier lisezmoi.1^er (répertoire v2) pour la procédure d'installation.
  • DEV-C++ (http://www.bloodshed.net/devcpp.html). Là aussi, c'est un système complet de développement C/C++, tournant cette fois sous Windows directement. Comme DJGPP, il comprend un éditeur multifichiers, un compilateur, un gestionnaire de projet et un débogueur. Le compilateur de base est d'ailleurs le même : GCC 2.95. Il peut être téléchargé librement à partir de http://www.telecharger.com/.
  • PRODUITS BORLAND (http://www.borland.fr/download/compilateurs/). Borland met gratuitement à la disposition de la communauté des développeurs ses compilateurs, dont les célèbres Turbo C++ et Borland C++. Le premier comprend un environnement complet en mode semi-graphique et le deuxième correspond à un compilateur utilisable en ligne de commande, fourni avec quelques outils annexes.
• Sous Unix : GCC. Les sources sont téléchargeables à partir de [ftp://ftp.gnu.org/pub/%20gnu/gcc/], mais l'installation est plus délicate. Il est livré en standard avec certains systèmes Unix (comme Linux), ce qui permet d'éviter l'étape d'installation. Les débogueurs du monde Unix livrés en standard ne sont généralement pas très conviviaux, mais il est possible de récupérer un débogueur graphique (DDD) à l'adresse http://www.gnu.org/software/ddd/. Les personnes travaillant sous Unix utiliseront généralement leur éditeur de texte favori (comme Emacs ou XEmacs) pour compléter cet environnement. Il existe cependant une version sous Unix similaire à celle proposée pour Windows (donc en mode texte) : c'est RHIDE, qui est disponible à http://www.rhide.com/.

Je tiens à remercier tout particulièrement Gérald Masini et Karl Tombre qui m'ont aidé dans la rédaction de ce polycopié en me fournissant des documents sur le langage C++, utilisés en partie comme base de travail.