“Le présent article n'a pas encore été revu par un modérateur, pour cela veuillez faire attention quant à son contenu, que nous ne pouvons pas vous garantir son exactitude.”

La POO (programmation orienté objet)

Introduction à la POO

La programmation orientée objet (POO) ou programmation par objet, est un paradigme de programmation informatique qui consiste en la définition et l'assemblage de briques logicielles appelées objet ; un objet représente un concept, une idée ou toute entité du monde physique, comme une voiture, une personne ou encore une page d'un livre.

le garage Moulins

Le garage Moulins est un petit garage familial de Province, qui appartient à Guy Moulins. Guy répare à la fois les voitures, les véhicules agricoles, et les camions.

Guy est marié, son épouse s'appelle Monique. Ils ont deux enfants, Vincent, qui apprend lui aussi le métier de garagiste (il est en apprentissage chez un garagiste ami), et Ludivine, qui est au Collège.

Ils ont un chien, un cocker qu'ils ont appelé Joe. (oui je sais, bof...)
Guy travaille dans le garage avec un ouvrier, Michel, et une secrétaire, Ghislaine.
Le garage Moulins travaille beaucoup avec l'entreprise de transports Dugenoux, qui lui apporte tout son parc de véhicules à réparer.
Voila le tableau...

Le typage et le polymorphisme

Dans la programmation par objet, chaque objet est typé. Le type définit la syntaxe (comment l'appeler ?) et la sémantique (qu'est ce qu'il fait ?) des messages auxquels peut répondre un objet. Il correspond donc, à peu de chose près, à l'interface de l'objet. Toutefois, la plupart des langages objets ne proposent que la définition syntaxique d'un type (C++, Java, C#, ...) et rares sont ceux qui fournissent aussi la possibilité de le définir sémantiquement (Eiffel avec sa conception par contrats), pourtant nécessaire pour profiter au mieux des avantages de la conception objet.

Un objet peut appartenir à plus d'un type. C'est ce que l'on appelle le polymorphisme. Ceci permet d'utiliser des objets de types différents là où est attendue une valeur d'un type précis, dès que ceux-ci satisfont le type requis. Une façon de réaliser le polymorphisme est le sous-typage (appelé aussi héritage de type) : mécanisme par lequel est raffiné un type père en un autre type, le sous-type ; c'est un mécanisme de restrictions des espaces de valeurs du type. Les objets de ce sous-type sont conformes aussi au type père, ces objets sont donc d'au moins deux types. De ceci découle le principe de substitution de Liskov.