Cours C++ : Les opérateurs, les Classes et composition

Département Automatisation et Informatisation                                                                          Année 2005-2006

                                                                                                                                                                   1

Institut des Sciences et Techniques de l’Ingénieur d’Angers                                                     Bertrand Cottenceau

Ce cours est une présentation du langage C++ dans le cadre de la programmation orientée objet. Le langage C++ est une surcouche du langage C. Il peut donc s'utiliser comme un « C amélioré » : en utilisant les flots d’entrée-sortie (cin/cout) à la place des fonctions scanf et printf, en utilisant des objets de la classe string plutôt que les chaînes de caractères du C, ou encore en utilisant les conteneurs vector de la bibilothèque STL à la place des tableaux statiques ou dynamiques. De plus, le C++ introduit la notion de référence (notion déjà présente en langage Pascal) qui facilite la gestion des paramètres des fonctions et rend obsolète le passage d’argument « par adresse ».

Mais la vocation du C++ est avant tout la mise en oeuvre des concepts de la Programmation Orientée Objet (POO). En POO, un programme ne repose pas seulement sur des appels de fonctions ; il décrit la coopération d'objets. Un objet est une variable structurée avec différents attributs, et l’accès aux attributs se fait par l’intermédiaire de fonctions membres, elles-mêmes attachées à l’objet. Les données (les valeurs des attributs) sont dites encapsulées dans les objets. Vu de l’extérieur, on ne connaît un objet que par ce qu’il sait faire, c’est-à-dire son comportement. 

Cette approche de la programmation rend l’évolution des programmes plus facile. Par exemple, il est possible de changer l’implémentation d’un objet sans changer son comportement. On facilite ainsi le découplage de certaines parties du logiciel. En outre, les objets bien conçus sont facilement réutilisables dans d’autres contextes. 

Pour ces raisons, la POO est très différente de la programmation procédurale. En POO, on ne cherche pas à décomposer un logiciel en fonctions et sous-fonctions. On cherche plutôt à identifier quelles sont les classes d'objets pertinentes pour un problème donné et quelles sont les relations entre ces classes.  Pour appliquer les concepts de la POO, le C++ autorise la définition de classes (attributs, fonctions membres, visibilité des membres), et la mise en œuvre des relations (notamment de composition ou de spécialisation) entre les classes. De plus, des classes standards d’objets sont fournies avec les compilateurs C++: on peut utiliser des objets string pour gérer les chaînes de caractères et les classes stream (istream, ostream, fstream) permettent les entrées-sorties de type clavier/écran/fichiers.

