Singleton (patron de conception)

Un article de Wikipédia, l'encyclopédie libre.

En génie logiciel, le singleton est un patron de conception (design pattern) dont l'objet est de restreindre l'instanciation d'une classe à un seul objet (ou bien quelques objets seulement). Il est utilisé lorsque l'on a besoin d'exactement un objet pour coordonner des opérations dans un système. Le modèle est parfois utilisé pour son efficacité, lorsque le système est plus rapide ou occupe moins de mémoire avec peu d'objets qu'avec beaucoup d'objets similaires.

On implémente le singleton en écrivant une classe contenant une méthode qui crée une instance uniquement s'il n'en existe pas encore. Sinon elle renvoie une référence vers l'objet qui existe déjà. Dans beaucoup de langages de type objet, il faudra veiller à ce que le constructeur de la classe soit privé ou bien protégé, afin de s'assurer que la classe ne puisse être instanciée autrement que par la méthode de création contrôlée.

Le singleton doit être implémenté avec précaution dans les applications multi-thread. Si deux threads exécutent en même temps la méthode de création alors que l'objet unique n'existe pas encore, il faut absolument s'assurer qu'un seul créera l'objet, et que l'autre obtiendra une référence vers ce nouvel objet.
La solution classique à ce problème consiste à utiliser l'exclusion mutuelle pour indiquer que l'objet est en cours d'instanciation.

Sommaire

[modifier] Implémentations

[modifier] Python

[modifier] Implémentation simple

class  Singleton (object):
    instance = None       # Attribut statique de classe
    def __new__(laClasse): 
        "méthode de construction standard en Python"
        if laClasse.instance is None:
            laClasse.instance = object.__new__(laClasse)
        return laClasse.instance
 
# Utilisation
monSingleton1 =  Singleton()
monSingleton2 =  Singleton()
 
# monSingleton1 et monSingleton2 renvoient à la même instance
assert monSingleton1 is monSingleton2

Les deux variables référencent ici la même instance. Cette solution ne nécessite pas de méthode spécifique pour accéder à l'instance de classe (comparativement à d'autres langages, où il est d'usage d'implémenter une méthode getInstance(), par exemple).

[modifier] Considérations avancées

D'après le développeur Python Alex Martelli, patron de conception Singleton a un nom élégant mais trompeur, car il met l'accent sur l'identité plutôt que sur l'état de l'objet. D'où l'apparition d'un patron alternatif, appelé Borg [1], pour lequel toutes les instances partagent le même état. Il est généralement accepté par la communauté de développeurs Python que le partage d'état entre instances est plus élégant que la mise en cache de la création d'instances identiques lors de l'initialisation de la classe.

L'implémentation de cet état partagé est quasiment transparente en Python:

class Borg:
   __shared_state = {} # variable de classe contenant l'état à partager
   def __init__(self):
       # copie de l'état lors de l'initialisation d'une nouvelle instance
       self.__dict__ = self.__shared_state 
   # suivi de ce qui est nécessaire à la classe, et c'est tout!

L'implémentation ci-dessus peut être améliorée en tirant partie du nouveau type de classe de Python [2], ne nécessitant ainsi qu'une seule instance:

class  Singleton (object):
   instance = None       
    def __new__(classe, *args, **kargs): 
        if classe.instance is None:
            classe.instance = object.__new__(classe, *args, **kargs)
        return classe.instance
 
# Utilisation:
monSingleton1 =  Singleton()
monSingleton2 =  Singleton()
 
# monSingleton1 et  monSingleton2 renvoient à la même instance.
assert monSingleton1 is monSingleton2
  • La méthode __init__ est exécutée pour chaque appel à Singleton().
  • Afin de permettre à une classe d'hériter d'un Singleton, la variable de classe instance devrait être un dictionnaire Python appartenant explicitement à la classe Singleton, comme illustré ci-dessous:
