L'inversion de contrôle (Inversion of Control, IOC) est un patron d'architecture commun à tous les frameworks (ou cadre de développement et d'exécution). Il fonctionne selon le principe que le flot d'exécution d'un logiciel n'est plus sous le contrôle direct de l'application elle même mais du framework ou de la couche logicielle sous-jacente.
L'inversion de contrôle est un terme générique. Selon la problématique, il existe différentes formes, ou représentation d'IoC. Le plus connu étant l'inversion des dépendances (dependency inversion principle) qui est un patron de conception permettant, en programmation orientée objet, de découpler les dépendances entre objets.
Avec l'IoC, le framework ([cadriciel]) prend en charge l'exécution principale du programme ; il coordonne et contrôle l'activité de l'application. Le programme utilisateur définit alors les blocs de codes en utilisant l'API fournie à cet effet par le framework, sans relation dure entre eux. Ces blocs de codes sont laissés à la discrétion du framework qui se chargera de les appeler.
L'IoC est illustré par le principe d'Hollywood : "Ne nous appelez pas, c'est nous qui vous appellerons". Selon ce principe, l'inversion de contrôle a lieu entre le framework (ou la couche logicielle sous-jacente) et l'application. Ce n'est plus l'application qui gère les appels au framework, mais ce dernier à l'application.
Exemple :
Soit une application qui demande des informations sur l'utilisateur. Selon l'approche classique, le corps du programme pose non seulement les briques d'interaction Homme-Machine (IHM) mais contrôle aussi la séquence d'exécution de celles-ci.
Exemple en pseudo langage :
print 'Votre nom :'
read nom
traite nom
print 'Votre âge :'
read age
traite age
...
Avec l'IoC, le framework s'assure du contrôle du flot d'exécution souvent sous la forme d'une fonction principale. Le corps principal du programme prend alors en charge seulement le traitement et, dans une moindre mesure, les briques IHM.
Exemple en pseudo langage :
framework <- init
q1 <- question 'Votre nom :'
attache_traitement q1, mon code
q2 <- question 'Votre âge :'
attache_traitement q2, mon_autre_code
boucle_principale framework
Ici, le framework d'abord est initialisé, puis les composants qui font l'IHM du programme sont ensuite créés. À ces composants sont attachés un traitement à exécuter par le framework lorsque ceux-ci sont devenus actifs par action de l'utilisateur. Puis, pour finir, le contrôle de l'application est passé au framework .
Le principe est de découpler les liens de dépendances entre objets. En programmation objet, les objets de type A dépendent d'un objet de type B si au moins une des conditions suivantes est vérifiée :
Si A dépend de B, cela implique que pour créer A, on ait besoin de B ce qui, en pratique, n'est pas toujours le cas.
Pour supprimer la dépendance, un moyen possible consiste à
Un problème qui se pose est de disposer dans A d'un objet implémentant I alors que l'on ne sait pas comment l'instancier. La solution consiste à créer, par exemple, un objet b de type B et de l'injecter dans un objet de type A. L'injection proprement dite peut se faire
Ces techniques sont très utilisées pour les applications bâties sur des serveurs d'applications.