L'objectif de ce cours de C++ est de présenter l’écriture de classes en C++, la façon d'implémenter la composition (voire l'agrégation), ainsi que l'implémentation de la spécialisation (notion de sous-classe). Pour illustrer ces notions, des exemples simples seront donnés. Comme pour tout langage informatique, il convient de comprendre et retenir un certain nombre de techniques et de règles d'écriture justifiées par des critères de performance, ou de validité du code. Des fiches synthétiques résumant les points importants sont fournies. 

Le langage C++ a été conçu par Bjarne Stroustrup au début des années 1980. Le C++ est une surcouche au langage C qui intègre les concepts de la POO. Le C++ préserve donc à de minimes exceptions la syntaxe du langage C. L’objectif de B. Stroustrup en créant ce langage était de faciliter aux programmeurs C la transition vers la programmation orientée objet.

Le C++ est un langage typé. Le compilateur C++ vérifie donc la compatibilité des types lors des opérations arithmétiques, des affectations  et des passages de paramètres aux fonctions.  

2.1.1. Les types primitifs (ou types de base).

Les types primitifs  du C++ sont les mêmes qu’en C, à savoir char, short, int, long, float, double, les variables non signées unsigned char, unsigned short, unsigned int et les variables pointeur char*, short*, int*, double* etc. Le nombre d’octets assigné à chacun de ces types peut varier d’un compilateur à un autre. 

Rappel : la taille d’une variable (exprimée comme multiple de la taille d’un _char) s’obtient à l’aide de l’opérateur sizeof. 

int var;

printf("taille de var=%d, taille d’un char= %d",sizeof(var),sizeof(char));

                     2.1.2.    Les pointeurs 

Les variables pointeurs sont toujours utilisées en C++ notamment pour le passage de tableaux en paramètre d’une fonction.  Rappelons qu’un pointeur représente un type. 

Une variable de type T* est destinée à recevoir l’adresse d’une variable de type _T. 

Lorsque _ptr est une variable pointeur de type _T*,  l’opérateur _* permet de dé-référencer ce pointeur : *ptr est la variable de type _T dont l’adresse est stockée dans la variable _ptr. 

Il est à noter que _ptr est une variable et _*ptr en est une autre. Par ailleurs, l’opérateur _& permet de fournir l’adresse d’une variable. En synthèse on a :

    int var=12; // variable de type int déclarée et initialisée    int * ptr;       // variable de type pointeur sur int non initialisée.

                          // ne pas exécuter *ptr=45 ici, la variable pointeur n’est pas initialisée !!!

  ptr=&var ;  // ptr initialisée avec l’adresse de la variable var.      *ptr=45 ;     // *ptr dé-référence ptr. A cet instant, *ptr est la variable var. 

Rappel : puisque les pointeurs sont typés, le compilateur réalise aussi des vérifications de type impliquant les pointeurs :

 int varI=12;   int * ptrI=&varI;   char varC=12; 

                            char* ptrC=&varC;     

 ptrC=&varI ; // erreur de compilation : char * non compatible avec int *  ptrI=&varC ; // idem : int * pas compatible avec char *

2.1.3.   Les pointeurs et les tableaux.

En C et en C++, le nom d’un tableau correspond à l’adresse de sa première case. De plus, on peut toujours utiliser une variable pointeur comme s’il s’agissait de l’adresse de la première case d’un tableau :

                            int tab[3]={1,2,7}; // tableau de 3 int initialisés

Rappelons que les chaînes de caractères en C sont aussi des tableaux:

char chaine2[26]="bonjour"; // tableau de 26 char dont 8 cases sont initialisées char chaine2[]="bonjour"; // tableau de 8 char initialisés

// surtout pas char * chaine3 ="bonjour";  

2.1.4.   Les structures de contrôle. 

Le C++ utilise la même syntaxe que le langage C pour les différentes structures de contrôle. Les structures de contrôle sont if/else, for et while (ou do  … while).

La structure if(…){…}else{…}

 int entier; printf("Saisir un entier:\n"); scanf("%d",&entier);

if((entier%2)==0)

{

                           printf("Entier pair");

} else {

                           printf("Entier impair");

}

La structure while(…){…} ou do{…}while(…);

 int entier; do {

                           printf("Saisir un entier impair :\n");

                           scanf("%d",&entier);

}

while((entier%2)==0);     //boucle tant que entier pair

La structure for(… ;… ;…){…}

int tab[10]; // réserve un tableau de 10 entiers (non initialisés) int indice;

                      tab[0]=0;          // initialise le premier élément à 0

for(indice=1;indice<10;indice++)

{  tab[indice]=tab[indice-1]+indice; // tab[indice]=indice + (indice-1)+ }

                     2.1.5. Les conversions de type (transtypage ou cast)

Le compilateur C++ utilise et vérifie les types pour s’assurer que les opérations réalisées sont cohérentes et que les paramètres passés à une fonction correspondent aux paramètres attendus. Néanmoins, dans certains cas, le compilateur autorise des conversions implicites (conversions que le compilateur peut déduire grâce au contexte) ou explicites de types. Il faut noter que certaines conversions implicites génèrent tout de même des mises en garde (warnings) au moment de la compilation (par exemple lorsque l’on compare un entier signé avec un entier non signé).

Il y a par exemple conversion implicite quand on affecte la valeur d’une variable de type float à une variable de type int (ou l’inverse). Dans cette situation, le compilateur met en place automatiquement une conversion de type. Cette conversion est dite dégradante (perte d’information) dans le sens float-> int. L’exemple ci-dessous présente quelques conversions de type.

    int varI=513;        // variable entière sur 32 bits signé      char varC;           // variable entière sur 8 bits signé

                           float varF=2.5 ;    // variable utilisant la norme flottant IEEE 32 bits

                            varC=varI; // conversion dégradante

                            varI=varF;   // ici, un warning signale « possible loss of data »

                           printf("%d %d",varC,varI); // affiche 1 (513mod256) et 2(partie entière de 2.5)

Parfois, les incompatibilités de type conduisent à l’échec de la compilation :

    int varI=513;        char * ptrC=&varI; // conversion int* -> char * impossible.

Lorsque le programmeur souhaite outrepasser les incompatibilités de type, celui-ci peut indiquer explicitement la conversion à réaliser. On parle alors de conversion explicite, de transtypage explicite ou encore  de cast. Dans ce cas, le programmeur a la responsabilité de s’assurer de la validité de l’opération.

 int varI=513;

                     char * ptrC=(char *) &varI;       // conversion int*-> char* demandée

printf("%d %d",ptrC[0],ptrC[1]); // affiche les deux octets de poids faible de varI

Lors des conversions explicites (comme ci-dessus), c’est au programmeur de vérifier scrupuleusement ce qu’il fait. Cet aspect du langage donne beaucoup de liberté au programmeur et permet de gérer des problèmes de bas niveau. Mais l’abus de conversions explicites, notamment pour régler des warnings récalcitrants à la compilation, peut conduire à de grosses erreurs de programmation. L’exemple suivant illustre ce qu’il ne faut pas faire même si le compilateur l’autorise.

Les conversions de pointeurs sont parfois utiles pour tromper le compilateur. En revanche les conversions de pointeurs en valeurs numériques (ou l’inverse) sont farfelues. L’exemple précédent montre que le compilateur accepte tout et n’importe quoi dès qu’on utilise les conversions de type.  

Rappelons quelques cast utiles :

T * -> V* : conversion de pointeurs. Les adresses restent intactes car elles ont la même taille. Mais ces adresses ne désignent pas des variables de même type ! A utiliser avec précaution.

float -> int : (dégradant) conserve la partie entière.

int -> float : passage au format flottant IEEE  char -> int : la variable passe sans altération de 8 bits à 32 bits  int -> char : dégradant : les 32 bits sont tronqués aux 8 bits de poids faible.

                     2.1.6. Les fonctions et le passage de paramètres en C (et en C++)

En C++, on utilise abondamment les fonctions au sein des classes (on parlera de fonctions membres ou de méthodes d’une classe). Il est donc nécessaire de rappeler brièvement le mode de transmission des paramètres. 

En C et en C++, les paramètres sont passés à une fonction par copie, c’est-à-dire via la pile. Le programme qui utilise une fonction recopie dans la pile les paramètres d’appel (encore appelés paramètres effectifs). Par conséquent, la fonction appelée n’a accès (dans la pile) qu’à une copie des paramètres effectifs, et non à l’original.  Il faut noter que les variables locales à une fonction sont également des emplacements mémoire alloués dans la pile (comme les paramètres). En résumé, qu’il s’agisse des paramètres ou des variables locales à une fonction, ce sont  des variables temporaires qui n’existent que le temps d’exécution de la fonction.

                           void MaFonction(int param)         // param ppv pAppel

                            {

                                  param++ ;    // ici, param est modifié mais pas pAppel

                            }

void main()

                            {

                                  int pAppel=23;

           MaFonction(pAppel);  // pAppel est recopié dans param        printf("d",pAppel);   // pAppel vaut toujours 23

                            }

Vu différemment, on peut considérer qu’au début de la fonction le paramètre formel (_param) est une variable locale initialisée à l’aide de la valeur du paramètre d’appel, mais qu’il s’agit bien de deux variables distinctes. Ce mode de passage est appelé passage par copie ou passage par valeur. 

Par conséquent, lorsque l’on souhaite qu’une fonction modifie une variable, on n’a pas d’autre choix que de lui fournir l’adresse de la variable à modifier. On appelle souvent cette technique passage de paramètres par adresse.

void MaFonction(int * adrVariable) 

                            {

                                  (*adrVariable)++;

                            }

                            void main()

                            {

  int pAppel=23;   int * adrAppel=&pAppel;   MaFonction(adrAppel) ; 

                                 printf("pAppel =%d",pAppel); //pAppel vaut ici 24

                            }

Remarquez bien que cette fois-ci c’est l’adresse qui est passée par copie, mais on peut désormais modifier la variable désignée par l’adresse contenue dans _adrAppel, peu importe que la variable pointeur _adrAppel ne puisse pas être modifiée par la fonction !

                     2.1.7. Performances liées au mode de transmission des paramètres 

Le mode de transmission des paramètres peut avoir des répercussions sur la rapidité d’exécution.

Considérons le programme suivant où un type structuré _personne est défini.  Une variable de type _personne contient 3 champs : deux tableaux de 30 caractères et un entier non signé. Une variable de type personne a une taille de 64 (60 char + 1 unsigned codé sur 32 bits).

Rappel : pour les pointeurs sur des variables structurées, la notation _ptr->nom est équivalente à

(*ptr).nom

----------------------------------------------------------------------------------- struct personne

{

    char nom[30];      char prenom[30];

                            unsigned age;

}; 

void Affiche(personne p)

{

    printf(" nom : %s prenom : %s age : %d \n",p.nom,p.prenom,p.age); } 

void AfficheBis(personne * ptr)

{

 printf(" nom : %s prenom : %s age : %d \n",ptr->nom,ptr->prenom,ptr->age); }

void main(void)

{

                           personne AM={"Martin","Arthur",32};

 printf("sizeof(AM) = %d\n",sizeof(AM)); // affiche : sizeof(AM)=64 

                            Affiche(AM);

                           AfficheBis(&AM);    // exécution plus rapide que Affiche(AM)

}

-----------------------------------------------------------------------------------

La fonction AfficheBis(personne *) est plus rapide que la fonction Affiche(personne) pour un service équivalent. Pourquoi ? L’appel de la fonction _{Affiche(personne)} nécessite une recopie d’une variable de 64 octets dans la pile, alors que l’appel de la fonction AfficheBis(personne *) ne requiert que la copie d’un pointeur de 32 bits (4 octets). 

Les soucis de performance imposent au programmeur de bien connaître tous ces aspects afin de réaliser les meilleurs choix. On verra qu’en C++ on utilisera le passage de référence plutôt que le passage d’adresse pour améliorer les performances. 

                     2.1.8. Les paramètres constants : garantie d'un code avec moins de bugs

float Division(int num,int den)

{

                          if(den=0) return num;

                          return (float)num/den ;             

} 

La fonction précédente contient une erreur de programmation que le compilateur ne peut détecter. En effet, _den=0 est une affectation et non un test d’égalité. Le paramètre _den prend donc systématiquement la valeur 0. Comment prévenir de telles erreurs ? On peut utiliser le modificateur const pour les paramètres d’entrée (paramètres qui ne sont pas censés évoluer dans la fonction).

float Division(const int num,const int den)

{

 if(den=0) return num;  // error C2166: l-value specifies const object   else return (float)num/den ;  

}

Dans ce cas, le compilateur indique qu’une variable (ou un objet) constante est à gauche d’une affectation (l-value). Le compilateur détecte ainsi très facilement ce type d’erreur. Le programmeur qui prend l’habitude de déclarer comme constants les paramètres d’entrée prévient ce type d’erreur.   

L’opérateur _& ci-dessous correspond à la définition d’une référence (où _T est un type).

T var;

T & ref = variable; // ref est une référence à var

Ci-dessus, _ref est une référence  à la variable _var de type _T. Cela signifie que les identificateurs _var et ref désignent la même variable. Manipuler l'un, revient à manipuler l'autre. Dès lors, _var et _ref sont des synonymes, ou des alias. L'initialisation d'une référence lors de sa déclaration est obligatoire.

-----------------------------------------------------------------------------------

#include <iostream.h> void main(void)

{

                            int I=3;

                            int &refI = I;

                           printf("I = %d \n",I); 

printf("refI = %d \n",refI); 

                           printf("adresse de I = %x \n",&I);               

                           printf("adresse de refI = %x \n",&refI); 

                           printf("Incrément de I (I++)");

                            I++;

printf("refI = %d \n",refI); 

}

-----------------------------------------------------------------------------------

On constate que les variables _I et _refI ont la même adresse.  Elles désignent donc bien la même variable. Puisque _I et _refI sont des alias, modifier l’un revient à modifier l’autre.

                     2.2.1. Les références en C++ : un nouveau mode de transmission de paramètres  

L’utilisation des références faite précédemment ne présente pas d’intérêt particulier. L’utilisation la plus courante en C++ concerne l’échange d’informations avec une fonction. Cette partie du cours est essentielle et doit faire l’objet d’une attention toute particulière La notion de référence va nous affranchir, dans beaucoup de cas, de la technique de passage par adresse rappelée précédemment.  

#include <stdio.h>

                          void f(int &); // noter que le pramètre est une référence

void main(void)

{

                            int pAppel=5;

                            f(pAppel);

                           printf("pAppel = %d \n",pAppel); 

} 

void f(int & pFormel) // pFormel est un alias de pAppel

{

 pFormel++; // ici on  modifie réellement le paramètre d’appel, grâce à l’alias }

Ici le paramètre formel _pFormel de la fonction _{f(int & )} est une référence au paramètre d’appel. Dans ce cas, manipuler le paramètre formel _pFormel revient à manipuler le paramètre d’appel. Par la suite, on appellera ce mode de transmission passage par référence

Le passage d’argument par référence autorise donc la modification du paramètre d’appel au sein de la fonction. Ce mode de passage convient donc aux paramètres de sortie et aux paramètres d’entrée/sortie. De plus, l’utilisation d’une référence est moins lourde que la technique du passage par adresse.

En terme de performances, le passage par référence est équivalent au passage par adresse. Lors de l’appel de la fonction, seule l’adresse du paramètre passé par référence est transmise à la fonction. Le compilateur gère les références grâce à des pointeurs qui sont cachés au programmeur.

                     2.2.2. Les paramètres passés par référence constante : efficacité et robustesse

Le passage par référence est aussi performant que le passage par adresse. Il évite ainsi certaines duplications d’objets volumineux (nécessitant beaucoup d’octets en mémoire). Du coup, cela expose aussi le programmeur à des erreurs de programmation qui se répercutent sur le programme appelant.  Reprenons l’exemple d’une fonction ayant un paramètre d’entrée dont la taille en mémoire est importante. Les différentes fonctions illustrent les modes de passage de paramètres possibles en C++.

----------------------------------------------------------------------------------- struct personne

{

    char nom[30];      char prenom[30];

                            unsigned age;

};

void PassageParValeur(personne p)

{

 /* inconvénient : duplication du paramètre d’appel (64 octets ici)*/  printf(" nom : %s prenom : %s age : %d \n",p.nom,p.prenom,p.age);

}

void PassageParValeurConst(const personne p)

{

                          printf(" nom : %s prenom : %s age : %d \n",p.nom,p.prenom,p.age);

}

void PassageParAdresse(personne * ptr)

{

/* avantage : plus rapide que par copie          inconvénient : les erreurs peuvent se propager au programme appelant */         printf(" nom : %s prenom : %s age : %d \n",ptr->nom,ptr->prenom,ptr->age);

}

void PassageParAdresseConst(const personne * ptr)

{ printf(" nom : %s prenom : %s age : %d \n",ptr->nom,ptr->prenom,ptr->age);

}

void PassageParReference(personne & p)

{

/* avantage : plus rapide que par copie (aussi bien que par adresse) inconvénient : les erreurs peuvent se propager au programme appelant */

                          printf(" nom : %s prenom : %s age : %d \n",p.nom,p.prenom,p.age);

}

void PassageParReferenceConst(const personne & p)

{

/* mode de transmission privilégié en C++ pour les paramètres d’entrée */       printf(" nom : %s prenom : %s age : %d \n",p.nom,p.prenom,p.age);

}

-----------------------------------------------------------------------------------

                     2.2.3. Bilan sur le passage de paramètres en C++ 

On appelle paramètre d’entrée d’une fonction un paramètre dont la valeur est utilisée par la fonction pour réaliser un traitement mais dont la valeur n’est pas modifiée par la fonction. On appelle paramètre de sortie un paramètre dont la valeur en entrant dans la fonction est sans importance mais dont la valeur va être modifiée par la fonction. Enfin, certains paramètres peuvent être à la fois d’entrée et de sortie. En C++, d’après la nature entrée-sortie d’un paramètre et sa taille, on peut choisir le mode de passage de paramètre le plus adapté.

Les paramètres d’entrée : sipeu volumineux  (moins de 4 octets : char, int, float, long …) utiliser le passage par valeur, sinon le passage par référence constante 

Les paramètres de sortie et d’entrée/sortie : passage par référence (le passage par adresse est obsolète) 

Remarque : les tableaux sont toujours passés aux fonctions sous la forme de deux paramètres :

l’adresse de la première case puis la taille du tableau. 

On donne ci-dessous quelques exemples de fonctions simples en C++.

-----------------------------------------------------------------------------------

Fonction Incrementer(E/S param : entier) permettant d’ajouter 1 au paramètre. Le paramètre est

de type entrée-sortie (E/S).

void Incrementer(int & param) { param++ ;}

Fonction PlusUn(E param :entier)  retournant la valeur du paramètre (entier) d’entrée augmentée

de 1. Le paramètre n’est plus ici qu’un paramètre d’entrée.

int PlusUn(int param){ return (param+1); }

Fonction Echanger(E/S a:entier,b :entier) permettant d’échanger les valeurs des deux paramètres. Les deux paramètres sont de type E/S. 

void Echanger(int & a, int & b){

  int c=a ;   a=b ;   b=c ;

      }

Fonction Random(S r:entier)  générant une valeur aléatoire. Le paramètre est de type sortie S. 

void Random(int & r) { r=rand(); }

-----------------------------------------------------------------------------------

En C++, des valeurs par défaut peuvent être fournies à certains paramètres. Dans ce cas, si le paramètre d’appel fait défaut, le paramètre formel de la fonction prend pour valeur la valeur par défaut. 

----------------------------------------------------------------------------------- #include <stdio.h>

                           float Addition(float, float =3);   // 2nd paramètre avec valeur par défaut

void main(void)

                      {      

      printf("%f \n",Addition(10,5)); printf("%f \n",Addition(7)); 

} 

float Addition(float a, float b)

{

                            return a+b;

} -----------------------------------------------------------------------------------

En cas d’absence d’un second paramètre d’appel pour la fonction _Addition(), le second argument prend pour valeur 3. 

Note : les arguments ayant des valeurs par défaut doivent tous figurer en fin de liste des arguments.  Voici quelques exemples, bons et mauvais, de prototypes :

float Addition(float=2, float =3);  // OK float Addition(float=2, float);  // NON !!! float Addition(float=1, float, float =3); // NON PLUS !!!

float Addition(float, float=5, float =3); // OK 

Remarque : la valeur qu’un paramètre doit prendre par défaut doit figurer au niveau du prototype mais pas au niveau de l’en-tête de la fonction.

Définition (Signature) : on appelle signature d’une fonction la combinaison de sa classe (si elle est membre d’une classe) de son identificateur et de la suite des types de ses paramètres. Les 3 fonctions suivantes ont des signatures différentes :

float Addition(float);    float Addition(int,float);   float Addition(float,float ); 

Note : le type de la valeur de retour n’appartient pas à la signature.

En C++, il est possible de définir plusieurs fonctions avec le même identificateur (même nom) pour peu qu’elles aient des signatures différentes. On appelle cela la surcharge de fonction.

L’exemple suivant présente un programme où deux fonctions _Addition() sont définies. Il faut noter qu’il s’agit bien de fonctions différentes et qu’elles ne réalisent donc pas le même traitement. Le compilateur réalise l’appel de la fonction appropriée à partir du type des paramètres d’appel.

-----------------------------------------------------------------------------------

#include<stdio.h> int Addition(int, int=4); float Addition(float, float =3);

void main(void)

{

 float fA=2.5;  float fB=3.7;  int iA=2;  int iB=3;

                           printf("%f \n",Addition(fA,fB));                        

    printf("%i \n",Addition(iA,iB));       printf("%f \n",Addition(fA));      printf("%d \n",Addition(iA)); 

} 

float Addition(float a, float b){ return a+b; }

int Addition(int a,int b){ const int offset=12; return a+b+offset; }

-----------------------------------------------------------------------------------

On va tenter de décrire brièvement ce qui distingue la POO (Programmation Orientée Objet) de la programmation procédurale (C, Pascal).

Les langages procéduraux s'appuient sur les capacités de la machine en terme de découpage en instructions élémentaires et sous-programmes (fonctions) (utilisation de  CALL/RET pour les processeurs Intel). La programmation en langage procédural reste donc très liée aux caractéristiques des processeurs. Dans ce contexte, pour réaliser un logiciel, on fait une analyse fonctionnelle descendante pour mettre en évidence les fonctions principales et les structures de données manipulées par ces fonctions. On découpe le problème initial en sous-problèmes, autant de fois qu'il nous paraît nécessaire, jusqu'à pouvoir résoudre les sousproblèmes par des fonctions de « taille raisonnable ». En pratique, cette approche présente de gros désavantages dans les projets informatiques. D’une part les fonctions écrites spécialement pour un projet sont rarement utilisables dans un autre projet. D’autre part, une modification des structures de données entraîne de multiples points de correction du logiciel. Les logiciels conçus avec cette approche évoluent difficilement et leur maintenance n’est pas aisée.  

Les classes d’objets

La Programmation Orientée Objet (POO) cherche à s'adapter de manière plus naturelle à notre perception de la "réalité". Dans notre quotidien, nous réalisons naturellement une classification de ce qui nous entoure. Nous mettons chaque élément de notre entourage dans une classe d'éléments qui ont des caractéristiques communes fortes. Un élément d’une classe sera appelé de manière générique objet (même s’il s’agit d’un être vivant) par la suite. Les êtres vivants, les végétaux, les minéraux, les véhicules, les téléphones, les ordinateurs, les étudiants, les systèmes électroniques, les meubles sont autant d’exemples de classes d'objets (on rappelle qu’objet prend ici un sens large). Une classe décrit donc un ensemble d’objets.

Les classes ne sont pas nécessairement disjointes.  Par exemple, la classe des êtres humains est une sous-classe des êtres vivants, les hommes/les femmes sont deux sous-classes des êtres humains, les animaux une sous-classe des êtres vivants, les chiens une sous-classe des animaux etc.

Attributs, comportement, état

Dans chacune des classes, les objets sont caractérisés par des attributs et des comportements. La valeur des attributs à un instant donné caractérise l’état d’un objet. Le comportement d’un objet peut avoir des conséquences sur son état et inversement, l’état d’un objet peut contraindre ses comportements possibles (à un instant donné). 

         Objet de la classe des téléviseurs            attributs : taille d’écran, marque, état allumé/éteint, chaîne sélectionnée, volume sonore              comportement : allumer, éteindre, changer de chaîne, régler le volume sonore, …    Objet de la classe des voitures   attributs : marque, modèle, énergie (essence/diesel), puissance, nombre de portes …        comportement : mettre moteur en marche, l'arrêter, changer de vitesse, …   

Dans la notation UML (Unified Modeling Language), les classes sont représentées par des rectangles indiquant quels sont les attributs, leur visibilité (- privé et + public), quelles sont les méthodes accessibles.

Enumérer les attributs et comportements d’un objet n’est pas toujours chose possible. On imagine mal dans un programme de gestion de comptes bancaires,  décrire un client propriétaire d’un compte par l’ensemble de ses caractéristiques morphologiques ou psychologiques. Sans doute qu’on se contentera de le décrire par son état civil plus quelques autres renseignements. Toute représentation d’un objet ou d’une classe d’objets nécessitera d’isoler les attributs et les comportements pertinents pour l’utilisation que l’on fera de cet objet. Cette démarche d’abstraction est arbitraire et est dépendante du contexte d’utilisation de la classe d’objets. En informatique, une classe d’objets va décrire quels sont les attributs et les comportements retenus pour décrire un objet au sein d’un programme. 

Encapsulation des données

Un objet contient des données et des méthodes prévues pour accéder à ces données. L'idée de la POO est de ne pouvoir "dialoguer" avec un objet qu'à travers l'interface constituée par l'ensemble de ses méthodes. Les méthodes jouent donc le rôle d'interface entre les données et l'utilisateur de l'objet. Elles filtrent les accès aux données. Pour assurer cette encapsulation, des mot-clés définissent la visibilité des membres d'une classe.

Les relations entre les objets (par extension, entre les classes)

L’idée de la POO est d’utiliser nos aptitudes naturelles à classifier des objets et à établir des liens entre eux. Dès lors, un logiciel va être le résultat de l’interaction d’objets entre eux. Encore faudra-t-il, avant de faire collaborer des objets entre eux, établir quelles sont les classes d’objets pertinentes , et quelles sont leurs relations.

Il est à noter que différentes relations peuvent apparaître entre des objets ou entre des classes. Deux objets peuvent par exemple s’échanger des données. Par exemple, un objet télécommande communique avec un objet téléviseur…

Deux objets peuvent être en relation du type composant /composite. Un objet voiture est composé d’un objet moteur. La notation UML introduit un lien avec un losange du côté du composite.

Enfin, les différentes classes peuvent être en relation hiérarchique. On peut décrire une classe comme représentant un sous-ensemble d'une classe plus générale. La relation entre une classe et une sousclasse est une relation de type spécialisation/généralisation. La classe des vélos est une sous-classe des véhicules. La classe des véhicules à moteur est une sous-classe des véhicules. Dans ce sens, un véhicule à moteur est plus spécifique qu’un véhicule, ou inversement, un véhicule est plus général qu’un véhicule à moteur. La flèche part d'une sous-classe (ou classe spécialisée) et va vers une classe plus générale (ou super-classe).

Un programme en POO contiendra donc l’écriture des différentes classes d’objets et leur utilisation. Chaque classe sera définie par des attributs (accessibles seulement par les méthodes de la classe), et par des fonctions membres (ou méthodes). Enfin, les relations entre les classes devront également être implémentées. On verra notamment que la relation de généralisation peut être naturellement réalisée en C++. Parfois, pour une même relation, plusieurs réalisations différentes peuvent être implémentées en C++.

Dans un premier temps, on va s’attacher à l’écriture des classes s'appuyant seulement sur des types primitifs. Ceci va nous permettre d’introduire la syntaxe et les automatismes à acquérir pour des classes plus complexes.

Avant d’aller plus loin, notons qu’en C++ des classes standard d’entrée-sortie facilitent la saisie et l’affichage d’informations. Les entrées sorties standard s’effectuent grâce aux objets _cin (entrée standard) et cout (sortie standard). Ces objets sont des instances des classes istream (flot d’entrée) et ostream (flot de sortie). Ces classes sont définies dans le fichier d’entête _iostream (sans .h).

Les objets cin et cout permettent l’affichage et la saisie de tous les types de base  char, int, float … et même les chaînes char *.

---------------------------------------------------------------------------------------

#include<iostream> // définition des classes ostream et istream

using namespace std; // espace de nom utilisé pour ces classes (explication ultérieure) 

void main() {

    char chaine[10]="Toto";      int age=12;

 cout << chaine << " a " << age << " ans.";  cout << "Saisir un entier : \n";  cin >> age;

                           cout << "Valeur saisie = " << age;

}

---------------------------------------------------------------------------------------

Le C++ introduit le mot clé _class pour définir une classe d’objets.  Une classe est un type structuré avec des champs de données typés (attributs) et des fonctions membres (méthodes). Pour expliquer la syntaxe, le plus simple est encore de donner un exemple. La classe ci-après est une classe de points à coordonnées entières.  La définition de la classe est située dans un fichier d’entête (point.h), la définition des méthodes dans un fichier source () et enfin l’utilisation dans un autre fichier source (). Les mots clé public et private indiquent la visibilité des membres. Les membres privés ne sont accessibles que par les objets de la classe. Par convention, les attributs sont toujours à accès privé.

--------------------------------------------------------------------------------- // point.hfichier d’entête contenant la définition de la classe

#include<iostream>

#ifndef __POINT__ #define __POINT__ class Point  

{

public:  //partie publique de la classe  void SetX(const unsigned x);    // les méthodes

                           void SetY(const unsigned y);

    void SetXY(const unsigned x,const unsigned y);       unsigned GetX() const;      unsigned GetY() const;

                           float Distance(const Point & p) const;

                           void Translate(const unsigned x,const unsigned y);

                           void Display(std::ostream & flot) const;

                      private:    // partie privée (encapsulée)

 unsigned _x;     // les attributs unsigned _y;

};   // <- ne pas oublier ce point virgule

#endif

---------------------------------------------------------------------------------

Le fichier d’entête contient la définition de la classe. Celle-ci décritles données membres (attributs) et les méthodes. En fait, bien que ce ne soit pas nécessaire, seuls les prototypes des fonctions membres (méthodes) sont généralement donnés dans la définition de la classe.

---------------------------------------------------------------------------------

//   fichier source contenant la définition des fonctions membres

#include "point.h"   //inclusion du fichier d’entête de la classe 

#include<math.h>

void Point::SetX(const unsigned int x)

                    {       

_x=x; 

} 

void Point::SetY(const unsigned int y)

                    {       

_y=y; 

}

void Point::SetXY(const unsigned int x,const unsigned int y)

{

                           _x=x;

                           _y=y;

}

unsigned Point::GetX() const{  return _x; 

}

unsigned Point::GetY() const{  return _y; 

}

void Point::Translate(const unsigned Dx, const unsigned Dy)

{

                           _x=_x+Dx;

                           _y=_y+Dy;

}

float Point::Distance(const Point & p) const

{

                         return sqrt((_x-p._x)*(_x-p._x)+(_y-p._y)*(_y-p._y));

} 

void Point::Display(std::ostream & flot) const {

    // affichage sur flot de sortie    flot << "(" << _x << "," << _y << ")";

}

---------------------------------------------------------------------------------

Le fichier d’implémentation des méthodes (ici ) contient le code des méthodes de la classe. Il faut noter la syntaxe permettant de définir une fonction membre. Le nom de la classe propriétaire de la méthode précède le nom de la méthode. Enfin, l’utilisation de la classe est faite dans un autre fichier.

---------------------------------------------------------------------------------

// : fichier d’utilisation de la classe point

#include "Point.h" // inclusion de la définition de la classe Point using namespace std;

       cout << "Distance p1 - p2 :" ; cout << p1.Distance(p2) << endl;      //affiche la distance p1-p2

// p1._x=12 ; est interdit par le compilateur, les données sont privées }

---------------------------------------------------------------------------------

Que faut-il remarquer ?

-    les champs privés ne sont pas accessibles par l’utilisateur de la classe

-    les attributs privés sont néanmoins accessibles aux objets de la classe, c’est-à-dire dans la définition des méthodes (regarder le code de la méthode distance)

-    deux objets de  la même classe ont les mêmes attributs mais pas nécessairement le même état

Il ne manque pas grand chose pour que la classe _Point définie précédemment soit réellement utilisable. Son plus gros défaut est que l’état d’un objet de la classe _Point est indéfini avant l’utilisation de la méthode _{Point::SetXY()}. Le C++ prévoit un mécanisme pour réaliser une initialisation correcte des attributs dès la création d’un objet. On peut (on doit) ajouter des méthodes appelées constructeurs. Le rôle d’un constructeur est de donner une valeur initiale (état initial) aux attributs.

Un constructeur est une fonction membre qui porte comme nom le nom de la classe et qui ne retourne rien. Un constructeur peut avoir zéro ou plusieurs arguments, éventuellement avec valeurs par défaut. Il peut y avoir plusieurs constructeurs dans la même classe (surcharge) dans la mesure où ils ont des signatures différentes. On peut donc compléter la classe en ajoutant des constructeurs.

---------------------------------------------------------------------------------

// point.h : définition de la classe 

#ifndef __POINT__

#define __POINT__

#include<iostream>

class Point  

{

                      public:       

                           // les constructeurs 

Point();

     Point(const unsigned x, const unsigned y);

                           void SetXY(const unsigned x,const unsigned y);

                            … le reste est identique …

private:         unsigned _x;      unsigned _y;

};

#endif

---------------------------------------------------------------------------------

--------------------------------------------------------------------------------- // : définition des fonctions membres

#include "Point.h"

#include<math.h>

Point::Point()            // constructeur sans argument

{

                            _x=0;

                            _y=0;

} 

Point::Point(const unsigned x, const unsigned y) // constructeur à 2 arguments {

                           SetXY(x,y); // pourquoi pas

}

… le reste est identique …

---------------------------------------------------------------------------------

Il faut bien remarquer, dans l’utilisation suivante,  la syntaxe permettant d’utiliser les constructeurs. Les valeurs des arguments passés au constructeur sont données lors de la déclaration de l’objet.

---------------------------------------------------------------------------------

// utilisation de la classe Point munie de constructeurs

#include "Point.h" using namespace std;

void main()

{

                          // utilisation du constructeur Point::Point(const unsigned,const unsigned)

Point p1(10,20);    // p1 est initialisé à l’aide du constructeur à 2 arguments

                                                // l’état de p1 est (10,20)

// utilisation du constructeur Point::Point()

Point p2;          // p2 est initialisé avec le constructeur sans argument

                                                // l’état de p2 est (0,0)

                                   p1.Display(cout);    // affiche (10,20) 

                            p2.Display(cout);    // affiche (0,0)

}

---------------------------------------------------------------------------------

De même, le C++ prévoit un mécanisme pour réaliser des opérations juste avant la mort d’un objet (par exemple, la désallocation de mémoire) . Il s’agit du destructeur de la classe. On reviendra sur ce point ultérieurement.

Parmi les méthodes d’une classe, on distingue deux catégories : les méthodes qui modifient l’état de l’objet, méthodes appelées  modificateurs, et les méthodes qui ne modifient pas l’état de l’objet mais qui y accèdent en lecture. Ces dernières  sont appelées accesseurs (celles qui utilisent l’état en lecture)  ou sélecteurs (celles qui retournent l’état de l’objet). Il est important de déterminer dans quelle catégorie se situe une méthode car son prototype en dépend. Les sélecteurs/les accesseurs sont des méthodes déclarées constantes (il y a un _const après la liste des arguments). Les modificateurs ont fréquemment un nom tel que Set…() et les sélecteurs Get…().

                     Pour la classe _Point,       

-       les modificateurs sont SetX(), SetY(), SetXY(), Translate() - les sélecteurs sont _{GetX(), GetY()}, 

-       les accesseurs sont Display(), Distance(). 

Remarque : ni l’affichage ni le calcul de distance n’affecte l’état de l’objet sur lequel la méthode s’applique.

class Point  

{

                      public:                     

// modificateurs  void SetX(const unsigned x);  void SetY(const unsigned y);

 void SetXY(const unsigned x,const unsigned y);  void Translate(const unsigned x,const unsigned y);

// sélecteurs      unsigned GetX() const;      unsigned GetY() const;

// accesseurs

 float Distance(const Point & p) const; void Display(std::ostream & flot) const;

};

Parmi les constructeurs, le constructeur qui a un seul paramètre du même type que la classe est appelé constructeur de copie. Il sert à créer un nouvel objet ayant le même état qu’un objet de la même classe.

---------------------------------------------------------------------------------

// point.h : définition de la classe 

#ifndef __POINT__

#define __POINT__

#include<iostream>

class Point  

{

                      public:       

Point(const Point & p);    // prototype du constructeur de copie

Point & operator=(const Point & p);// prototype de l’opérateur = 

};

#endif

--------------------------------------------------------------------------------- --------------------------------------------------------------------------------- // : 

#include "Point.h"

Point::Point(const Point & p)

{

                           // recopie de l’état de p dans l’objet courant

                            _x=p._x;

                            _y=p._y;

}

Point & Point::operator=(const Point & p)

{

                          // operateur = pour l’affectation de l’état d’un Point 

                            _x=p._x;

                            _y=p._y;

                            return (*this);     // retourne l’objet courant.

}

---------------------------------------------------------------------------------

Dans le langage C++, l’affectation entre variables ou objets de même type est habituellement réalisée par l’opérateur =. Le langage C++ autorise  la programmation des opérateurs agissant sur des types utilisateur (voir section suivante). On peut donc programmer le comportement de l’opérateur = portant sur des objets d’une classe. En C++, un opérateur est simplement traité comme une fonction particulière dont le nom de fonction comporte le mot réservé _operator. L’opérateur d’affectation est donc simplement une méthode de la classe Point.

--------------------------------------------------------------------------------- // mise en évidence de l’utilisation du constructeur de copie et de l’opérateur =

#include "Point.h" using namespace std;

void main()

{

                                   Point p1(10,20);      

                            Point p3;

Point p2(p1);       // p2 est créé par copie de p1

                                                // l’état de p2 est (10,20)

p3=p1;// équivaut à p3.operator=(p1);

                            p3.Display(cout) ; // affiche (10,20)  

}

---------------------------------------------------------------------------------

                     4.5.1.    Le pointeur this           

Dans la définition de l’opérateur =, on voit l’utilisation d’un membre appelé _this. Le membre _this d’un objet est du type pointeur sur un objet de la classe. Pour la classe _Point, _this est donc un membre du type _{Point *}. Ce membre contient l’adresse de l’objet courant. Autrement dit, tout objet peut connaître sa propre adresse. Logiquement, la notation _(*this) représente l’objet courant, c’est-à-dire l’objet sur lequel la méthode a été appelée.

Point & Point::operator=(const Point & p){

 _x=p._x;

 _y=p._y;

                                 return (*this);     // retourne l’objet courant.

}

En résumé, l’opérateur = retourne l’objet sur lequel il s’applique. A quoi cela sert-il ? A garder l’homogénéité avec le C++ qui autorise les affectations successives telles que ci-dessous 

void main(){

Point p1(10,20), p2,p3;  p3=p2=p1; /* équivaut à p3.operator=(p2.operator=(p1)); */

} 

Ci-dessus, p2=p1 équivaut à p2.operator=(p1) et cette méthode retourne p2. C’est donc p2 (après affectation) qui est affecté à _p3.

Il est possible de surcharger la plupart des opérateurs. Cela signifie qu’on va pouvoir décrire quels traitements les opérateurs doivent réaliser. C’est notamment le cas pour l’opérateur = permettant l’affectation entre objets d’une même classe (voir section précédente). Cette surcharge n’est toutefois possible que sur les types créés par le programmeur : il n’est pas possible de redéfinir les opérateurs agissant sur les types élémentaires tels que int, float, etc.

Selon le nombre d’opérandes dont l’opérateur a besoin, l’opérateur sera qualifié d’opérateur unaire (1 seul opérande) ou d’opérateur binaire  (2 opérandes). Par exemple, l’opérateur  « = » est un opérateur binaire,  la syntaxe d’utilisation de cet opérateur étant  _{Op1 = Op2}. L’ opérateur « ++ » en revanche est un opérateur unaire. En effet, il s’applique à un seul opérande : _Op1++.

Remarque : il y a en fait deux opérateurs « ++ ».  Celui qui pré-incrémente et qui s’utilise _++Op1 et

celui qui post-incrémente et qui s’utilise _Op1++. Idem pour les opérateurs  de décrément «--» .

Enfin, de même qu’avec l’opérateur « ++ » où le même signe peut représenter deux opérateurs différents (la syntaxe d’utilisation permet au compilateur de les distinguer), certains opérateurs peuvent avoir une version unaire et une version binaire. C’est le cas par exemple de l’opérateur « - ».

#include<iostream>  using namespace std; void main()

{

                            int a=4, b=5;

                           cout << (a-b) << endl;      // opérateur - binaire

                            cout << -a;                // opérateur - unaire

}

La syntaxe _a-b utilise l’opérateur – binaire (soustraction) tandis que _–a utilise l’opérateur unaire (opposé).

Lorsque l’on définit de nouveaux types, par exemple des types structurés, certains opérateurs réalisent un traitement par défaut. C’est le cas de l’opérateur « = » et de l’opérateur « & ». 

Le traitement par défaut de l’opérateur = Lorsque l’on définit un nouveau type structuré (c’est le cas des classes), le traitement réalisé par défaut pour l’opérateur « = » est une copie membre à membre.  Cette caractéristique s’appliquait déjà en langage C sur les types structurés. 

Le traitement par défaut de l’opérateur_&Lorsque l’on définit un nouveau type, l’opérateur _& (opérateur unaire) retourne l’adresse de l’objet auquel il s’applique.

Les différents opérateurs que l’on peut surcharger en C++ sont les suivants :

                     Unaire           +  -  ++ --  !  ~  *  &  new  new[]  delete  (cast)

                     Binaire         * /  %  +  -  <<  >>  <  >  <=  >=  ==  !=  

                     Binaire            _{&  |  &&  ||}

                     Binaire         += -=  *=  /=  %=  &=  ^=  |=  <<=  >>=  ,

Les opérateurs membres d’une classe  On verra ci-après que la définition des opérateurs passe simplement par l’écriture de fonctions ayant un nom particulier comportant le mot clé _operator suivi du signe de l’opérateur. En outre, le programmeur aura le choix entre la possibilité de définir ces opérateurs comme fonctions membres d’une classe ou comme fonctions non membres. Néanmoins  (le C++ est un langage truffé d’exceptions!)  certains opérateurs ne peuvent être définis que s’ils appartiennent à une classe. Il s’agit alors nécessairement de méthodes d’une classe. C’est le cas pour l’opérateur = vu au chapitre précédent.

Doivent être impérativement définis comme opérateurs membres d’une classe les opérateurs

suivants :

                                    =     (opérateur d'affectation)                                          

( )  (opérateur fonction)

                                    [ ]   (opérateur d’indexation)

  ->

Remarque : rien n’oblige a priori le programmeur a faire de l’opérateur = un opérateur d’affectation, mais c’est tout de même recommandé. Sans quoi, la classe devient très difficile à comprendre par l’utilisateur !

Lorsqu’un opérateur est utilisé sur un type défini par le programmeur (une classe ou un type structuré), l’emploi de cet opérateur est équivalent à l’appel d’une fonction particulière qui peut être hors classe ou membre d’une classe (ou d'une structure). Si l’on définit une nouvelle classe _CLS, et deux objets _x et y de la classe _CLS,  alors la syntaxe (1) peut être équivalente à (2) ou (3) pour le compilateur C++ :

(1)     x+y;                             

(2)     operator+(x,y);    // opérateur non membre de la classe CLS

(3)     x.operator+(y);    // opérateur membre de la classe CLS

Autrement dit, les opérateurs sont vus comme des fonctions avec des identifiants particuliers : operator suivi du signe de l’opérateur. Dans le cas précédent, si l’on souhaite que l’opérateur + réalise un traitement particulier sur les variables de type _CLS il suffit de définir une fonction (hors classe) appelée operator+(CLS op1,CLS op2) qui accepte deux arguments de type CLS (ou des références à CLS) ou bien d’ajouter une méthode CLS::operator+(CLS op2) à la classe CLS.  On retrouve bien, dans les deux cas, les deux opérandes de l'opérateur +. Dans le premier cas, les deux opérandes sont les paramètres de la fonction. Dans le second cas, le premier opérande est l’objet sur lequel la fonction membre opérateur est  appelée et le second le paramètre de la fonction membre.

Les opérateurs sont d’un usage particulièrement intéressant pour les objets mathématiques. On fournit ici une ébauche d’une classe de nombre rationnels mettant en évidence l'intérêt des opérateurs. 

Les objets de la classe _Rationnel sont simplement des fractions rationnelles où le numérateur et le dénominateur sont des entiers. On pourra ainsi manipuler des fractions du type 2/3, 27/11 sans erreurs d'arrondis, ou même des entiers (le dénominateur doit alors être égal à 1). Il faut noter qu'aucun objet de cette classe ne doit avoir de dénominateur nul (on teste donc cette éventualité au niveau du constructeur à deux arguments). L'exemple donné ici illustre les deux façons de définir un opérateur (fonction membre ou hors classe).

--------------------------------------------------------------------------------- rationnel.h : fichier d’entête de la classe Rationnel

#ifndef __RATIONNEL__

#define __RATIONNEL__ #include<iostream> class Rationnel  

{ public:

                           Rationnel(int num=0, int den=1);

                           Rationnel(const Rationnel & r);

 int GetNum() const;  int GetDen() const;

     // opérateurs membres de la classe

 Rationnel & operator=(const Rationnel & r);  Rationnel operator+(const Rationnel & r) const; private:

int _num;     int _den;

};

     // prototypes des opérateurs hors classe

                          std::ostream & operator<<(std::ostream & flot, const Rationnel & r);

                          Rationnel operator*(const Rationnel & r1, const Rationnel & r2);

#endif

---------------------------------------------------------------------------------

---------------------------------------------------------------------------------

// : implémentation de la classe

#include "Rationnel.h"

// Constructeurs

Rationnel::Rationnel(int  num,int den){

                            if(den==0) _den=1; // éviter le dénominateur nul

                            if(den<0){        // placer le signe au numérateur

                                  _den=-den;

                                  _num=-num;

                            }

}

Rationnel::Rationnel(const Rationnel & r) // constructeur de copie

{

                            _den=r._den;

                            _num=r._num;

}

// Sélecteurs

                    int Rationnel::GetNum() const {   return _num; }

                    int Rationnel::GetDen() const {   return _den; }

// opérateur pour l’affichage d’un rationnel (non membre)

std::ostream & operator<<(std::ostream & flot, const Rationnel & r)

{

                           flot << r.GetNum() << "/" << r.GetDen();

                            return flot;

}

// opérateur d’affectation (obligatoirement membre)

Rationnel & Rationnel::operator=(const Rationnel & r)

{

    _num=r._num;  _den = r._den;

                            return *this;

}

// opérateur pour la somme de nombres rationnels (membre)

Rationnel Rationnel::operator+(const Rationnel & r) const

{

    Rationnel resultat(_num*r._den+r._num*_den,_den*r._den);      return resultat;

}

// opérateur pour le produit de nombres rationnels (hors classe )

Rationnel operator*(const Rationnel & r1,const Rationnel & r2) const

{

 // Attention, cet opérateur n'a pas accès aux membres privés !  Rationnel resultat(r1.GetNum()*r2.GetNum(),r1.GetDen()*r2.GetDen());  return resultat;

}

---------------------------------------------------------------------------------

---------------------------------------------------------------------------------

// utilisation de la classe Rationnel

#include "Rationnel.h" using namespace std; void main()

{

                           Rationnel r1(2,3),r2(4,5);

                           cout << " r1=" << r1;

                           cout << " r2=" << r2 << endl;

                            Rationnel r;

r=r1+r2; // equivaut à r.operator=(r1.operator+(r2))  cout << "r1+r2=" << r << endl;

r=r1*r2; // equivaut à r.opertator=(operator*(r1,r2))

                           cout << "r1*r2=" << r;

}

---------------------------------------------------------------------------------

Dans l’exemple précédent il faut accorder une attention particulière aux prototypes. Il faut par exemple remarquer que la somme ne modifie ni l’objet courant (méthode constante) ni l’objet argument (référence constante). En outre, l’opérateur retourne un objet (différent de l’objet courant et de l’objet argument) de type rationnel correspondant au résultat de la somme.

Le C++ introduit la notion de fonctions et de classes paramétrées en type. Cela signifie simplement qu’au sein d’une classe ou d’une fonction, certains types peuvent être passés en paramètre. Le mot clé template est introduit en C++ pour pouvoir paramétrer des types. Dans les manuels de C++, on trouvera différentes appellations pour le paramétrage de type : on parlera de classes paramétrées, de patrons de classes ou de template-classes, voire de modèle de classes.

Une bibliothèque standard de classes paramétrées en type, libre d’utilisation, est fournie avec la plupart des compilateurs C++. Il s’agit de la bibliothèque STL (Standard Template Library). Elle regroupe différentes classes paramétrées et fonctions paramétrées. On y retrouve des classes conteneur paramétrées et des algorithmes paramétrés (recherche de valeurs dans un conteneur, tris de conteneur …)

Notion de conteneur

Un conteneur est simplement un objet capable de stocker des données avec la possibilité de changer dynamiquement sa taille. Les conteneurs de la STL reprennent les structures de stockage de données les plus connues, à savoir 

-    le conteneur _vector : tableau unidimensionnel 

-    le conteneur _list : liste doublement chaînée

-    le conteneur _stack :pile (structure LIFO)

-    le conteneur _queue :file (structure FIFO)

-    le conteneur _deque : structure de données hybride

-    le conteneur _set : ensemble 

-    le conteneur _map : tableau associatif

En plus de toutes ces structures de données, la bibliothèque STL fournit une classe _string de gestion des chaînes de caractères. Le programmeur C++ tire bien des bénéfices à utiliser les objets _string à la place des chaînes de caractères habituelles (la mémoire est allouée par les objets) et à utiliser des objets _vector à la place des tableaux statiques ou mêmes dynamiques.

Les primitives d’accès, d’ajout, de suppression diffèrent bien évidemment entre ces conteneurs. Par exemple, l’accès à un élément d’un objet _vector est un accès direct (indépendant de la taille du _vector) alors que l’accès à un élément d’une liste chaînée est séquentiel : on doit parcourir la liste pour retrouver un élément. Par conséquent, certaines opérations sont plus efficaces sur certains conteneurs que sur d’autres. Ce sont ces caractéristiques qui guident le programmeur dans ses choix. Par exemple, on utilisera une liste chaînée plutôt qu’un tableau si l’on ajoute/retire souvent des éléments aux extrémités (en début ou en fin) puisque ces opérations sont plus efficaces sur une liste. 

Tous les conteneurs STL sont paramétrés en type. Cela signifie qu’on peut choisir le type des données stockées dans le conteneur. On note _vector<T> la classe obtenue à partir du conteneur _vector pour le type T. Noter que vector<int> est une classe et vector<float> en est une autre.

--------------------------------------------------------------------------------

void main(void)

{

    vector<int> tab1(4);        // objet de la classe vector<int>      vector<float> tab2(2);      // objet de la classe vector<float>      vector<vector<int> > tab3(2); //objet de la classe vector<vector<int> >

    tab1[1]=3;    // les éléments stockés dans tab1 sont des entiers      tab2[0]=3.7; // les éléments stockés dans tab2 sont des float  tab3[0]=tab1; // tab3 stocke des tableaux d’entiers (vector<int>) 

 // affichage des éléments de tab1 for(unsigned i=0;i<();i++)

{

 cout << tab1[i] << " ";

}

}

--------------------------------------------------------------------------------

Ci-dessus tab1 est un objet de la classe vector<int>. La classe vector<int> est une classe de tableaux dont les éléments stockés sont des entiers. L’objet _tab1 est donc un tableau d’entiers. La taille initiale du tableau est passée au constructeur de l’objet. L’objet _tab1 peut donc stocker 4 entiers, _tab2 peut stocker 2 float et tab3 peut stocker 2 objets de la classe vector<int>. On peut donc copier tab1 dans une case du tableau tab3 (tab3 est un tableau de tableaux).

Remarquer que l’accès à une case d’un objet _vector<T> se fait simplement avec l’opérateur _{[ ]}, comme sur un tableau classique en C. Mais la classe _vector<T> dispose de bien d’autres méthodes utilisables pour changer la taille, insérer des éléments, supprimer des éléments. Par exemple, on voit ci-dessus l’utilisation de la méthode vector<T>::size() sur l’objet tab1.

L’objectif n’est pas de détailler ici toutes les possibilités d’utilisation des classes paramétrées de la bibliothèque STL, mais de présenter simplement quelques caractéristiques des classes _string, _vector, et _list. Ces classes paramétrées vont fournir des briques intéressantes pour créer des classes plus complexes dans les chapitres suivants.

Avant d’aller plus loin dans la présentation de la STL, il semble temps d’expliquer ce que représente un namespace (espace de noms). Différentes classes ou fonctions peuvent être regroupées dans un espace de noms particulier pour éviter certains conflits d’identifiant. Dès lors, pour utiliser une classe d’un espace de noms particulier, on doit faire précéder le nom de la classe du nom de l’espace de noms. On peut aussi préciser un namespace par défaut pour le programme via la directive using namespace.

Dans l’exemple qui suit, il n’y a pas de conflit de nom puisque les deux fonctions sont définies dans deux espaces de noms distincts (les namespaces _NA et _NB). On voit aussi que le flot _cout dépend du namespace std.

--------------------------------------------------------------------------------- #include <iostream>

namespace NA{

                            void MaFonction()

{           std::cout << "Fonction du namespace NA \n";

                            }

}  namespace NB{

                            void MaFonction()

                            {

std::cout << "Fonction du namespace NB \n";

                            }

}

using namespace NA; // utilise le namespace NA par défaut

void main(void)

{

                            NA::MaFonction(); // fonction du namespace NA

                            NB::MaFonction(); // fonction du namespace NB

                            MaFonction();      // fonction du namespace par défaut

}

---------------------------------------------------------------------------------

Toutes les classes de la STL appartiennent au _{namespace std}. Il convient donc de préciser ce namespace pour l’utilisation de ces classes. Ceci explique certaines parties de programme non compréhensibles jusque là.

Remarque : il est à noter que l’on ne peut pas utiliser la directive _{using namespace} dans les fichiers

d’entête lors des définitions de classes.

string 

La classe string n’est pas une classe paramétrée. Elle sert uniquement à gérer des chaînes de caractère de façon un peu plus souple qu’en langage C. Voici un premier exemple.

--------------------------------------------------------------------------------- #include<string>        // pour la classe string 

                     #include<iostream>         

using namespace std;

void main(void)

{

                           string s1("Une chaine"),s2(" Toto");

                            string s3(s1);

                            string s4;

                            s4=s1+s2;    // + : concaténation   = : affectation

                           cout << s3 << endl; // insertion possible dans cout

                          cout << s3[0] << endl;// utilisable comme un tableau : s3[i] de type char

                           if(s1==s3) cout << "Chaines identiques\n";

                          if(s1<=s4) cout << "s1<=s4 selon l'ordre lexicographique\n";

}

---------------------------------------------------------------------------------

L’exemple suivant illustre les faits suivants : la classe contient 

-    un constructeur sans argument pour créer une chaîne vide

-    un constructeur avec un argument de type char * pour assurer la compatibilité avec le C

-    un constructeur de copie pour créer une chaîne identique à une chaîne existante

-    des opérateurs de concaténation : + et +=

-    un opérateur d’affectation : =

-    un opérateur d’indexation [ ] de sorte qu’un objet string se comporte aussi comme un tableau

-    les opérateurs de test : == != 

-    les opérateurs de comparaison selon l’ordre lexicographique (l’ordre des mots dans un dictionnaire) : <= < >= >

La classe dispose également de différentes méthodes (présentation non exhaustive)

--------------------------------------------------------------------------------- void main(void)

{

                           string s1("abcdefg");

 cout << "Longueur = " << s1.length() << endl;  cout << "Capacite = " << s1.capacity() << endl;  cout << s1 << endl; // s1 = abcdefg

 s1.insert(1,"ABC");  // insère la chaîne "ABC" à l'indice 1  cout << s1 << endl;  // s1 = aABCbcdefg

 s1.insert(2,4,'a');  // insère 4 fois la lettre 'a' à l'indice 2  cout << s1 << endl;  // s1 = aAaaaaBCbcdefg

 s1.erase(0,1);   // supprime 1 caractère à l'indice 0  cout << s1 << endl;  // s1 = AaaaaBCbcdefg

 s1.erase(2,5);   // supprime 5 caractères à l'indice 2  cout << s1 << endl;  // s1 = Aabcdefg

 // possibilité d'obtenir un pointeur compatible const char *  const char * ptr=s1.c_str();

}

---------------------------------------------------------------------------------

vector<T>

La classe paramétrée _vector<T> permet de générer des objets tableaux pouvant stocker des objets de n’importe quel type. On rappelle que _vector<int> est une classe (le paramètre de type vaut ici _int) et vector<float> en est une autre. Par conséquent, ces types ne sont pas compatibles. Le premier exemple suivant met en évidence les principales fonctionnalités de ce patron de classes de tableaux. 

---------------------------------------------------------------------------------

#include<iostream> #include<vector>

using namespace std;

void main(void)

{

 vector<int> t1(4,-2),t2(5);  // t1=-2,–2,–2,-2  t2=0,0,0,0,0  vector<float> t3(2),t4(4,1.2); // t3=0,0 t4=1.2,1.2,1.2

 t1[0]=5; //t1=5,–2,–2,-2

                            t4[2]=-2.3; //t4=1.2,1.2,-2.3

    t2=t1; // possible car t1 et t2 de la même classe      t3=t4; // possible car t3 et t4 de la même classe

                           // t1=t4; impossible car t1 et t4 de types différents

 vector<int> t5(t1); // t5=5,–2,–2,-2

                           vector<float> t6(t3); // t6=1.2,1.2,-2.3

//vector<float> t7(t1); impossible car t1 n’est pas de la classe vector<float>

}

---------------------------------------------------------------------------------

La classe dispose d’un constructeur à un argument (la taille initiale du vecteur), d’un constructeur à deux arguments (taille et valeurs initiales du vecteur). La classe dispose aussi d’un constructeur de copie. Attention, les copies ne sont possibles qu’entre objets de même classe ! La classe dispose d’un opérateur d’affectation. Là encore, l’affectation n’est possible qu’entre objets de même classe. Enfin, puisque cette classe implémente le fonctionnement d’un tableau, l’opérateur d’indexation [ ] donne accès aux éléments du tableau (comme pour un tableau classique).

Les itérateurs

Dans le but d’homogénéiser les interfaces des classes de la STL, les classes conteneur implémentent la notion d’itérateur qui généralise la notion de pointeur. Un itérateur est simplement un objet qui pointe un emplacement d’un conteneur (un peu comme un pointeur). En outre, les opérateurs ₊₊ et _–- sont surchargés sur les itérateurs pour passer à l’emplacement suivant ou précédent du conteneur (qu’il s’agisse d’un tableau ou d’une liste chaînée). L’opérateur _* permet l’indirection sur un itérateur (comme sur un pointeur). Grâce aux itérateurs, les algorithmes s’appliquant aux conteneurs sont moins dépendants de leur structure interne.

Les classes conteneurs contiennent des classes membres publiques pour instancier des itérateurs adaptés. Il y a deux classes d’itérateurs par conteneur : les itérateurs constants et les itérateurs non constants. Les premiers permettent de parcourir un conteneur sans pouvoir en modifier le contenu. 

--------------------------------------------------------------------------------- void main(void)

{

                            vector<int> t1(4);

                           vector<int>::iterator it; // it est un iterateur sur vector<int>

                           for(it=t1.begin();it!();it++) (*it)=2;

                           for(unsigned i=0;i<();i++) t1[i]=2;

}

---------------------------------------------------------------------------------

Les deux boucles _for précédentes réalisent le même traitement, l’une grâce aux itérateurs, l’autre grâce à l’opérateur _[]. Les méthodes _begin() et _end() retournent des itérateurs. La première méthode retourne un itérateur sur le premier élément du conteneur. La seconde pointe juste après le dernier élément.

L’utilisation des conteneurs est donc un peu déroutante puisque des itérateurs sont utilisés comme arguments de certaines méthodes d’insertion ou de suppression. Il faut donc avoir une connaissance minimale sur leur utilisation pour pouvoir exploiter la bibliothèque STL. Néanmoins, l’utilisation des itérateurs est la même pour les autres conteneurs. En conséquence, dans la bibliothèque STL, l’utilisation d’une liste chaînée n’est pas plus compliquée que celle d’un vecteur. L’exemple suivant illustre les capacités d’insertion et de suppression  dans un vecteur (voire dans un conteneur différent)

--------------------------------------------------------------------------------- void main(void)

{ vector<int> t1(3,2); //t1=2,2,2

                           cout << "Taille = "<< () << endl; // Taille=3

                                   t1.push_back(3);     //t1=2,2,2,3

                           t1.resize(6,-2); //t1=2,2,2,3,-2,-2

                           t1.insert(t1.begin(),2,-3); //t1=-3,-3,2,2,2,3,-2,-2

                          t1.insert(t1.begin()+3,-1); //t1=-3,-3,2,-1,2,2,3,-2,-2

                           t1.insert(&t1[0],-6); //t1=-6,-3,-3,2,-1,2,2,3,-2,-2

                          t1.erase(t1.begin()+2,t1.begin()+4); //t1=-6,-3,-1,2,2,3,-2,-2

                           t1.erase(t1.begin()+3); //t1=-6,-3,-1,2,3,-2,-2

                           t1.pop_back(); //t1=-6,-3,-1,2,3,-2

}

---------------------------------------------------------------------------------

Ajout/retrait en fin = push_back et pop_back

Ajout/retrait en tête = push_front et pop_front

Premier/dernier élément : front et back

Changement de dimension : _resize(nouvelle taille, valeur des cases complémentaires ). 

Insertion : plusieurs méthodes. _insert(itérateur, nombre d’ajouts, valeur insérée) : plusieurs cases insérées  _insert(itérateur, valeur insérée) : une seule valeur insérée 

 Remarquer qu’un pointeur sur entier peut être converti en itérateur sur entier.

Suppression : plusieurs méthodes.  _erase(itérateur debut,iterateur fin) : supprime les cases entre ces itérateurs  _erase(itérateur) : supprime la case pointée par l’itérateur

list<T>

Les autres conteneurs ont de nombreux points communs avec ce qu’on a déjà vu. C’est pourquoi un

exemple devrait suffire à comprendre l’utilisation des listes chaînées. Hormis le fait que l’opérateur _{[ ]} n’est évidemment pas défini pour les listes chaînées.

--------------------------------------------------------------------------------- void main(void)

{ 

                           cout << "Taille = "<< () << endl;

                           l4=l2; //l4=2.3,2.7,-1.2

                           l1.insert(l1.begin(),2,-3); //l1=-3,-3,7,-3,12,13

                           cout << l1.front() << () << endl; // -3 13

                           list<int>::iterator it=l1.begin();

                           while(it!()){

                                  if((*it)==-3) // suppression des noeuds valant -3

                                   {

                                         it=l1.erase(it);

                                   }

                                  else it++;

                            }

                           // affichage de la liste l1

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

}

---------------------------------------------------------------------------------

Nous avons vu jusqu’ici comment utiliser les types primitifs  pour écrire des classes et comment utiliser des classes standard (en particulier la classe string et les classes paramétrées vector<T> et list<T>). Très souvent, les classes vont également contenir comme attributs des objets d’une ou de plusieurs autres classes. Autrement dit, certains objets vont être composés d’objets d’autres classes. On peut par exemple, voir un objet de type voiture comme la composition (entre autres) d’un objet moteur, d’un objet carrosserie, de 4 objets roues …

La réalisation la plus simple (mais pas nécessairement la seule en C++) de la composition est de faire apparaître les objets composants comme attributs de l’objet composite. 

Dans un premier temps, on va décrire le représentation UML de la composition. On peut décrire la composition de deux manières :

-    soit les objets composants apparaissent comme attributs des objets composites

-    soit une relation de composition (lien avec losange côté composite) lie les classes composant et composite.

Point

                    Nous allons considérer deux exemples                                                ++Point(in x : Rationnel, in y : RationnelGetX() : Rationnel           )

+GetY() : Rationnel

     pour illustrer cette notion.                                                                            ++SetX(in x : RationnelSetY(in y : Rationnel))

 1

Classe_Point : dans la première partie, un 2                                                                                          -coordonnées

point du plan a été représenté par des -_numerateur : intRationnel

coordonnées entières. De manière un peu -+_denominateur : intRationnel(in num : int, in den : int) différente, on peut aussi représenter des points +++GetNum() : intGetDen() : intFormeIrreductible() : Rationnel à coordonnées rationnelles (voir la section sur ++SetDen(in den : intSetNum(in num : int) )

    les opérateurs).                                                                                         ++operator-(in r : Rationnel) : Rationneloperator+(in r : Rationnel) : Rationnel

+operator*(in r : Rationnel) : Rationnel

                                                                                                                                  +operator/(in r : Rationnel) : Rationnel

Un point peut alors être vu comme la composition de deux coordonnées de type Rationnel (classe Rationnel). 

En notation UML, les coordonnées sont soit représentées comme des attributs de type Rationnel dans la classe Point (représentation de gauche) soit par la relation de composition (représentation de droite).  Dans le deuxième cas, la relation de composition est représentée par un losange côté composite.   

Classe_Segment : on peut décrire un segment  par ses extrémités (objets de la classe _Point). Là encore, on pourra avoir une représentation plus ou moins éclatée selon que l’on représente la composition comme attribut ou par une association particulière. Les trois représentations UML suivantes représentent la même classe _Segment dont les extrémités sont des points à coordonnées rationnelles.

Segment

 ++GetA() : PointGetB() : Point

 +GetDimension() : Rationnel

                         1

                                        2          -extrémitésAB

                     -_x : Rationnel   Point

 -+_y : RationnelPoint(in x : Rationnel, in y : Rationnel)

 ++GetX() : RationnelGetY() : Rationnel

 ++SetX(in x : RationnelSetY(in y : Rationnel))

La réalisation la plus naturelle de la composition en C++ est de faire apparaître les objets composants comme des attributs de la classe composite. Sur le plan technique, seule l’écriture du constructeur introduit une notation particulière. Prenons l’exemple de la classe _Point pour laquelle les coordonnées sont de type _Rationnel (classe définie dans la section 5).

Seule la déclaration de la classe composant est utile pour l’écriture de la classe composite. On a seulement besoin de connaître les méthodes membre (notamment les constructeurs disponibles)

Rappelons tout d’abord le fichier d’entête de la classe composant puisque celui-ci contient toute l’information nécessaire à la réutilisation de la classe _Rationnel. 

--------------------------------------------------------------------------------- // rationnel.h : entête de la classe Rationnel (classe composant)

#ifndef _RATIONNEL__ #define _RATIONNEL__ class Rationnel

{ public:

                           Rationnel(long num=0,long den=1);

                           Rationnel(const Rationnel &);

                           Rationnel & operator=(const Rationnel & );

    long GetDen() const;      long GetNum() const;      Rationnel FormeIrreductible();

                           void Affiche(std::ostream & ) const;

                           Rationnel operator+(const Rationnel & r) const;

                           Rationnel operator*(const Rationnel & r) const;

                           Rationnel operator-(const Rationnel & r) const;

                           Rationnel operator/(const Rationnel & r) const;

private:

    long pgcd(long j,long k);      long _num;    long _den;

};

#endif

---------------------------------------------------------------------------------

Ensuite, la classe _Point qui est une classe composite se définit de la manière suivante :

--------------------------------------------------------------------------------- //point.h : entête de la classe point (classe composite)

#ifndef _POINTRAT__

#define _POINTRAT__

#include "rationnel.h" // inclusion de l’entête de la classe composant class Point   { public:

                            Point();

                           Point(const Rationnel & x, const Rationnel & y);

                           Point(const Point & p);

                           Rationnel GetX() const;

    Rationnel GetY() const;      private:

Rationnel _x;       // objets membres de type Rationnel

      Rationnel _y;

};

#endif

---------------------------------------------------------------------------------

---------------------------------------------------------------------------------

(implémentation des méthodes de la classe Point)

#include "point.h"

Point::Point():_x(0,1),_y(0,1)

{

}

Point::Point(const Rationnel & x, const Rationnel & y):_x(x),_y(y)

{

}

Point::Point(const Point &p):_x(p._x),_y(p._y)

{

}

                    Rationnel Point::GetX() const {   return _x; }

                    Rationnel Point::GetY() const {   return _y; }

---------------------------------------------------------------------------------

Liste d’initialisation (en gras dans l’implémentation de la classe _Point) : dans le fichier source de la classe Point, seule l’écriture des constructeurs introduit une nouvelle syntaxe. A la suite des arguments d’un constructeur, on peut mettre une liste d’initialisation des objets membres composants. Grâce à cette liste d’initialisation, le compilateur sait quel constructeur de la classe composant doit être invoqué pour initialiser l’objet membre. 

Constructeur sans argument de la classe _Point : initialisation de _{_x} et _{_y} comme les rationnels 0/1. Indique au compilateur que le constructeur à deux arguments de la classe _Rationnel doit être utilisé.

Constructeur de copie de la classe _Point : la liste d'initialisation indique que les attributs _{_x} et _{_y} sont initialisés grâce aux attributs _{p._x} et _{p._y} de l'objet _Point passé en argument. Autrement dit, c'est le constructeur de copie de la classe _Rationnel qui est invoqué. 

Une autre réalisation possible de la composition consiste à mettre un attribut de type tableau d'objets. Pour la classe _Point, on peut voir les coordonnées comme un tableau d'objets _Rationnel à deux cases. Cette autre réalisation est mise en œuvre dans la classe _PointTab ci-dessous.

---------------------------------------------------------------------------------

// pointtab.h

#ifndef _POINTTAB__

#define _POINTTAB__ #include "rationnel.h" class PointTab  

{ public:

                           PointTab(const Rationnel & x, const Rationnel & y);

                           Rationnel GetX() const;

    Rationnel GetY() const; private:

      Rationnel _XY[2];   // tableau de deux objets Rationnel

};

#endif

---------------------------------------------------------------------------------

---------------------------------------------------------------------------------

#include "PointTab.h"

PointTab::PointTab(const Rationnel & x, const Rationnel & y)

{

                            _XY[0]=x;

                            _XY[1]=y;

}

Rationnel PointTab::GetX() const { return _XY[0]; }

Rationnel PointTab::GetY() const { return _XY[1];}

---------------------------------------------------------------------------------

Remarque : il est à noter qu’ici la liste d’initialisation ne permet pas d’initialiser le tableau d’objets. Aussi, il est nécessaire qu’un constructeur sans argument existe dans la classe _Rationnel.

_vector<T>

Une autre réalisation de la composition (où la multiplicité est supérieure à 1) consiste à utiliser objet membre de type _{vector<Rationnel>}.  Ceci implique assez peu de changements par rapport à la solution précédente. Seule l'initialisation de l'objet membre _{vector<Rationnel>} doit faire l'objet d'une attention particulière.

---------------------------------------------------------------------------------

#ifndef _POINTTAB__

#define _POINTTAB__

#include "rationnel.h" #include<vector> class PointTab  

{ public:

                           PointTab(const Rationnel & x, const Rationnel & y);

                           Rationnel GetX() const;

    Rationnel GetY() const; private:

     std::vector<Rationnel> _XY;         

};

#endif

---------------------------------------------------------------------------------

---------------------------------------------------------------------------------

#include "PointTab.h"

// Attention ! Utiliser la liste d'initialisation pour initialiser le vecteur à la taille 2

PointTab::PointTab(const Rationnel & x, const Rationnel & y):_XY(2)

{

                            _XY[0]=x;

                            _XY[1]=y;

}

Rationnel PointTab::GetX() const { return _XY[0]; } 

Rationnel PointTab::GetY() const { return _XY[1];}

---------------------------------------------------------------------------------

Remarque :  une autre réalisation possible de la composition est proposée dans la section traitant des classes avec données en profondeur.

Le relation de spécialisation (ou de généralisation) qui existe entre des classes est réalisable en C++. La possibilité d'écrire une sous-classe (ou classe spécialisée) d’une classe existante est prévue par ce langage, de même que pour tous les langages objet.

Le langage UML propose une notation (une flèche pointant la super-classe) pour décrire la relation de spécialisation entre classes. La classe spécialisée (ou sous-classe d’un point de vue ensembliste) possède les attributs et le comportement de la super-classe. On dit aussi que la sous-classe hérite de la super-classe. En plus du comportement hérité, la sous-classe peut contenir des attributs et des méthodes spécifiques. La spécialisation est représentée par une flèche en langage UML.

Exemple : une classe de dés à 6 faces peut être vue comme une spécialisation d’une classe de dés à n faces : il suffit de fixer le nombre de faces.

Exemple : on peut aussi voir un point du plan QxQ (l’ensemble des couples de nombres rationnels), classe notée _PointQ2, comme la spécialisation d’un point à n coordonnées (classe _PointQn)

On retrouve dans la bibliographie C++ un certain vocabulaire associé à cette notion de spécialisation/généralisation. Au sujet de la classification ci-dessus, on dira :

-       la classe De6 est une spécialisation de la classe DeNFaces

-       la classe De6 dérive de la classe DeNFaces

-       la sous-classe _De6 hérite des fonctionnalités de la super-classe _DeNFaces. En effet, un objet d'une sous-classe dispose également de l'interface de la super-classe. - la classe DeNFaces est la super-classe de la classe De6 - la classe DeNFaces est la classe de base de la classe De6.

Nous donnons l'exemple de la classe dérivée _De6. Nous rappelons d'abord le fichier header (fichier d’entête) de la classe _DeNFaces car il est nécessaire de connaître l'interface de la super-classe pour écrire la classe dérivée. Ensuite nous donnons la définition de la classe dérivée (la sous-classe) ainsi que l'utilisation de cette classe. Pour cet exemple, la classe dérivée n'a pas d'attribut supplémentaire. La classe dérivée se contente de contraindre la valeur du nombre de faces. Un dé à 6 faces est un dé à N faces où _nbFaces vaut toujours

6.

Pour la classe spécialisée, seul le constructeur sans argument est défini pour initialiser correctement le nombre de faces. Ensuite, toutes les méthodes de la classe _DeNFaces peuvent être utilisées sans problème sur la classe spécialisée _De6. 

---------------------------------------------------------------------------------

// DeNFaces.h : entête d’une classe de dés à N faces 

#ifndef __CLS_DENFACES__ #define __CLS_DENFACES__ class DeNFaces

{ public:

                           DeNFaces(unsigned nbFaces=6);

 unsigned GetNombreDeFaces() const;  void Lancer();  unsigned GetValeur() const; private:

 unsigned _valeur;  // valeur du dé à un instant  unsigned _nbFaces;  // nombre de faces du dé

};

#endif

---------------------------------------------------------------------------------

L'implémentation de la classe dérivée est ici très simple puisque seul un constructeur est défini.

Encore une fois, la liste d'initialisation (revoir la section précédente) est utilisée au niveau des constructeurs.

---------------------------------------------------------------------------------

// De6.h : fichier d’entête de la classe De6 (dérivée de DeNFaces)

#ifndef __CLS_DE6__

#define __CLS_DE6__

#include "DeNFaces.h"

class De6:public DeNFaces        // la classe De6 dérive de DeNFaces

{ public:

                            De6();      // constructeur de la classe dérivée

};

#endif 

---------------------------------------------------------------------------------

---------------------------------------------------------------------------------

// :implémentation de la classe spécialisée

#include "De6.h"

De6::De6():DeNFaces(6){ }

---------------------------------------------------------------------------------

---------------------------------------------------------------------------------

// : utilisation de la classe sépcialisée

#include "De6.h" #include<iostream> using namespace std; void main(void)

{

DeNFaces de1(9);  // dé à 9 faces De6 de2;             // dé à 6 faces

cout << de1.GetNombreDeFaces() << "\n"; cout << de2.GetNombreDeFaces() << "\n"; de1.Lancer();  de2.Lancer(); // appel de méthode héritée  cout << d1.GetValeur() << endl;

cout << d2.GetValeur() << endl; // appel de méthode héritée

}

---------------------------------------------------------------------------------

Notons que l'on peut encore poursuivre la hiérarchie de classes d'objets dés. On peut par exemple ajouter un attribut de couleur .

---------------------------------------------------------------------------------

#ifndef __CLS_DE6COUL__

#define __CLS_DE6COUL__ #include "De6.h"

class De6Couleur:public De6

{ public:

    De6Couleur(unsigned couleur);      unsigned GetCouleur() const; private:

unsigned _couleur;

};  

#endif

------------------------------------------------------------- ---------------------------------------------------------------------------------

// : implémentation de la classe de De6Couleur

#include "De6Couleur.h"

De6Couleur::De6Couleur(unsigned c):De6(),_couleur(c)

{ }

unsigned De6Couleur::GetCouleur() const

{  return _couleur;

}

---------------------------------------------------------------------------------

Une sous-classe représente un sous-ensemble d'objets de la classe plus générale. Si l'on se réfère à la hiérarchie de classes de dés précédente, on comprend facilement qu'un dé à 6 faces est avant tout un dé à N faces. Aussi, le type De6 peut être converti en type DeNFaces.

En C++, les conversions de type entre sous-classe et super classe sont légales. Par exemple, on peut convertir un objet _De6 en objet _DeNFaces. On peut de la même manière convertir un objet de la classe  De6Couleur en un objet de la classe DeNFaces. Néanmoins, ces conversions sont dégradantes (perte de données), comme lorsque l'on convertit un _float en _int. Naturellement, lorsque l’on convertit un dé coloré en dé (sans couleur) on perd l’information de couleur. En C++, les conversions sous-classe vers super-classe sont possibles, mais elles perdent la partie dite « incrémentale » c’est-à-dire la partie spécifique d’une classe dérivée. L’exemple suivant présente quelques transtypages possibles.

---------------------------------------------------------------------------------

#include "De6Couleur.h" #define rouge 5 void main(void)

{

De6Couleur de6r(rouge);      

De6 de6;              

DeNFaces denf(9);

((DeNFaces)de6r).GetValeur();     // cast De6Couleur -> DeNFaces

((DeNFaces)de6).GetValeur(); // cast De6 -> DeNFaces

}

---------------------------------------------------------------------------------

Conversion sous-classe *  -> super-classe * : les conversions  de pointeurs entre sous-classe et super-classe sont également légales en C++.    

---------------------------------------------------------------------------------

#include "De6Couleur.h" #define rouge 5 void main(void)

{

                                   De6Couleur de6r(rouge);      

                                   De6 *ptrDe6;          

DeNFaces *ptrDeNF;

ptrDe6=&de6r;      // De6Couleur * -> De6 * ptrDe6->Lancer();       

ptrDeNF=ptrDe6;    // De6 * -> DeNFaces * ptrDeNF->Lancer();  

}

---------------------------------------------------------------------------------

Le polymorphisme représente le fait qu'une fonction ayant le même nom puisse être appelée sur des objets de classes différentes. Par exemple, le fait qu'on puisse mettre une méthode DessinerDans(fenetre) dans différentes classes peut être vu comme du polymorphisme. En effet, pour la classification faite cidessous, les classes représentent des objets graphiques destinés à être dessinés dans des fenêtre sous windows. La fonction de dessin est donc présente dans les différentes classes. 

 +DessinerDans(out fenetre)

+DessinerDans(out fenetre)

                                                                                           +DessinerDans(out fenetre)

En C++, le polymorphisme représente aussi la possibilité pour des objets d'une descendance à répondre différemment lors de l'appel d'une méthode de même nom. Le polymorphisme est donc lié dans ce cas aux hiérarchies de classes. 

Si l'on reprend la classification précédente et que l'on ajoute une super-classe _{ObjetGraphique}, on voit que tous les objets graphiques ont besoin d'une méthode permettant de dessiner l’objet dans une fenêtre. De plus, la méthode de dessin doit agir différemment sur les différents objets graphiques : un rectangle ne se dessine pas de la même manière qu'un cercle. Si la classe de base de la descendance contient une méthode _{DessinerDans()}, en raison des compatibilités de type entre sous-classe et super-classe, on peut donc exécuter le programme suivant.

---------------------------------------------------------------------------------

#include "Rectangle.h" #include "Cercle.h"

#include<iostream>       +DessinerDans(out fenetre) using namespace std;

void main(void)

{

Fenetre f; // objet fenêtre graphique

ObjetGraphique * tab[3];

tab[0]=new Cercle;

tab[1]=new Rectangle;    +DessinerDans(out fenetre) tab[2]=new Polygone

tab[0]->DessinerDans(f); // méthode de la classe ObjetGraphique invoquée tab[1]->DessinerDans(f); // car la méthode n’est pas polymorphe par défaut tab[2]->DessinerDans(f);

for(int i=0;i<3;i++) delete tab[i];

}

---------------------------------------------------------------------------------

Dans l'exemple précédent la méthode _{DessinerDans()} peut être invoquée sur tous les objets. Mais, si la méthode DessinerDans() n'est pas déclarée virtual dans la classe de base ObjetGraphique, c'est nécessairement la méthode de la classe _{ObjetGraphique} qui va être invoquée, même si l'objet pointé est de la classe _Rectangle ou _Cercle. Par défaut en C++, un lien statique relie les méthodes aux classes. Autrement dit, par défaut, les méthodes ne sont pas polymorphes. Il faut préciser quand on souhaite que le polymorphisme s’applique.

Remarque : en Java, le polymorphisme s’applique automatiquement. Le C++ laisse la possibilité de mettre en place ou non le polymorphisme (via les méthodes virtuelles) pour des raisons de performance. Car la définition de méthodes virtuelles (voir ci-dessous) implémente une table d’indirection supplémentaire qui augmente la taille du code et ralentit l’exécution. Par conséquent en C++, selon le besoin, le programmeur peut privilégier la vitesse quand le polymorphisme n’est pas utile.

Les méthodes virtuelles. Si l'on définit la méthode _{DessinerDans()} comme étant virtuelle (mot clé_virtual) dans la classe de base _{ObjetGraphique}, le programme précédent va bien invoquer les méthodes

DessinerDans() de chacun des objets pointés. La méthode adaptée à l'objet est retrouvée dynamiquement. Le mot clé _virtual indique au compilateur de mettre en place une ligature dynamique de méthodes. Le compilateur crée alors une table d’indirection (ceci est transparent pour le programmeur) permettant de retrouver la bonne méthode à l’exécution. Le choix de la méthode invoquée a alors lieu à l’exécution et non à la compilation.

---------------------------------------------------------------------------------

#ifndef __OBJETGRAPHIQUE__

#define __OBJETGRAPHIQUE__

#include "Fenetre.h"

class ObjetGraphique

{ public:

                            ObjetGraphique();

virtual void DessinerDans(Fenetre &) const;

};

#endif

---------------------------------------------------------------------------------

---------------------------------------------------------------------------------

#ifndef __RECTANGLE__

#define __RECTANGLE__

#include "ObjetGraphique.h"

class Rectangle: public ObjetGraphique

{ public:

Rectangle();

virtual void DessinerDans(Fenetre &) const;

};

#endif

---------------------------------------------------------------------------------

Remarque : il faut noter que la ligature dynamique (obtenue par le mot clé _virtual) ne concerne que la méthode précisée, et non toutes les méthodes de la classe.

En C++, quand on parle de polymorphisme, on pense en priorité à ce lien dynamique mis en place en utilisant le mot clé virtual.

Grâce au polymorphisme on peut écrire du code générique et faire des structures de données hétérogènes. Pour comprendre ces idées, le plus simple est de considérer de nouveau la classification d’objets graphiques faite précédemment. On souhaite faire un petit programme de dessin où l’utilisateur peut dessiner des formes géométriques simples (ellipses, rectangles….), les sélectionner, les supprimer, les déplacer … Pour cela, les formes géométriques doivent être mémorisées dans une structure de données. En outre, toutes les formes géométriques devront pouvoir réagir à des mêmes demandes (mêmes méthodes). 

L’interface de la classe de base _{ObjetGraphique} va contenir tout ce que les différentes formes géométriques seront capable d’exécuter. Mais la notion d’objet graphique reste abstraite. Que signifie « dessiner un objet graphique » ? ou même « déplacer un objet graphique » ? 

En fait, la classe _{ObjetGraphique} va être une classe dite abstraite. Elle contiendra des fonctions virtuelles pures, c’est-à-dire des fonctions membres qui ne seront pas définies (en outre on ne saurait pas quoi y mettre) mais pour lesquelles le typage dynamique s’appliquera. Les fonctions virtuelles pures n’ont pas de code et ont un prototype qui se termine par =0. Une classe qui contient au moins une fonction virtuelle pure est dite abstraite. On ne peut alors pas créer d’objet d’une telle classe (mais on pourra créer des objets d’une classe dérivée). 

---------------------------------------------------------------------------------

#ifndef __OBJETGRAPHIQUE__

#define __OBJETGRAPHIQUE__

#include "Fenetre.h" #include "Point.h"

                     class ObjetGraphique       // classe abstraite

{ public:

                            ObjetGraphique();

                            virtual ~ObjetGraphique(); // destructeur virtuel

                           // fonctions virtuelles pures

virtual void DessinerDans(Fenetre &) const =0;         virtual void Deplacer(int DeltaX, int DeltaY) =0 ;

     virtual void Contient(const Point &) const =0 ;

      …

};

#endif

---------------------------------------------------------------------------------

On ne peut pas créer d’objet de la classe _{ObjetGraphique}, mais en revanche, on peut faire un conteneur d’objets graphiques. En effet, on peut faire par exemple un tableau de pointeurs dans lequel on peut placer les adresses des différentes formes gérées par le programme. Le programme ci-dessous gère une telle structure de données contenant des objets hétérogènes. Ils sont en revanche tous descendants de la classe ObjetGraphique.

void main() {

                           vector<ObjetGraphique *> FormesGraphiques;

                            Fenetre F ;

                          FormesGraphiques.push_back(new Rectangle(10,10,40,55));

                          FormesGraphiques.push_back(new Ellipse(60,60,140,155));

                          FormesGraphiques.push_back(new Rectangle(30,30,40,40));

 for(int i=0;i<();i++) FormesGraphiques[i]->DessinerDans(F);  for(int i=0;i<();i++) delete FormesGraphiques[i]; } 

De plus, on voit qu’il est très simple de redessiner l’ensemble des objets (code en gras), puisque on envoie le même message à chaque objet, ce message étant interprété différemment par chacun des objets

(grâce au typage dynamique). En résumé, une classe abstraite décrit ce qu’on attend d’une classe

(comportement) sans savoir comment cela va être réalisé. En fait le comportement final est programmé dans la ou les classes descendant de la classe abstraite. 

Jusqu’ici, nous avons utilisé uniquement des membres (attributs ou méthodes) de type _public ou private. Ces mots-clé règlent la visibilité des membres. Les membres _public d’une classe sont accessibles à la fois aux objets de la classe ainsi qu’à l’utilisateur de la classe (comme dans les types structurés du C). Toutes les méthodes de l’interface d’une classe (c’est-à-dire le comportement d’une classe) sont à accès _public. En revanche, l’encapsulation des données d’une classe est possible grâce au mot-clé _private. Les membres private sont accessibles aux objets de la classe mais pas de l’utilisateur de la classe. L’utilisateur ne peut pas agir directement sur les données membres d’un objet.

Dans cette section, on présente tout d’abord comment des fonctions non membres d’une classe, ou comment d’autres classes, peuvent avoir également accès à la partie encapsulée d’une classe donnée. Il s’agit des fonctions ou classes amies (mot clé _friend). 

Ensuite, on présente un nouveau droit d’accès : un membre protégé (mot-clé _protected) est comme un membre privé (non accessible par l’utilisateur) mais reste accessible pour une classe dérivée. C’est donc dans le cadre de la dérivation que ce mot clé a un usage. Enfin, on révisera les problèmes de visibilité dans les hiérarchies de classes.  

_friend : fonctions ou classes amies

On peut déclarer, dans une classe _CLS, le fait que d’autres fonctions ou d’autres classes aient accès à la partie encapsulée de la classe _CLS. Cette fonctionnalité est particulièrement intéressante lorsque l’on veut définir des opérateurs comme fonctions non membres de la classe. 

On illustre ceci en reprenant la classe _Rationnel vue dans la section sur les opérateurs (section 5) et en définissant les opérateurs ₊ et _* comme des fonctions non membres de la classe _Rationnel mais amis de cette classe. Les membres _{_den} et _{_num} deviennent accessibles à ces fonctions non membres.

class Rationnel

{

                           // fonctions non membres mais amies de la classe

friend Rationnel operator+(const Rationnel & r1,const Rationnel & r2);      friend Rationnel operator*(const Rationnel & r1,const Rationnel & r2); };

#include "Rational.h"

#include <iostream>

Rationnel operator+(const Rationnel & r1,const Rationnel & r2){

    Rationnel local(r1._num*r2._den+r2._num*r1._den,r1._den*r2._den);      return local;

}

Rationnel operator*(const Rationnel & r1,const Rationnel & r2){      Rationnel local(r1._num*r2._num,r1._den*r2._den);

                            return local;

} 

On peut également déclarer une classe amie. Dans l’exemple suivant, la classe _B est déclarée amie de la classe _A. Cela signifie que toutes les méthodes de la classe _B peuvent avoir accès à la partie privée d’un objet de la classe _A.

                      #include "B.h"       

class A   { public:

                            friend B;    // la classe B est amie de la classe A

                            …

};

Remarque : la déclaration d’amitié permet de contourner l’encapsulation des données d’une classe. Il ne faut donc pas abuser de ce droit. Il est préférable de chercher à éviter autant que possible d’utiliser l’amitié (on peut souvent procéder différemment en ajoutant des accesseurs notamment). 

_protected) et visibilité des membres

Un membre (donnée ou méthode) déclaré _protected est accessible par les objets de la classe  mais pas par l’utilisateur de la classe (comme pour un membre privé). En revanche, à la différence d’un membre private, un membre protected est accessible par un objet d’une classe dérivée. On déclare donc protected un membre que l’on souhaite rendre accessible a une classe dérivée. En résumé, pour une classe (classe _Base)

et une classe dérivée (classe _Derivee) donnée on a :

--------------------------------------

#ifndef ___CLS_BASE__ #define ___CLS_BASE__ class Base   { public:

                     Base();

                     MethodeB();

 protected:

       bool _indPProtegeB;  void FonctionProtegeeB();

 private:

                     int _dPriveeB;

                    void FPriveeB();

};

#endif

-------------------------------------- --------------------------------------

#ifndef ___CLS_DERIVEE__

#define ___CLS_DERIVEE__

 #include "Base.h" class Derivee : public Base  

{ public:

      Derivee();

      MethodeD();

 protected:

       bool _indProtegeD;   void FonctionProtegeeD();

 private:

       int _dPriveeD;       void FPriveeD();

};

#endif

--------------------------------------

Tous les membres privés et protégés de la classe _Base sont accessibles dans les méthodes (privées ou protégées) de la classe _Base. Par contre un utilisateur de la classe _Base n’a accès qu’à la méthode publique de cette classe.

De même, tous les membres privés et protégés de la classe _Derivee sont accessibles dans les méthodes (privées ou protégées) de la classe _Derivee. En outre, du fait de la dérivation, les méthodes publiques de la classe Base sont utilisables sur les objets de la classe Derivee.

void main()

{

                        Derivee D ;

                        D.MethodeD() ;        

                        D.MethodeB() ;       // méthode héritée

}

Dans une méthode privée ou protégée de le classe _Derivee, on peut accéder à la partie publique de la classe de base (normal) et à la partie protégée de la classe de base. 

Trois formes de dérivation sont possibles : la dérivation publique, privée ou protégée.

Tout ce qui vient d’être exposé ne tient que pour la dérivation publique (class Derivee : public Base). C’est le mode de dérivation le plus courant. Il existe aussi une dérivation privée (class Derivee :

private Base) et protégée (class Derivee : protected Base). La visibilité des membres de la classe de base dépend du mode de dérivation. On résume ci-dessous la visibilité des membres selon le mode de dérivation. Par la suite, FMA signifie  Fonctions Membres et Amies

La dérivation publique  (_{class Derivee : public Base})

La dérivation privée (_{class Derivee : private Base})

Dans ce mode de dérivation, pour un utilisateur de la classe dérivée, tout ce qui est hérité de la classe de base est encapsulé par la dérivation. C’est un peu comme si l’on définissait un membre privé de la classe de base dans la classe dérivée. Autrement dit, on n’hérite pas vraiment des méthodes.

 La dérivation protégée (_{class Derivee : protected Base})

Dans ce mode de dérivation, les membres publics de la classe de base seront considérés comme protégés lors des dérivations ultérieures. 

Tableau de synthèse  

Ce tableau est difficile à assimiler. Seule la pratique de la programmation permet de retenir ces aspects du langage. Il faut dans un premier temps se concentrer sur la dérivation publique qui est le mode de dérivation le plus couramment employé. 

On s’intéresse ici à ce que va pouvoir exploiter un utilisateur dans le cas d’une hiérarchie de classes. Considérons les classes partiellement décrites ci-dessous. 

La classe dérivée comporte, comme la classe de base, une méthode _Affiche(). Sur un objet _Derivee, la méthode _Affiche() appelée est nécessairement celle de la classe dérivée. On dit qu’elle masque celle de la classe de base. Mais, cette dernière demeure utilisable en précisant à l’appel le nom de la classe propriétaire.  D’ailleurs on peut toujours préciser le nom de la classe lors d’un appel de méthode. Par exemple, l’appel cidessous est tout à fait légal (mais pas très concis)

void main() {

 Base B;

B.Base::Affiche(); // équivaut à B.Affiche();

} 

-----------------------------------------------------------------------------------------

#include "derivee.h" void main()

{

                        Derivee D;

                        Base B;

                        B.Affiche();

                        B.AfficheB();

                        D.AfficheD();

                        D.Affiche();       // Derivee::Affiche() masque ici Base::Affiche()

                              D.Base::Affiche(); // appel explicite de la méthode de la classe de base

                       D.Derivee::Affiche() ;      // équivalent à D.Affiche(); 

                        B.Base::AfficheB();       // équivalent à B.AfficheB() ;

                       // B.Derivee::AfficheD(); n’a en revanche pas de sens

}

-----------------------------------------------------------------------------------------

En C, on demande de la mémoire avec la fonction _malloc() et on la libère avec la fonction _free(). En C++, l'allocation dynamique de mémoire s'effectue avec les opérateurs _new et _delete.

10.1.1. Syntaxe 

La syntaxe d'utilisation de l’opérateur _new est la suivante :

T * ptr;

ptr = new T;        // allocation d'un objet (ou une variable) de type T ptr = new T[n]; // allocation d'un tableau de n objets de type T

où_T est un identificateur de type quelconque (type primitif, type structuré ou classe), _nest une

expression entière quelconque.

La première syntaxe réserve de la mémoire pour stocker 1 élément ayant le type _T, alors que la seconde réserve de la mémoire pour stocker n éléments de type _T. Dans les deux cas, le résultat de l'opération est une adresse. Soit l'adresse de l'espace mémoire réservé sous la forme d'un pointeur de type _{(T *),} soit le pointeur _NULL si l'espace demandé n'a pu être obtenu.

L'utilisation de l'opérateur _delete est la suivante :

delete ptr;

delete [] ptr;

où  _ptrest un pointeur ayant obtenu sa valeur actuelle par l’opérateur _new. 

La première syntaxe libère l'espace mémoire d'un objet pointé par _ptr. La seconde syntaxe sert à libérer l'espace occupé par un tableau d'objets. Cette seconde syntaxe assure que tous les destructeurs des objets du tableau sont appelés avant que le tableau soit libéré. Ceci est important si les objets du tableau ont des données en profondeur (voir la suite de ce chapitre). Il est à noter qu’il n’est pas nécessaire de rappeler la taille du tableau alloué lors de la libération de la mémoire.

Remarque : les objets string de la STL ont des données en profondeur. Le code suivant conduit à des fuites mémoire

string * ptr; ptr = new string[6];

delete ptr;  

Remarque : le fonctionnement de l'opérateur _delete est indéterminé si _ptr pointe sur une zone qui n'a pas été allouée dynamiquement par l'opérateur _new, ou si la zone mémoire a déjà été libérée. Il est déconseillé de mélanger l’utilisation des opérateurs new/delete avec celle des fonctions malloc()/free(). 

On peut préciser l'utilisation d'un constructeur particulier lors de l'allocation d'un objet (mais pas pour les tableaux alloués dynamiquement). Ci dessous, l'opérateur _new alloue la mémoire pour stocker un objet de la classe _string et cet objet est initialisé à l'aide du constructeur à 1 argument de type _char*.

           ptr = new string("toto");     /* le constructeur à 1 argument de type char* de la classe

string réalise  l'initialisation de l'objet */

Nous avons vu dans la section 7 différentes réalisations de la composition. On peut également gérer un objet composant dans la zone de mémoire gérée dynamiquement (dans le tas). Dans ce cas, l'objet composant n'est pas réellement dans la classe mais est connu via un pointeur. Les données de l'objet composant n'étant plus dans l'objet composite, on dit que les données sont en profondeur, autrement dit obtenues indirectement par un pointeur. Si l'on reprend l'exemple de la classe _Point qui est composée de 2 objets de type _Rationnel, on peut donner une nouvelle réalisation de la composition basée sur la gestion dynamique d'objets (même si la représentation UML est la même)

---------------------------------------------------------------------------------

                #ifndef _POINT__                                               Point

#define _POINT__

                #include "rationnel.h"                                 +Point(in x : Rationnel, in y : Rationnel)

+GetX() : Rationnel

                                                                        +GetY() : Rationnel

                 class Point                                      ++SetX(in x : RationnelSetY(in y : Rationnel))

{

1

                 public:                                                             2          -coordonnées

                       Point(const Rationnel & x, const Rationnel & y);

                       Point(const Point & p);                                   Rationnel

-_numerateur : int

      ~Point();     //destructeur                       -_denominateur : int

                       Point & operator=(const Point & p);                +Rationnel(in num : int, in den : int)

+FormeIrreductible() : Rationnel

                       Rationnel GetX() const;                           +GetNum() : int

+GetDen() : int

                       Rationnel GetY() const;                           +SetNum(in num : int)

                 private:                                          ++operator+(in r : Rationnel) : RationnelSetDen(in den : int)

Rationnel * _XY;     // pointeur sur le composant +operator-(in r : Rationnel) : Rationnel

+operator*(in r : Rationnel) : Rationnel

                  };                                                     +operator/(in r : Rationnel) : Rationnel              

#endif

---------------------------------------------------------------------------------

Remarque : pour la première fois depuis le début de ce manuel, le rôle du destructeur d’une classe va être illustré. Le destructeur est la méthode de la classe dont le nom est celui de la classe précédé d’un tilde (~), cidessous la méthode _~Point. Cette méthode est appelée juste avant la disparition de l’objet.

---------------------------------------------------------------------------------

#include "Point.h"

#include <process.h> #include <iostream> using namespace std; 

Point::Point(const Rationnel & x, const Rationnel & y){

      _XY=new Rationnel[2];       if(_XY==NULL){

                              cerr << "echec d'allocation de mémoire.";

                               exit(2);

                        }

                        _XY[0]=x;

                        _XY[1]=y;

}

// constructeur de copie

Point::Point(const Point &p){  _XY=new Rationnel[2];  if(_XY==NULL){   cerr << "echec d'allocation.";

                               exit(2);

                        }

                       _XY[0]=p._XY[0];

                       _XY[1]=p._XY[1];

}

// destructeur : méthode appelée automatiquement juste avant la disparition de l’objet Point::~Point()

{

delete [] _XY;

}

Point & Point::operator=(const Point &p)

{

      _XY[0]=p._XY[0];     _XY[1]=p._XY[1];

                        return *this;

}

Rationnel Point::GetX() const {  return _XY[0]; }

                Rationnel Point::GetY() const {   return _XY[1]; }

---------------------------------------------------------------------------------

Les données liées aux coordonnées ne sont pas directement dans l'objet _Point mais dans une zone mémoire gérée dynamiquement par l'objet. Dans ce cas, le constructeur a pour rôle d’allouer de la mémoire et le destructeur (méthode _~Point) celui de libérer la zone mémoire allouée par le constructeur. 

Une telle structuration a des conséquences. Il faut écrire les constructeurs (qui allouent la mémoire), le destructeur (qui libère la mémoire) et l'opérateur d'affectation avec soin. Faute de quoi, des fuites mémoires peuvent avoir lieu.

Les conteneurs sont des objets destinés à stocker/restituer des données. Les conteneurs se distinguent les uns des autres par la façon dont ils gèrent et accèdent aux données. Les conteneurs les plus utilisés sont : - les tableaux : l'accès a une donnée est indicé et direct. 

- les listes : l'accès à une donnée est séquentiel

- les piles/les files :  on peut voir ces conteneurs comme des listes particulières

La taille des données d'un objet conteneur est susceptible d'évoluer durant la vie de l'objet. Un objet conteneur ne peut donc pas prévoir dès la construction quelle sera la quantité de mémoire qui lui sera nécessaire. Un conteneur va donc gérer dynamiquement la mémoire qui lui sera nécessaire. Les changements de taille des données conduisent à des allocations/désallocations de mémoire. Nous illustrons ceci par une formulation élémentaire d'une classe d'objets tableaux. 

---------------------------------------------------------------------------------

#ifndef __CLS_TABLEAU__

#define __CLS_TABLEAU__

class Tableau  

{ public:

                       Tableau(unsigned taille=5);

                       Tableau(const Tableau & tab);

                       Tableau & operator=(const Tableau & tab);

                        virtual ~Tableau();

double & operator[](unsigned idx);

                       double operator[](unsigned idx) const;

void NouvelleTaille(unsigned taille);

                       unsigned GetTaille() const;

      unsigned GetCapacite() const; private:

      double * _tab;       unsigned _capacite;

                        unsigned _taille;

};

#endif

---------------------------------------------------------------------------------

La mémoire est gérée ici selon la technique utilisée dans la bibliothèque STL pour les _vectors. Un objet alloue une zone mémoire d'une certaine capacité (attribut _{_capacite}). Dans cette zone, il stocke les données utiles (qui occupent une certaine __taille). Par conséquent, _{_taille} doit toujours être inférieur ou égal à _capacite. La différence _capacite-_taille constitue une réserve de mémoire utilisable lors des changements de taille ou des affectations entre objets tableaux.

---------------------------------------------------------------------------------

#include "Tableau.h"

#include<process.h> #include<iostream> using namespace std;

Tableau::Tableau(unsigned taille):_taille(taille),

_capacite(2*taille), _tab(new double[2*taille]) { if(_tab==NULL){

                      cerr << "echec d'allocation";

                       exit(2);

}

// les éléments du tableau sont initialisés à 0 for(unsigned i=0;i<_taille;i++) _tab[i]=0;

}

Tableau::~Tableau(){

                        delete [] _tab;

}

// constructeur de copie

Tableau::Tableau(const Tableau & t):_taille(t._taille),

_capacite(t._capacite),_tab(new double[t._capacite]) { if(_tab==NULL){

                      cerr << "echec d'allocation";

                       exit(2);

}

for(unsigned i=0;i<_taille;i++) _tab[i]=t._tab[i];

} 

double & Tableau::operator [](unsigned idx)

{ if(idx>=GetTaille()){  // verification d’indice   cerr << "indice incorrect!";

                       exit(2);

}

               return _tab[idx];     

}

double Tableau::operator [](unsigned idx) const

{ if(idx>=GetTaille()) {    

                      cerr << "indice incorrect!";

                       exit(2);

}

return _tab[idx];

}

// opérateur d'affectation

Tableau & Tableau::operator=(const Tableau & t)

{ if(_capacite<t._taille) // réallocation si capacité insuffisante

{

       _capacite=2*t._taille;     double * temp=new double[_capacite];  if(_tab==NULL){      cerr << "echec d'allocation";

                       exit(2);

                       }

                      delete [] _tab;

                       _tab=temp;

}

_taille=t._taille;

for(unsigned i=0;i<t._taille;i++) _tab[i]=t._tab[i]; return *this;

} 

unsigned Tableau::GetTaille() const {   return _taille; 

} 

unsigned Tableau::GetCapacite() const { return _capacite; 

}

// méthode permettant le changement de taille void Tableau::NouvelleTaille(unsigned taille)

{ if(taille<=GetTaille()) _taille=taille; else

{

                      if(taille>_capacite)

                       {

              _capacite=2*taille;        double * temp=new double[_capacite];          if(_tab==NULL){

                             cerr << "echec d'allocation";

                              exit(2);

                              }

                            for(unsigned i=0;i<_taille;i++) temp[i]=_tab[i];

                             delete [] _tab;

                             _tab=temp;

                       }

                      for(unsigned i=_taille;i<taille;i++) _tab[i]=0;

                      _taille=taille;

}

}

---------------------------------------------------------------------------------

Fonction retournant une référence

Il faut noter que l’opérateur d’indexation _[] retourne une référence. Ainsi on peut modifier un élément du tableau via cet opérateur. Dans l’implémentation de l’opérateur simplifiée ici

double & Tableau::operator [](unsigned idx){

               return _tab[idx];     

}

il faut interpréter cela comme le fait que la fonction retourne une référence à _{_tab[idx]}. Dans ce cas, la fonction ne retourne pas une copie de la case, mais la case elle-même. 

Deux opérateurs d’indexation []

Il faut également remarquer que la classe dispose de deux opérateurs d’indexation. Un opérateur constant qui peut être appelé sur des objets constants (c’est-à-dire des tableaux constants). Celui-ci ne doit pas pouvoir modifier les éléments du tableau et renvoie donc le contenu de la case par valeur (retour classique). L’autre opérateur (non constant) quant à lui retourne une référence. 

D’ailleurs, on ne peut appeler sur un objet constant que les méthodes constantes : ici il s’agit de GetTaille(), GetCapacite() et un opérateur [].L’exemple ci-dessous montre comment l’on peut utiliser la classe Tableau.

---------------------------------------------------------------------------------

#include "Tableau.h" #include<iostream> using namespace std; void main()

{

Tableau T1(4);

               T1[0]=2;     // modifie la case d’indice 0

T1[2]=1.3;

cout << T1[0] << endl ; cout << T1.GetTaille() << endl;

// ici T1 contient {2,0,1.3,0}, _taille==4 et _capacite==8

T1.NouvelleTaille(10);

// ici T1 contient {2,0,1.3,0,0,0,0,0,0,0}, _taille==10 et _capacite==20

const Tableau T2(T1);  T2 est un tableau constant, fait par copie de T2 

// ici T2 contient {2,0,1.3,0,0,0,0,0,0,0} et son état n’est pas censé évoluer // on ne peut appeler sur T2 que des méthodes constantes

cout << T2[7] << endl ; cout << T2.GetTaille() << endl;

}

---------------------------------------------------------------------------------

Cette classe ressemble, en beaucoup moins évoluée, à la classe _{vector<double>} de la bibliothèque STL. Il reste néanmoins préférable d’utiliser la bibliothèque STL plutôt que de redéfinir des conteneurs. Cependant, écrire des conteneurs est un bon exercice pour assimiler les techniques d’écriture des classes. Il peut être intéressant de développer, à titre d’exercice, les conteneurs suivants (présents dans la bibliothèque STL): classe Ensemble (permettant de stocker des éléments sans doublon possible), classe ListeChainee (classe de listes chaînées), classe _Pile( structure LIFO), classe _Chaine (classe de chaînes de caractères). 

On a vu que la bibliothèque STL fournit des classes de conteneurs paramétrées en type. Par exemple, on peut faire des tableaux ou des listes d'éléments de n'importe quel type. Nous allons préciser ici la syntaxe permettant de réaliser des classes ou des fonctions paramétrées en type.

Considérons l’exemple classique d’une fonction de permutation des valeurs de deux variables entières. 

---------------------------------------------------------------------------------

#include <iostream> using namespace std;

                      void permute(int & a,int & b) { int c=a; a=b; b=c; }

void main()

{

 int x=2,y=3;  permute(x,y);  cout << x << y << endl;

}

---------------------------------------------------------------------------------

Nous voulons désormais, dans la même application, permuter deux valeurs de type _double. Grâce à la surcharge de fonctions, on peut compléter le programme de la manière suivante 

--------------------------------------------------------------------------------- void permute(int & a,int & b) { int c=a; a=b; b=c; }

                      void permute(double & a, double & b) { double c=a; a=b; b=c; }

void main()

{

      int x=2,y=3;  double u=1.3,v=1.7;        permute(x,y);        permute(u,v);

}

---------------------------------------------------------------------------------

La seule différence entre ces deux fonctions concerne les types utilisés. Si l’on peut paramétrer les types, on n’a qu’une seule définition à donner. C’est ce que permet la notation _template(patron).

---------------------------------------------------------------------------------       template<class T> void permute(T & a,T & b)

                        {

T c=a; a=b; b=c;

                        }

void main()

{

 int x=2,y=3;  double u=1.3,v=1.7; permute(x,y); // T=int  permute(u,v); // T=double

}

---------------------------------------------------------------------------------

La notation template<class T> indique au compilateur que T est un paramètre de type (type primitif, structuré ou classe). La fonction permute peut alors être appelée avec deux arguments d'un type quelconque, dans la mesure où les deux arguments sont du même type (ça n'aurait pas de sens de permuter un caractère avec un flottant).