class  InheritableSingleton (object):
    # Dictionnaire Python référencant les instances déjà créés
    instances = {}
    def __new__(cls, *args, **kargs): 
        if InheritableSingleton.instances.get(cls) is None:
            InheritableSingleton.instances[cls] = object.__new__(cls, *args, **kargs)
        return InheritableSingleton.instances[cls]

[modifier] Ruby

Le patron Singleton existe dans la librairie standard du langage Ruby. C'est un mixin qu'il suffit d'inclure dans la classe qui doit être un singleton.

require 'singleton'
 
class Config
  include Singleton
 
  def foo
    puts 'foo'
  end
end
 
config = Config.instance
 
config.foo

The output of this script is 'foo'.

[modifier] Java

Voici une solution écrite en Java (il faut écrire un code similaire pour chaque classe-singleton):

public class Singleton {
     private static Singleton INSTANCE = null;
 
     /**
      * La présence d'un constructeur privé supprime
      * le constructeur public par défaut.
      */
     private Singleton() {}
 
     /**
      * Le mot-clé synchronized sur la méthode de création
      * empêche toute instanciation multiple même par
      * différents threads.
      * Retourne l'instance du singleton.
      */
     public synchronized static Singleton getInstance() {
         if (INSTANCE == null) 
             INSTANCE = new Singleton();
         return INSTANCE;
     }
 }

Une solution variante existe cependant. Elle consiste à alléger le travail de la méthode getInstance en déplaçant la création de l'instance unique au niveau de la déclaration de la variable référant l'instance unique:

public class Singleton {
     /**
      * Création de l'instance au niveau de la variable.
      */
     private static final Singleton INSTANCE = new Singleton();
 
     /**
      * La présence d'un constructeur privé supprime
      * le constructeur public par défaut.
      */
     private Singleton() {}
 
     /**
      * Dans ce cas présent, le mot-clé synchronized n'est pas utile.
      * L'unique instanciation du singleton se fait avant
      * l'appel de la méthode getInstance(). Donc aucun risque d'accès concurrents.
      * Retourne l'instance du singleton.
      */
     public static Singleton getInstance() {
         return INSTANCE;
     }
 }

[modifier] C++

Voici une implémentation possible en C++, connue sous le nom de "singleton de Meyers". Le singleton est un objet static et local. Attention : cette solution n'est pas sûre dans un contexte multi-thread; elle sert plutôt à donner une idée du fonctionnement d'un singleton qu'à être réellement utilisée dans un grand projet logiciel.

template<typename T> class Singleton
 {
 
   public:
     static T& Instance()
     {
         static T theSingleInstance; // suppose que T a un constructeur par défaut
         return theSingleInstance;
     }
 };
 
 class OnlyOne : public Singleton<OnlyOne>
 {
     friend class Singleton<OnlyOne>;
     //...définir ici le reste de l'interface
 };

Dans un langage à base de prototypes, où sont utilisés des objets mais pas des classes, un singleton désigne seulement un objet qui n'a pas de copies, et qui n'est pas utilisé comme prototype pour d'autres objets.

[modifier] VB.Net

Public Class Singleton
 
    ' Variable locale pour stocker une référence vers l'instance
    Private Shared instance As Singleton = Nothing
    Private Shared ReadOnly mylock As New Object()
 
 
    ' Le constructeur est Private
    Private Sub New()
        '
    End Sub
 
    ' La méthode GetInstance doit être Shared
    Public Shared Function GetInstance() As Singleton
 
        SyncLock (mylock)
            ' Si pas d'instance existante on en crée une...
            If instance Is Nothing Then
                instance = New Singleton
            End If
 
            ' On retourne l'instance de Singleton
            Return instance
        End SyncLock
 
    End Function
 
End Class

[modifier] Notes et références

  1. (en) Alex Martelli, « Singleton? We don't need no stinkin' singleton: the Borg design pattern », ASPN Python Cookbook. Consulté le 2006-09-07
  2. (en) New-style classes, Python documentation

[modifier] Liens externes

[modifier] Divers