courante
Le langage Java
Jean-Baptiste Yun`es
Universit´e Paris 7 - Denis Diderot
Jean-Baptiste.Yun[email protected]
1
G´en´eralit´es
La programmation Orient´ee Objet n’est pas un concept nouveau
(smalltalk/simula - ann´ees 60).
De nombreux langages orient´es objets existent, dont les principaux
sont : smalltalk, eiffel, C++ et Java.
Aujourd’hui (presque) tous les langages de programmation sont
orient´es objets.
2
Histoire naturelle
– donn´ees structur´ees (struct de C, record Pascal, etc)
– donn´ees structur´ees + fonctions (modules)
– mod`eles, types et instances (objets et classes)
– h´eritage, polymorphisme (sorte de)
– encapsulation (visibilit´e)
– impl´ementation/sp´ecification (types abstraits)
– liaison dynamique/tardive
La POO facilite :
– la s´eparation de l’impl´ementation et de la sp´ecification
(conception/r´ealisation)
– la r´eduction du couplage entre entit´ees (couplage fort `a
l’int´erieur, couplage faible `a l’ext´erieur),
– la construction d’entit´es logicielles r´eutilisables (composants)
3
Un exemple : une pile
Une pile est un “objet” sur lequel nous pouvons agir :
– en lui donnant un “objet” `a ajouter (“empiler”),
– en lui demandant de retrouver (“d´epiler”) un objet
pr´ec´edemment empil´e,
– en lui demandant si il y a quelque chose `a d´epiler
Cette description informelle est une sp´ecification abstraite de ce
que nous appelons “pile” (c’est souvent sujet d’infinies discussions)
Une description plus compl`ete devrait indiquer en plus les
conditions n´ecessaires au bon fonctionnement des actions (d´epiler
dans un pile vide ?), ainsi que les propri´et´es (axiomes) v´erifi´ees par
toute pile (une pile “neuve” est vide, apr`es empilement une pile
n’est pas vide, d´epiler(empiler(objet)) = objet).
Quelques remarques :
Cette description est ind´ependante de la repr´esentation d’une pile
4
r´eelle (toute pile v´erifie la description pr´ec´edente) : sp´ecification
(divers formalismes existent).
On doit pouvoir r´ealiser des piles comme on le d´esire (en utilisant
des tableaux, des listes) pourvu qu’elles soient conformes `a la
sp´ecification : impl´ementation (notion de correction).
L’encapsulation doit assurer que les utilisateurs d’un objet pile
quelconque ne pourront atteindre la repr´esentation interne de
l’objet : s´ecurit´e et couplage faible.
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
1
/
128
100%