Quand un paramètre de type est utilisé dans une fonction C++, on parle alors de patron de fonctions, ou de fonction paramétrée en type ou encore de fonction générique. Un patron de fonctions ne conduit pas directement à du code. Par exemple, s’il n’y avait pas d’appel de la fonction _permute(), aucun code ne serait généré (contrairement à une fonction classique). Le code des fonctions créées à partir du patron n’est généré que s’il y a un appel de la fonction pour un type donné.  

Dans l’exemple précédent, le compilateur crée deux fonctions à partir du patron. La première fonction est créée pour le paramètre de type _T=int et la seconde pour le paramètre de type _T=double. Le code des fonctions est généré selon le besoin. Dans un patron de fonctions, on peut aussi faire apparaître des arguments typés normalement. Ces paramètres sont parfois appelés paramètres expression. L'exemple suivant représente ce que pourrait être une fonction de tri de tableau paramétrée :

template <class T> void tri(T * tab,unsigned taille)

{

                             // algorithme du tri d'un tableau de taille éléments de type T;

                               // //

}

Un patron de fonctions définit une famille de fonctions ayant toutes le même algorithme mais pour des types différents. Il reste néanmoins possible de définir explicitement le code d’une fonction qui devrait normalement être prise en charge par le patron. Dans l’exemple suivant, nous réalisons un patron de fonctions calculant le minimum de deux variables de même type. La fonction _min() obtenue à partir du patron a du sens pour tous les types élémentaires sauf pour le type _char*. Nous avons donc défini une spécialisation pour le type _{char *}.  Cette spécialisation remplace le code que génèrerait le patron. 

