4.1.2 les pseudo-variables true et false

À quoi servent ces deux instances? Naturellement, elles servent à donner des réponses à des questions qui demandent de savoir si une chose est vrai ou faux. Et quand avons-nous besoin de déterminer si quelque chose est vraie ou fausse? Quand nous voulons choisir entre deux alternatives. Par exemple, la phrase «s’il pleut, alors je prends mon parapluie» dit principalement: «est-ce qu’il pleut? Si la réponse est oui (il est vrai qu’il pleut) alors je prends mon parapluie (sinon, je le laisse à la maison)». En SMALLTALK, cette possibilité de pouvoir choisir entre deux alternatives est implémentée avec ces deux classes True et False qui décrivent ce que leurs instances, respectivement true et false, doivent faire dans le cas où elles se trouvent receveur d’un message de sélection entre des alternatives. La sélection la plus simple est du style:

Rappelons-nous que la variable aboieBeaucoup prenait soit la valeur true, soit la valeur false. C’est donc une de ces deux pseudo-variables qui reçoit le message ifTrue:ifFalse:, qui, elle, est définie dans la classe True de la manière suivante:

Les deux méthodes ifTrue:ifFalse: disent: si l’objet true reçoit ce message alors, sans hésiter, il retourne la valeur du bloc vrai (la valeur du paramètre trueAlternativeBlock), sinon, si c’est l’objet false qui reçoit ce même message, alors, avec aussi peu d’hésitation, celui-ci retourne la valeur du bloc faux (la valeur du paramètre falseAlternativeBlock). L’objet true sait qu’il est vrai, de même que l’objet false sait qu’il est faux!

Nous venons de voir comment construire des structures de contrôle⁶ en SMALLTALK. Tandis que les structures de contôle sont des instructions primitives dans la plupart des langages de programmation habituels, en SMALLTALK ce sont des messages comme les autres: toute structure de contrôle peut être écrite en SMALLTALK même.⁷ C’est la recherche de méthodes dans l’arbre d’héritage qui permet de distinguer entre les différents cas. Autrement dit, les différents cas se matérialisent dans la structure de l’arbre d’héritage, ou encore: la différence se matérialise dans l’appartenance à des classes distinctes. Bien entendu, si nous ne voulons que distinguer entre deux cas, nous n’avons besoin que de deux classes distinctes. Et si nous voulons reconstruire des expressions booléennes, il suffit d’avoir une classe True, décrivant ce qu’il faut faire dans le cas où un objet est vrai, et une classe False, décrivant le comportement à exhiber dans le cas où un objet est faux.⁸

Pour pouvoir utiliser ce message ifTrue:ifFalse: partout dans le système, il suffit de s’assurer que le receveur de ce message est toujours une expression qui s’évalue à la valeur true ou false, exactement comme nous l’avons fait dans notre message aboie.

Muni de cette méthode ifTrue:ifFalse:, nous pouvons aisément écrire une structure de contrôle qui ne choisit qu’une alternative: ifTrue:, qui détermine ce qu’il y a à faire dans le cas où l’objet receveur est true, et une autre, ifFalse:, qui, elle, indiquera l’activité à accomplir dans le cas où le receveur est l’objet false. Pour éviter d’écrire cette méthode deux fois, une fois dans la classe True et une autre fois dans la classe False, nous ajouterons sa définition dans la sur-classe abstraite de ces deux classes, la classe Boolean, factorisant ainsi le comportement commun des deux classes. Voici une manière de définir ces deux méthodes:

Mais ouvrez plutôt un explorateur de classes et admirez les méthodes dans les classes True, False et Boolean. Ce sont de merveilleux exemples, très simples, de la programmation SMALLTALK.⁹