Programmation orientée prototype

Objets à classes :

• Une classe définie par son code source est statique ;
• Elle représente une définition abstraite de l'objet ;
• Tout objet est instance d'une classe ;
• L'héritage se situe au niveau des classes.

Objets à prototypes :

• Un prototype défini par son code source est mutable ;
• Il est lui-même un objet au même titre que les autres ;
• Il a donc une existence physique en mémoire ;
• Il peut être modifié, appelé ;
• Il est obligatoirement nommé ;
• Un prototype peut être vu comme un exemplaire modèle d'une famille d'objet ;
• Un objet hérite des propriétés (valeurs et méthodes) de son prototype.

Un des intérêts majeurs des prototypes est l'héritage dynamique : tout objet peut changer de parent à l'exécution, n'importe quand.

On peut matérialiser les paradigmes objet à prototypes et objet à classes en constatant la différence d'utilisation de la mémoire.

Il existe à l'heure actuelle plusieurs langages à base d'objets à prototypes : Self, Lisaac, ou encore les langages implémentant la spécification ECMAScript (JavaScript, ActionScript, JScript). Self et JavaScript sont des langages à typage dynamique et sont interprétés. Lisaac et ActionScript sont à typage statique et compilés. Au sein de ActionScript 3.0, l’héritage de prototype ne constitue pas le principal mécanisme d’héritage car ce rôle incombe également à l'héritage de classe désormais présent dans cette version.

Les propriétés des objets se recherchent, dans la chaîne des héritages, de la même façon que la valeur des variables dans la pile des contextes d'exécution.

L'écriture foo.bar s'interprète de la façon suivante :

1. Le nom foo est recherché dans la liste des identifiants déclarés dans le contexte d'appel de fonction courant (déclarés par var ou par les paramètres de la fonction).
2. S'il n'est pas trouvé :
   • La recherche se poursuit (retour à l'étape 1) dans le contexte d'appel de niveau supérieur (s'il existe).
   • Sinon, le contexte global est atteint et la recherche se termine par une erreur de référence.
3. Si la valeur associée à foo n'est pas un objet, il n'a pas de propriétés et la recherche se termine par une erreur de référence.
4. La propriété bar est d'abord recherchée dans l'objet lui-même.
5. Si la propriété ne s'y trouve pas :
   • La recherche se poursuit (retour à l'étape 4) dans le prototype de cet objet (s'il existe).
   • Si l'objet n'a pas de prototype associé, la valeur indéfinie (undefined) est retournée.
6. Sinon, la propriété a été trouvée et sa référence est retournée.

Il ne s'agit pas d'une copie statique de la variable ; chaque fois que le compilateur (interpréteur) rencontre l'identifiant, il l’interprète comme indiqué.

Une propriété déclarée dans l'objet étant trouvée en premier, elle masque celles de même nom qui auraient pu exister dans les prototypes dont l'objet hérite. Par exemple, le prototype de l'objet Object possède une méthode toString qui renvoie une description de l'objet, pour n'importe quel type d'objet. Les objets construits par Date() héritent du prototype de cette fonction, dont une méthode toString qui renvoie des informations plus utiles ; celle-ci masque la méthode toString de Object.prototype.

Un objet hérite du prototype de son constructeur. Si on ne se sert pas de constructeur pour initialiser un objet, on peut utiliser une fonction vide pour créer ce lien.

var A = {};  // identique à « var A = new Object(); »
var B = (function () {
    function F() {}
    F.prototype = A;
    return new F();
}());  // depuis JavaScript 1.8.5 la méthode « Object.create(A); » a le même effet
// à présent A est dans la chaîne de recherche d'identifiants de B
A.compte = 0;
A.separ = ": ";
B.separ = ", ";
for (A.compte = 0; A.compte < 10; A.compte++) {
    document.write(B.compte + B.separ)  // 0, 1, 2, 3, 4, 5, 6, 7, 8, 9,
}

Cet exemple montre l'héritage d'une propriété qui renvoie à une valeur de type nombre ; l'héritage de références à un objet, y compris une méthode, s'effectue de la même manière.