---------------------------------------------------------------------------------

#include<iostream> #include<string.h> using namespace std;

//patron de fonctions

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

//spécialisation du patron pour le type char * char * min(char * s1,char * s2)    

{

      if(strcmp(s1,s2)<0) return s1;

       else return s2;

}

void main()

{

                        int a=1,b=3;

 char chaine1[]="coucou",chaine2[]="salut";  cout << min(a,b); //générée à partir du patron  cout << min(chaine1,chaine2); //spécialisation

}

---------------------------------------------------------------------------------

 On peut également introduire des paramètres de type dans la définition d'une classe. D’ailleurs, les conteneurs STL (voir section 6) sont des classes paramétrées en type. Pour présenter la syntaxe, le plus simple est une fois encore de traiter un exemple. On va réécrire la classe _Point de sorte de pouvoir instancier des points dont les coordonnées soient d'un type choisi par l'utilisateur.

On rappelle que dans l'utilisation d'une classe paramétrée, la valeur du paramètre de type est précisée

entre _{< T >}. Par exemple, pour la classe paramétrée _Point<T> donnée ci-après, l'utilisation sera la suivante.

--------------------------------------------------------------------------------- void main()

{

                       Point<int> p1(12,16);       // point à coordonées entières

                       Point<double> p2(1.3,4.6); // point à coordonnées rationnelles

}

