Conception Orientée Objet

Conception Orient´ee Objet
cours 4 : programmes fiables
Ig´en´ericit´e
Iexceptions
Iassertions

Conception Orient´ee Objet
g´en´ericit´e
g´en´ericit´e

Conception Orient´ee Objet
g´en´ericit´e
g´en´ericit´e
possibilit´e d’´ecrire des classes param´etr´ees par d’autres classes
permet de :
I´ecrire un code d´ependant d’un/de type(s) non connu(s)
Ifaire des v´erification de type d`es la compilation
utilisation d’un param`etre formel de type
repr´esentant une classe (jamais un type primitif)

Conception Orient´ee Objet
g´en´ericit´e
exemple
p u b l i c i n t e r f a c e P i l e <G>{
public G sommet ( ) ;
p u b l i c void d e p i l e ( ) ;
p u b l i c void e m p i l e (G e le me n t ) ;
p u b l i c boolean v i d e ( ) ;
}

Conception Orient´ee Objet
g´en´ericit´e
g´en´ericit´e et collections
avant java 5 : le type statique des objets dans les collections ´etait
java.lang.Object
ArrayList a = new A r r a y L i s t ( ) ;
S t r i n g s = ” t e s t ” ;
a . add ( 1 , s ) ;
I n t e g e r i = 2 ;
a . add ( 2 , i ) ;
...
s = ( S t r i n g ) a . g et ( 5 ) ;
le cast ´etait utilis´e syst´ematiquement
ce qui pouvait se traduire par des ClassCastException !