« Patrons de conception/Patron de méthode » : différence entre les versions

Un livre de Wikilivres.
(Aucune différence)

Version du 6 février 2006 à 12:33


La technique du Patron de Méthode est un motif de conception (design pattern) comportemental utilisé en génie logiciel.

Un Patron de Méthode définit le squelette d'un algorithme à l'aide d'opérations abstraites dont le comportement concret se trouvera dans les sous-classes, qui implémenteront ces opérations.

Cette technique, très répandue dans les classes abstraites, permet de:

  • Fixer clairement des comportements standards qui devraient être partagés par toutes les sous-classes, même lorsque le détail des sous-opérations diffère.
  • Factoriser du code qui serait redondant s'il se trouvait répété dans chaque sous-classe.

La technique du Patron de Méthode a ceci de particulier que c'est la méthode de la classe parent qui appelle des opérations n'existant que dans les sous-classes. C'est une pratique courante dans les classes abstraites, alors que d'habitude dans une hiérarchie de classes concrètes c'est le contraire : ce sont plutôt les méthodes des sous-classes qui appellent les méthodes de la super-classe comme morceau de leur propre comportement.

L'implémentation d'un patron de méthode est parfois appelée méthode socle parce qu'elle ancre solidement un comportement qui s'applique alors à toute la hiérarchie de classes par héritage. Pour s'assurer que ce comportement ne sera pas redéfini arbitrairement dans les sous-classes, on déclare la méthode socle final en Java, ou bien non virtuelle en C++.

Les méthodes servant de "briques de comportement" à la méthode socle devraient être déclarées abstract en Java, ou bien virtuelles pures en C++.

Exemple en Java

/**
 * Classe abstraite servant de base commune à divers
 * jeux de société où les joueurs jouent chacun leur tour.
 */

abstract class JeuDeSociété{

  private int nombreDeJoueurs;

  abstract void initialiserLeJeu();

  abstract void faireJouer(int joueur);

  abstract boolean partieTerminée();

  abstract void proclamerLeVainqueur();

  /* Une méthode socle : */
  final void jouerUnePartie(int nombreDeJoueurs){
    this.nombreDeJoueurs = nombreDeJoueurs;
    initialiserLeJeu();
    int j = 0;
    while( ! partieTerminée() ){
      faireJouer( j );
      j = (j + 1) % nombreDeJoueurs;
    }
    proclamerLeVainqueur();
  }
}

On peut maintenant dériver cette classe pour implanter divers jeux:

class Monopoly extends JeuDeSociété{

  /* Implémentation concrète des méthodes nécessaires */

  void initialiserLeJeu(){
    // ...
  }

  void faireJouer(int joueur){
    // ...
  }

  boolean partieTerminée(){
    // ...
  }

  void proclamerLeVainqueur(){
    // ...
  }
 
  /* Déclaration des composants spécifiques au jeu du Monopoly */

  // ...

}
class Echecs extends JeuDeSociété{

  /* Implémentation concrète des méthodes nécessaires */

  void initialiserLeJeu(){
    // ...
  }

  void faireJouer(int joueur){
    // ...
  }

  boolean partieTerminée(){
    // ...
  }

  void proclamerLeVainqueur(){
    // ...
  }
 
  /* Déclaration des composants spécifiques au jeu d'échecs */

  // ...

}

La technique du Patron de Méthode fixe un cadre pour toutes les sous-classes. Cela implique certaines restrictions : dans l'exemple ci-dessus, on ne peut pas faire hériter une classe JeuDuTarot de la classe abstraite JeuDeSociété, parce que dans une partie de Tarot, l'ordre des joueurs n'est pas linéaire: il dépend du joueur qui vient de ramasser le pli.

On peut décider de ne pas déclarer la méthode socle comme final en Java (ou bien décider de la déclarer virtual en C++), afin de la rendre plus souple. Ainsi la classe JeuDuTarot pourrait parfaitement hériter de la classe JeuDeSociété, à condition de redéfinir la méthode jouerUnePartie() pour tenir compte des règles du Tarot. Mais cette pratique est criticable. Il est important de se poser la question dès l'écriture de la super-classe : Les sous-classes auront-elles le droit de redéfinir les comportements fondamentaux codés dans la super-classe ?. L'avantage est bien sûr une souplesse accrue. L'inconvénient peut être la perte de la cohérence interne de l'objet, si la surcharge des méthodes socles est mal conçue.