---------------------------------------------------------------------------------

Définition de la classe paramétrée  _Point<T>.

---------------------------------------------------------------------------------

//fichier point.h

#ifndef __POINT_TEMPLATE__

#define __POINT_TEMPLATE__

template<class T> // T est un paramètre de type class Point { public:

                       Point<T>(){ _XY[0]=0; _XY[1]=0;}

                       Point<T>(const T & x,const T & y)

                        {

                               _XY[0]=x;

                               _XY[1]=y;

                        }

                       Point<T>(const Point<T> & p)

                        {

                              _XY[0]=p._XY[0];

                              _XY[1]=p._XY[1];

                        }

                       Point<T> & operator=(const Point<T> & p)

                        {

             _XY[0]=p._XY[0];            _XY[1]=p._XY[1];

                              return *this;

                        }

 void SetX(const T & x) { _XY[0]=x; }  void SetY(const T & y){ _XY[1]=y; }

      const T GetX() const { return _XY[0]; }  const T GetY() const { return _XY[1]; }

 private:

                        T _XY[2];    // tableau de 2 éléments de type T

};

#endif 

---------------------------------------------------------------------------------

Remarque : pour les classes paramétrées en type, toute l'implémentation des méthodes doit être disponible quand on utilise la classe paramétrée. Aussi, il est habituel que dans ce cas, le corps des méthodes soit fourni dans la définition de la classe. Il n'y a donc qu'un fichier header (fichier d’ntête d’extension .h) contenant toute l’implémentation des méthodes (comme ci-dessus). On doit aussi remarquer que la définition du paramètre de type n'est donnée qu'une seule fois avant le début de la classe. 

Ce chapitre présente un aperçu très sommaire des flots et de l'utilisation des fichiers (vus comme des flots particuliers). On trouve une présentation détaillée de ces flots (modification du formatage, les manipulateurs de flots) dans différents livres sur le C++ (dont celui de C.Delannoy) ainsi que sur l'aide

MSDN accessible sur

La déclaration d'énumérations s'effectue par la syntaxe suivante : 

enum bool{false=0,true};

bool est un type, et false/true sont des valeurs pour le type bool. Les énumérations sont gérées comme des variables de type entier. En C++, on peut définir des énumérations au sein des classes. On définit ainsi une famille de constantes au sein d'une classe (ce qui est une alternative à la déclaration de constantes via la directive _#define).

class Calendrier

{ public:

                      enum jour{lundi,mardi,mercredi,jeudi,vendredi,samedi,dimanche};

                        Calendrier();

                        //

};

Le type énumération, ainsi que ses valeurs possibles, appartiennent à la classe _Calendrier. C'est donc

l'opérateur de résolution de portée _:: qui permet de les référencer.

Calendrier::jour j=Calendrier::mardi;

Cette technique est très couramment utilisée, notamment dans la bibliothèque STL pour les modes d'ouverture des flots et la définition des formats.

C'est la technique utilisée par les itérateurs dans la bibliothèque STL. La classe ci-dessous illustre cette technique qui peut se généraliser aux patrons de classes.

class vecteur{ public:

class iterateur{     public:

                   iterateur();

      };

vecteur(int taille);  iterateur begin() const; int & operator[](int idx);

};

Ici, la classe _iterateur est définie dans la classe vecteur. L'utilisation est la suivante.

vecteur v1(3);

vecteur::iterateur i=v1.begin();

Une vue (très partielle) de la hiérarchie des classes de gestion des flots entrée/sortie est la suivante.

                                                                                  ios

                istream

La classe _ios est la classe de base pour tous les flots. La classe _istream est destinée aux flots d'entrée et ostream aux flots de sortie. D'ailleurs, _cin et _cout sont des objets globaux instanciés à partir de ces classes. Enfin, la classe _fstream permet la gestion des fichiers. On voit qu'elle dérive à la fois des deux classes _istream et _ostream.

Remarque : l'héritage multiple est possible en C++ mais n'est pas abordé dans ce cours.

Par conséquent, la gestion des fichiers via la classe _fstream utilise des méthodes héritées des classes mères. C'est pourquoi on va survoler l'interface de ces classes.

ios::open_mode: énumération définie dans la classe ios. Associée en particulier aux modes d'ouverture des fichiers. Les valeurs possibles sont :

ios::in : ouverture en lecture ios::out : ouverture en écriture

ios::app : ouverture en ajout (mode append) 

ios::binary : ouverture en mode binaire. (Par défaut, on ouvre le fichier en mode texte.)

Ces modes peuvent être combinés par l'opérateur |, par exemple ios::out|ios::app.

Méthodes de la classe ostream :

ostream::put(char) : sortie non formatée d'un caractère ostream::write(char *,int n) : sortie de n caractères 

ostream::operator<<( ) : insertion formatée dans le flot pour certains types de base (char, int ) 

#include<fstream> #include<iostream> using namespace std; void main()

{

      ('a');       ('\n');

                       char str[]={'a','b','c',0,'f','g','h'};

                       cout << str << endl;

                        cout.write(str,7);

}

A titre d'exemple, le format de sortie peut être modifié par certaines méthodes de la classe ainsi que par des manipulateurs de flot (ci-dessous, _endl est un manipulateur de flot)

void main()

{

                       float f1=1.3698;

 cout << f1 << endl; // sortie formatée -> 1.3698  cout.precision(3); // changement de la précision   cout << f1 << endl; // sortie formatée -> 1.37

}

Méthodes de la classe istream 

istream::get(char &) : lecture d'un caractère 

istream::getline(char * pStr,int nbCarac,char delim='\n') : lecture d'une suite d'au plus _nbCarac caractères. La lecture s'arrête aussi si le caractère délimiteur (par défaut '\n') est rencontré.

istream::read(char * pStr,int nbCarac) : lecture de _nbCarac caractères.

istream::operator>>( ) : lecture formatée pour les types de base.

// inclusion des fichiers

using namespace std;

void main()

{

                       char tampon[30];

                        string str;

 cin.getline(tampon,30,'\n'); //la lecture s'arrête sur retour chariot  cin >> str;   // la lecture s'arrête sur les espaces

 cout << tampon << endl;  cout << str << endl;

}

En C++, les fichiers peuvent être gérés par des flots de type _fstream (file stream). La classe fstream hérite des méthodes des classes istream et ostream, donc de celles présentées précédemment. La classe fstream dispose des méthodes suivantes (ou héritées de ios, istream, ostream)

 fstream::fstream() : crée un objet non connecté à un fichier  fstream::fstream(char * nomFichier, ios::open_mode ) : ouvre un fichier  fstream::~fstream() : fermeture d'un fichier ouvert

      fstream::open(char *, ios::open_mode) : ouvre un fichier         fstream::close() : ferme le fichier en cours 

Quelques équivalences entre les modes d'ouverture des flots et les modes d'ouverture de fichiers par fopen() en

C

                ios::open_mode                                                                  mode pour la fonction fopen()

ios::out                                               w ios::in                                               r ios::out|ios::app                                    a ios::in|ios::out                                      r+ ios::in|ios::binary                                  rb ios::out|ios::binary                                   wb ios::out|ios::app|ios::binary                          ab void main()

{

                        char tampon[150];

 // création ou remplacement du fichier  fstream f("",ios::out);

// écriture dans le fichier f<<"test \t" << 1 << "\t"<< 1.5 << endl;   f.close();

      // réouverture du fichier en mode ajout  f.open("",ios::out|ios::app);

      f<<"ajout \t" << 2 << "\t"<< 2.5 << endl; // écriture dans le fichier       f.close();

      // ouverture en mode lecture        f.open("",ios::in); 

                        while(!f.eof())

                        {

                              f.getline(tampon,150);

                              cout << tampon << endl;

                        }

}

La classe _fstream hérite de méthodes de positionnement. 

Pour la lecture (hérité de istream) :

fstream::seekg(déplacement, position) : positionne le pointeur  fstream::tellg() : retourne la position courante  

Idem pour l'écriture (hérité de ostream) :

fstream::seekp(déplacement, position)  fstream::tellp()

La classe ios définit pour cela des valeurs ios::beg (début du flot), ios::end (fin du flot), ios::cur (position courante). Il est à noter que la lecture ou l'écriture font évoluer la position courante.

void main()

{

                        char tampon[150];

// ouverture en écriture

fstream f("",ios::out);         

                       for(int i=0;i<3;i++) f<<"ligne numero "<< i << "\n";             

// instant t1

f.seekp(0,ios::beg); //positionne en début 

      f<<"premiere ligne \n";     f.close();

// instant t2        // ouverture en lecture

                       f.open("",ios::in);

//positionne au 3ième du début

                       f.seekg(2*sizeof(char),ios::beg);

      f.getline(tampon,150);      cout << tampon <<endl;

// déplace de 3 caractères

                       f.seekg(3*sizeof(char),ios::cur);

      f.getline(tampon,150);      cout << tampon <<endl;

}

Considérons la classe _Entier suivante. Les objets de cette classe encapsulent un entier. Cette classe sert uniquement à mettre en évidence les conversions possibles grâce aux constructeurs.

-----------------------------------------------------------------

#ifndef __CLS_ENTIER__

#define __CLS_ENTIER__

class Entier  

{ public:

                        Entier();

                       Entier(int val);

                        Entier(float val);

                       Entier & operator=(const Entier & e);

      int Get() const; private:

                        int _data;

};

      Entier operator+(const Entier & e1,const Entier & e2); #endif 

-----------------------------------------------------------------

-----------------------------------------------------------------

//

#include "Entier.h" #include<iostream> using namespace std;

Entier::Entier()

{

                       cout << "constructeur Entier::Entier()"<<endl;

                        _data=0;

}

Entier::Entier(int val) { 

                       cout << "constructeur Entier::Entier(int)"<<endl;

                        _data=val;

}

Entier::Entier(float val) 

{

                       cout << "constructeur Entier::Entier(float)"<<endl;

                        _data=(int)val;

}

int Entier::Get() const 

                  {      

                        return _data; 

}

Entier operator+(const Entier & e1,const Entier & e2) 

{

                       cout << "operator+(Entier,Entier)"<<endl;

                       return ()();

}

Entier & Entier::operator =(const Entier & e)

{

                       cout << "Entier::operator=(Entier)"<<endl;

                        _data=e._data;

                        return *this;

}

-----------------------------------------------------------------

Le programme ci-dessous met en évidence le rôle des constructeurs à 1 argument pour la conversion de type.

-----------------------------------------------------------------

#include<iostream>  #include "entier.h" using namespace std;

                      void f(Entier e)

                       {

                             cout << "valeur de e = " << e.Get() << endl;

                       }

void main(void)

{

                      int varInt=4;

                      float varFloat=2.5;

       f(varInt);    ;conversion int->Entier     f(varFloat); ;conversion float->Entier

                      Entier e(3);

                      e=e+varFloat; // conversion float->Entier

                      e=1+e; // conversion int->Entier

}

-----------------------------------------------------------------

La règle suivante s’applique en C++ : lorsqu’un objet de type classe _CLS  (ici _Entier) est attendu, et qu’une variable _autre de type _autreType est fournie, le compilateur cherche si parmi les constructeurs de la classe _CLS il en exite un qui accepte un seul argument de type _autreType. Si un tel constructeur exite, un objet temporaire est construit avec ce constructeur et est utilisé à la place de la variable _autre. 

Autrement dit :

Les constructeurs à un argument définissent une règle de conversion.

Par exemple, le constructeur Entier::Entier(float)  définit la conversion d’un type float vers le type _Entier. Aussi, à chaque fois qu'un type _Entier est attendu, et qu'un type _float est fourni, le constructeur réalise un objet temporaire pour cette conversion. Ce rôle des constructeurs doit être bien compris car en pratique beaucoup de conversions de type sont réalisées tacitement sans que le programmeur en soit tenu informé. 

On peut donner un autre exemple utilisant la classe _string de la STL. Puisqu'il est possible de créer un objet _string à partir d'une chaine de caractères du C, les lignes suivantes sont compilées sans aucun problème.

                string s1("chaine");      // constructeur string::string(char *)

                 s1=s1+"ajout";          // conversion char * -> string avant appel de l'opérateur +

En effet, là où l’opérateur ₊ attend un objet de type _string, on lui passe une variable de type _{char *}. Le compilateur cherche donc s’il est possible de convertir la chaîne _"ajout"en un objet de type _string. C'est possible car la classe string dispose d'un constructeur à un argument de type char *. La chaîne "ajout" est donc concaténée ici à la chaine _s1. Grâce à celà, on peut utiliser des chaînes du C à la place des objets _string.

Mot clé_explicit: par défaut, les conversions possibles grâce aux constructeurs peuvent être réalisées implicitement (tacitement) par le compilateur (il n'y a pas de warning).Il peut donc y avoir des conversions sans que le programmeur en soit conscient. On peut néanmoins mentionner dans la classe que les constructeurs ne soient utilisés comme convertisseurs que de manière explicite (mot clé _explicit).

class Entier  

{ public:

                        Entier();

explicit Entier(int val); // utiliable seulement pour conversions explicites  explicit Entier(float val);

};

Dès lors, toutes les conversions int->Entier et float->Entier doivent être explicites. 

#include<iostream>  #include "entier.h" using namespace std;

                        void f(Entier e){

                              cout << "valeur de e = " << e.Get() << endl;

                        }

void main(void){

  int varInt=4;   float varFloat=2.5;

                              f((Entier)varInt);         // conversion explicite

             f((Entier)varFloat);              Entier e(3);         e=e+(Entier)varFloat;

                              e=(Entier)1+e;

}

On peut également définir des règles permettant de convertir un objet d’un type classe en un type de base. Il s’agit en fait de définir le traitement réalisé par un opérateur de cast. Dans la classe _complexe suivante, l'opérateur double réalise la conversion complexe->double. Là où un objet complexe est passé alors qu'un double est attendu, cet opérateur est appelé pour réaliser la conversion de type. 

----------------------------------------------------------------------------------- //complexe.h

#ifndef __COMPLEXE__

#define __COMPLEXE__ #include<iostream> class complexe

{ private:

                        double re;   // partie réelle

      double im;    // partie imaginaire public:

                       complexe(double r=0,double i=0){   // constructeur

                             cout << "complexe(double=0,double=0) \t objet : "<<this << endl;

             re=r;         im=i;

                        }

                       complexe operator+(const complexe & c) const

                        {

             cout << "complexe::operator+() \t obj:"<<this<<" + obj:" <<&c<<endl;         return complexe(,);

                        }

operator double(){  // opérateur de cast

                             cout << "complexe::operator double() \t obj:"<<this<<endl;

return re; // la conversion complexe->double retourne la partie réelle

                        }

                      friend ostream & operator<<(std::ostream & flot,const complexe & c);

};

std::ostream & operator<<(std::ostream & flot, const complexe & c)

{

                        flot << c.re; 

                       if(c.im){flot << "+"<<c.im<<"i";}

                        return flot;

}

#endif

-----------------------------------------------------------------------------------

Le programme d’utilisation suivant illustre les conversions possibles grâce à cette classe élémentaire. On y retrouve aussi les conversions réalisées par le constructeur de la classe _complexe. Il faut noter qu'on peut utiliser le constructeur de la classe _complexe  avec un seul argument de type _double, l'autre ayant la valeur 0 par défaut. Ce constructeur peut donc être utilisé pour réaliser les conversions _{double->complexe}.

----------------------------------------------------------------------------------- #include "complexe.h"

void main()

                  {                                  Résultats

complexe c1,c2(1,3);  //1)-2)      complexe(double=0,double=0)       objet : 0x0066FDDC         1)        complexe(double=0,double=0)       objet : 0x0066FDCC         2) c1=2.4;            //3)   complexe(double=0,double=0)      objet : 0x0066FDB4         3) cout << c1 << endl; //4) 2.4                                                             4)     complexe::operator+()     obj :0x0066FDDC + obj :0x0066FDCC 5) c2=c1+c2;           //5)-6)       complexe(double=0,double=0)       objet : 0x0066FDA4         6) cout << c2 << endl; //7)   3.4+3i                                              7)     complexe(double=0,double=0)          objet : 0x0066FD94         8) c1=c1+(complexe)3.5; //8)-9)-10)        complexe::operator+()     obj :0x0066FDDC + obj :0x0066FD94 9) cout << c1 << endl; //11)   complexe(double=0,double=0)       objet : 0x0066FD84       10)

      5.9                                                            11) c1=(double)c1+3.5; //12)-13)    complexe::operator double()       obj :0x0066FDDC  12) cout << c1 << endl;  //14)       complexe(double=0,double=0)        objet : 0x0066FD74         13)

      9.4                                                            14) double d; complexe::operator double()          obj :0x0066FDDC            15) d=c1;             //15) 9.4                                                             16) cout << d << endl;  //16)

// c1=c1+3.5; // << error c2666 : 2 overloads have similar conversions

}

-----------------------------------------------------------------------------------

Les lignes de la sortie écran ont été numérotées : il y a 16 sorties écran.

1)    construction de _c1 (objet d’adresse 0x0066FDDC)

2)    construction de _c2 (objet d’adresse 0x0066FDCC)

3)    construction d’un objet temporaire, à partir de l’argument 2.4, qui est  passé à l’opérateur = . L’adresse de cet objet temporaire est 0x0066FDB4.

Note : puisque l’opérateur = n’a pas été explicitement défini, c’est l’opérateur = par défaut qui est utilisé. Ce dernier fait une

copie membre-à-membre qui convient parfaitement puisque les objets de la classe complexe n’ont pas de données en profondeur. 4) Affichage du contenu de _c1 grâce à l’opérateur _<<

5)    L’opérateur + de la classe _complexe est appelé. 

6)    Un objet temporaire d’adresse 0x0066FDA4 est construit pour retourner le résultat de l’opérateur car c’est un retour par valeur. C’est d’ailleurs cet objet temporaire qui est utilisé comme argument de l’opérateur =.

7)    Affichage de _c2

8)    Lié à la conversion explicite. La valeur 3.5 doit être convertie en un objet _complexe. Il y a donc construction d’un objet de la classe _complexe d’adresse 0x0066FD94. 

9)    Appel de l’opérateur + de la classe _complexe. On remarque que l’argument de l’opérateur est bien l’objet d’adresse 0x0066FD94

10)    L’opérateur + retourne un objet par valeur. Il y a construction d’un objet d’adresse 0x0066FD84.

11)    Affichage de _c1

12)    Là encore, il ya une conversion explicite. On souhaite convertir _c1 en type _double, ce qui fait appel à l’opérateur double de la classe complexe sur l’objet c1 (dont l’adresse est 0x0066FDDC)

Note : par conséquent, c’est l’opérateur + correspondant au type _double qui est utilisé ici, et non celui du type complexe.

13)    Puisque (double)c1+3.5  est de type double, il doit y a voir une conversion implicite double-> complexe avant l’affectation. Il y a donc construction d’un objet temporaire d’adresse 0x0066FD74.

14)    Affichage de _c1

15)    Il y a conversion implicite du type _complexe vers le type _double. Cette conversion implicite utilise l’opérateur double de la classe complexe sur l’objet c1.

16)    Affichage de _c1

Conclusion

Ces conversions de type constituent un sujet sensible. L’utilisation de ces moyens de conversions peut conduire à des situations où le compilateur ne sait pas quelle conversion mettre en œuvre. C’est le cas pour la ligne suivante :

c1=c1+3.5; // c1=c1+(complexe)3.5 ?  ou c1=(complexe)((double)c1+3.5) ?

Le compilateur ne sait pas si l’on souhaite que 3.5 soit converti en _complexe ou bien que _c1 soit converti en _double. Le compilateur indique alors le message d’erreur : error c2666 : 2 overloads have similar conversions. Notons que cela ne conduit d’ailleurs pas au même résultat !

Certains aspects du C++ ont été présentés dans ce document, mais la présentation faite ici est loin d'être exhaustive. Les notions suivantes ont été laissées de côté pour cette première approche du C++ :

l'héritage multiple, les nouveaux opérateurs de cast (notamment dynamic_cast), le RTTI (Run Time Type Information), l'utilisation détaillée de la bibliothèque STL.

Pour finir, les fiches suivantes synthétisent certaines parties de ce cours.

Le C++ en dehors des classes

Les références En C++, les références sont des alias : plusieurs noms pour une même variable, un même objet.

Déclaration d'une référence  

                       int & refI=varI;    //   refI est un alias de la variable varI

//  refI et varI sont deux identificateurs pour la même variable de type int

Deux alias fournissent la même adresse 

                        int * p1=&refI;      // référence à varI

                        int * p2=&varI;        

                       cout << p1 << p2 << endl; // les deux pointeurs contiennent la même adresse

Ne pas confondre les deux sens de l'opérateur & : adresse de / déclaration d'une référence

                        int & refI=varI;    // déclaration d'une référence

                      int * p=&varI; // opérateur qui fournit l'adresse d'une variable 

Paramètre "passé à une fonction par référence" 

// utilisation de la fonction

f(pAppel); //à la sortie de la fonction, le paramètre d'appel a pu être modifié 

// définition de la fonction

void f(int & pFormel) // pFormel est ici un paramètre de sortie

{

                      // le paramètre formel étant un alias du paramètre d'appel

                        pFormel++;

// equivaut à pAppel++

}

Paramètre "passé à une fonction par référence constante" 

void f(const GrosType & pEntree) // pEntree est ici un paramètre d'entrée {

                      // si le paramètre est un gros (en nombre d'octets) paramètre d'entrée, 

// le passage par référence est plus rapide, mais il faut alors ajouter le mot clé const  // pour prévenir toute modification fortuite.

}

Les paramètres en C++ (synthèse)

                                   Un petit paramètre (char, int, double, etc.) d'entrée ou d'entrée/sortie peut être passé par valeur (ou par valeur

constante.)

                                  Un gros paramètre (objet ou structure avec beaucoup de données) d'entrée ou d'entrée/sortie doit être passé par

référence constante pour des raisons de performance.

                                  Un paramètre de sortie doit être passé par référence  (remplace le passage par adresse du langage C)

En C++, les tableaux sont passés aux fonctions comme en langage C, c'est-à-dire en fournissant l'adresse de leur première

case et leur taille. 

void f(int * tab, unsigned taille){ }

Retour d'une fonction par référence 

 int & f(int pF){ }  f(3)=2; // f(3) est une référence à une "certaine" variable, et est donc modifiable.

Surcharge de fonctions Plusieurs fonctions peuvent avoir le même nom mais pas la même signature

Paramètres avec valeurs par défaut Valeur attribuée au paramètre quand celui-ci fait défaut              

 void f(int pI, double d=2.1);  void f(char *, int i=4);

Les classes en C++

Déclaration d'une classe (dans un fichier header d'extension .h)

class MaClasse

{

                        public:

                              // méthodes à accès public

                              MaClasse();                // constructeur sans argument

                              MaClasse(int var);         // constructeur à un argument de type int

                               MaClasse(const MaClasse & obj); // constructeur de copie

                              ~MaClasse();                      // destructeur

                            MaClasse & operator=(const MaClasse & obj);  // opérateur d'affectation

                             void SetVal(int val);  // Méthode modificateur d'état, donc non constante

                              int GetVal() const; // Méthode pour obtenir tout ou partie de l'état 

// donc méthode constante

private:

                              // données / méthodes à accès privé

  int _val;  // données membres encapsulées (à accès privé)   double _autre;

}; 

Définition des méthodes dans un fichier séparé (fichier d'extension .cpp) [source partielle]

MaClasse::MaClasse()

{

                        _val=0;      // la donnée membre _val est initialisée à 0;

                        _autre = 2.1;

}

MaClasse::MaClasse(const MaClasse & obj)

{

                       // implementation non fournie

} 

int MaClasse::GetVal() const

{

 return _val; // retourne la valeur de la donnée membre _val(l'état de l'objet) } 

void MaClasse::SetVal(int val) const

{

      _val=val;     // affecte une nouvelle valeur à l'état  }

 A noter 

-  un constructeur/un destructeur ne retourne rien (ne pas mettre void non plus)

-  le destructeur n'a pas d'argument

-  un constructeur sert à donner un état cohérent à l'objet (penser à initialiser toutes les données membres)           - un accesseur est une méthode qui retourne ou donne accès à l'état de l'objet. C'est une méthode constante.

-  inversement, une méthode qui permet la modification de l'état d'un objet ne doit pas être constante.

Utilisation de la classe MaClasse  

 void main()

{

                              MaClasse objet1;    // construction d'un objet à l'aide du 

// constructeur sans argument 

// etat = (objet1._val==0, objet1._autre==2.1)

MaClasse objet2(15);  // utilise le constructeur avec 1 argument int pour objet2

                      MaClasse objet3(objet1); // utilise le constructeur par copie pour objet3

                       cout << objet1.GetVal() << endl;

objet1.SetVal(12); // nouvel état : (objet1._val==12,objet1._autre==2.1) }

Gestion des projets avec des classes en C++

Pour chaque classe, on place dans un fichier header (extension .h) la définition de la classe, c'est-à-dire son nom,

les noms et types des arguments et les prototypes des méthodes.

On place dans un fichier source (extension cpp) la définition des méthodes.

Enfin, pour utiliser la classe, il faut créer un projet incluant le fichier source d'utilisation de la classe (fichier

cpp) et le (ou les) fichier(s) de définition des méthodes. Le fichier header doit être visible par tous les fichiers qui l'utilisent

Fichier header (fichier d'entête)

--------------------------------------------------------------------------

// fichier d'entête maclasse.h

#ifndef __MA_CLASSE__

#define __MA_CLASSE__     // directives pour compilation conditionnelle

#include <iostream>  // inclusion des fichiers nécessaires ici

class MaClasse

{

      public:              MaClasse();

                              void Affiche(std::ostream & sortie) const;

};

#endif 

--------------------------------------------------------------------------

Fichier de définition des méthodes (implémentation de la classe)

-------------------------------------------------------------------------------------------

// fichier

#include "maclasse.h"  // le fichier header doit être dans le même répertoire que ce source 

MaClasse::MaClasse() {

                        //

} 

void MaClasse::Affiche(std::ostream & sortie) const

{

                       sortie << "Affichage sur sortie standard";

}

-------------------------------------------------------------------------------------------

Fichier d'utilisation de la classe  

-------------------------------------------------------------------------------------------

//

#include "maclasse.h"      // le fichier header doit être dans le même répertoire que ce source 

void main()

{

                        MaClasse m;

                       m.Affiche(std::cout);       //affiche sur flot cout

}

-------------------------------------------------------------------------------------------

Projet C++ : pour pouvoir compiler et éditer les liens, les deux fichiers et

doivent être dans un même projet.

Note : on peut également  faire un fichier librairie à partir d'un ou de plusieurs fichiers de sources de

définition des méthodes d'une classe. Pour utiliser une classe, l'utilisateur n'a plus ensuite qu'à créer un projet incluant la librairie (à la place des fichiers sources de définition des méthodes).

Introduction aux classes standard et aux classes paramétrées en type

Les classes standards telles que istream, ostream (pour les objets cin et cout), string utilisent un espace de

nom particulier :

void main() {

                       cout << "Hello world !" << endl;

 string str1("abc"); // construction d'un objet string  string str2("def");

                        string str3(str1); // str3 est construit par copie de str1

                        str1=str1+str2;     // l'opérateur + réalise une concaténation

                      cout << str1 << endl; // un objet string s'affiche sur le flot cout

                       cout << "3ième caractère de str1 :" 

cout << str1[2] << endl; // un objet string s'utilise comme un tableau }

Utilisation d'une classe paramétrée en type.

La bibliothèque STL fournit des classes paramétrées en type pour stocker des données

       vector<Ty>    = classe de tableaux stockant des données de type Ty  stack<Ty>     = classe de piles de données de type Ty 

-------------------------------------------------------------------------------------------

                 #include <iostream>         

                 #include <vector>        // déclaration de la classe paramétrée vector<Ty>

                using namespace std;      // utiliser l'espace de nom std aussi pour ces classes 

void main() { vector<int> v1(5,2); // v1 est un vecteur de 5 int initialisés à 2. vector<int> v2(8); // v2 est de taille 8, à valeurs initiales nulles

                        v1[2]=3;     // v1 s'utilise comme un tableau

                        v1[4]=2;       

                      // ici, éviter v1[5]=7 car les indices valides vont de 0 à 4 (car la taille est 5)

                        v1.resize(12);      // méthode qui modifie la taille du vecteur

                       cout << () << endl; // vector<Ty>::size() est l'accesseur de taille

v1[11]=4;  // ici c'est bon, car le vecteur vient d'être redimensionné 

                        v2=v1;      // l'affectation entre deux objets vector<int> est possible

                       vector<char> v3(7); // v2 est un vecteur de caractères de taille 7

                        v2[0]='a';   // v3 stocke donc des caractères

                       stack<int> pile;    // objet "pile" pour gérer des int

                        (12);      // place la valeur 12 sur la pile

                       stack<float> pileF; // objet "pile" pour gérer des float

                        (3.25);   // place la valeur float 3.25 sur la pile pileF

                      /* ce qui ne fonctionne pas (voir chapitre dédié aux classes paramétrées)

                        v3=v1;      // les classes vector<int> et vector<char> sont différentes

                        */

}

-------------------------------------------------------------------------------------------

Réalisation de la relation de composition en C++

Certaines classes ont comme attributs des objets d'une autre classe. On représente cela en UML soit par la

relation de composition ou bien comme le fait que certains attributs sont d'un type classe donné.

Ci- contre, deux représentations de la même classe Composite

Composite sont données. La représentation de gauche -_composant : Composant indique que la classe Composite est composée d'un objet +Composite()             +Composite()

_composant. La représentation de droite indique qu'un attribut (_composant) de la classe Composite est de type

Composant.

Dans les deux cas, une réalisation possible en C++ de la classe Composite est la suivante

-----------------------------------------------------------------------

//fichier composite.h

#ifndef __CLS_COMPOSITE__

#define __CLS_COMPOSITE__

#include "composant.h"

class Composite

{ public:

                        Composite();

      Composant GetComposant() const;  // retourne une copie du composant            private:

                       Composant _composant;       // objet membre

};

#endif

-----------------------------------------------------------------------

Définition des méthodes dans un fichier séparé (fichier d'extension .cpp) 

-----------------------------------------------------------------------

#include "composite.h"

Composite::Composite():_composant(12)

{

}

Composant Composite::GetComposant() const

{

                        return _composant; 

}

-----------------------------------------------------------------------

Il faut souligner le rôle de la liste d'initialisation pour les classes composites. Ci-dessus, l'objet composant est initialisé par le constructeur à 1 argument de type int (seul constructeur disponible pour cette classe).

----------------------------------------------------------------------- #include "Composite.h"        

void main()

{

Composite c1;  

                       Composant c2(c1.GetComposant());

}

-----------------------------------------------------------------------

Remarque : pour l'exemple ci-dessus, la classe Composant doit être dotée d'un constructeur de copie valide : d'une part pour que l'accesseur Composite::GetComposant() retourne une copie du composant et que la construction de c2 soit possible dans le programme d'utilisation.

Réalisation de la relation de spécialisation en C++

Une classe décrit ce que les objets d'un ensemble ont en commun en termes de méthodes et d'attributs. D'un point de vue ensembliste, une sous-classe caractérise donc un sous-ensemble d'objets. Soit cette sous-classe a des attributs supplémentaires permettant d'apporter une représentation plus précise des objets, soit elle se distingue par le fait que les attributs ne peuvent prendre que certaines valeurs.  La relation sous-classe/super-classe ou relation de spécialisation/ généralisation se représente en UML par une flèche. La flèche part de la sous-classe (ou classe spécialisée) et désigne la super-classe (la classe la plus générale). 

---------------------------------------------

// fichier header de la classe Specialisee

#ifndef __CLS_SPECIALISEE__

#define __CLS_SPECIALISEE__

#include "generale.h" 

class Specialisee : public Generale

{ public:

                        Specialisee();

                       void MethodeA();

                        void MethodeB();             

};

#endif

---------------------------------------------  

Définition des méthodes dans un fichier séparé (fichier d'extension .cpp) 

-----------------------------------------------------------

// définition des méthodes de la classe Specialisee

#include "specialisee.h"

Specialisee::Specialisee():Generale(const std::string & s)

                  {      

} 

void Specialisee::MethodeA()

{

                       // masque la méthode de la super-classe

                        //

}

-----------------------------------------------------------

Là encore, il faut souligner le rôle de la liste d'initialisation. Ci-dessus, l'objet spécialisé initialise la partie héritée par le constructeur à 1 argument de type string. On peut supposer qu'ici la classe générale contient un objet membre de type string, mais ça importe peu. Ce qui importe c'est de regarder l'interface de la super-classe pour savoir quels sont les constructeurs disponibles.

Toutes les méthode publiques de la super-classe sont utilisables sur la sous-classe. Eventuellement, certains phénomènes de masquage nécessitent l'utilisation du nom de la classe et de l'opérateur de portée ::

----------------------------------------------------------- #include "specialisee.h"      

void main()

{

                              Specialisee s1;        

 s1.MethodeC();  // la méthode C est accessible pour la sous-classe 

                        s1.MethodeB();      // méthode B de la super-classe

                       s1.MethodeB(std::string("toto"));  // méthode B de la sous-classe  

                               s1.MethodeA();      // la méthode de la classe spécialisée 

// masque celle de la super-classe

                              s1.Generale::MethodeA();  // en raison du masquage, il faut préciser 

// si l'on souhaite

                                                   // utiliser la méthode de la super-classe.

}

-----------------------------------------------------------

Le polymorphisme en C++

Lorsqu'une hiérarchie de classes existe, le C++ autorise certaines conversions de type. D'un point de vue ensembliste, il est normal que les objets d'une sous-classe puissent être aussi considérés comme des objets de la superclasse. Par exemple, la classe des êtres humains étant un sous-ensemble de celle des êtres vivants, un être humain est un être vivant.

class EtreVivant

{ public: 

                        void Methode();

}; 

class Animal: public EtreVivant

{ public: 

                        void Methode();

}; 

class Europeen: public EtreHumain

{ public: 

                        void Methode();

};

Pour la hiérarchie décrite ci-dessus, certaines conversions de types sont possibles. Par ailleurs, faute de précision, la ligature des méthodes est statique. Cela signifie que via un pointeur de type EtreHumain *, on n'accède qu'au méthodes de la classe EtreHumain ou des super-classess (par exemple EtreVivant).

void main()// conversion sous-classe * -> classe *

{

Europeen E;

Animal A;

                EtreHumain * ptrEH=&E;     // Europeen * -> EtreHumain *

ptrEH->Methode();  // appel de la méthode de la classe EtreHumain même si l'objet

                                     // pointé est de type Europeen

                ptrEH->EtreVivant::Methode();      //méthode également accessible

EtreVivant * ptrEV = ptrEH; // conversion EtreHumain * -> EtreVivant *

ptrEV->Methode();  // appel de la méthode de la classe EtreVivant 

EtrVivant * ptrG2 = &A;    // Animal * -> EtreVivant * }

Ligature dynamique : on peut préciser dans la classe de base si une recherche dynamique de méthode doit être

effectuée (mot clé virtual). 

 class EtreVivant

{ public: virtual void Methode(); // demande au compilateur de mettre en place un lien dynamique virtual ~EtreVivant();  // le destructeur doit être virtuel

}; 

void main()

{

 EtreVivant * tableau[4];  tableau[0]=new EtreVivant;  tableau[1]=new Animal;  tableau[2]=new Europeen;  tableau[3]=new EtreHumain;

tableau[0]->Methode();    // méthode de la classe EtreVivant tableau[1]->Methode();  // méthode de la classe Animal tableau[2]->Methode();  // méthode de la classe Europeen tableau[3]->Methode();    // méthode de la classe EtreHumain

for(unsigned i=0;i<4;i++) delete tableau[i];  }

Les patrons de classes en C++

En C++, on peut introduire des paramètres de type. Pour les classes paramétrées, il est préférable de placer la définition des méthodes (elles-mêmes paramétrées) dans la définition de la classe. Le fichier header (.h) contient alors toute l'implémentation. Il n'y a pas de fichier de définition cpp pour les patrons de classe.

Exemple d'un patron de conteneurs de type tableau (accès direct).

------------------------------------------------------------------------------

#ifndef __CLSPARAM__

#define __CLSPARAM__

template<class T> class Tableau

{ public:

                       Tableau<T>(unsigned size=1)

                        {

                              _tab=new T[size];

                              _size=size;

                        }

                       Tableau<T>(const Tableau<T> & t)

                        {

                              _tab=new T[t._size];

                              _size=t._size;

                             for(unsigned i=0;i<_size;i++) _tab[i]=t._tab[i];

}

Tableau<T>& operator=(const Tableau<T> & t)

                        {

                              T* ptr=_tab;

                              _tab=new T[t._size];

                              _size=t._size;

                             for(unsigned i=0;i<_size;i++) _tab[i]=t._tab[i];

                              delete [] ptr;

                              return *this;

}

~Tableau<T>(){ delete [] _tab;}

void GetElement(unsigned i) const { return _tab[i];}

void SetElement(unsigned i, const T & valeur) { _tab[i]=valeur; }

unsigned GetSize() const { return _size;}

T& operator[](unsigned i) { return _tab[i]; }

const T & operator[](unsigned i) const { return _tab[i]; }

 private:

 T * _tab;   // T est le paramètre de type   unsigned _size;

};

#endif

------------------------------------------------------------------------------

Utilisation du patron :  

------------------------------------------------------------------------------

#include "Tableau.h"

#include "Rationnel.h"

#include "Point.h"

void main()

{

 Tableau<int> tab1(3); Tableau<Rationnel> tab2(4);

                       Tableau<Point> tab3(10);

      tab1.SetElement(2,3);       tab2.SetElement(0,Rationnel(1,2));        tab1[0]=4;

}

------------------------------------------------------------------------------

---