Pourquoi les enums ne sont pas extensibles
Les classes ont des contrats sur leurs méthodes :
<?php
class A {}
class B extends A {}
function foo(A $a) {}
function bar(B $b) {
foo($b);
}
?>Ce code est sûr du point de vue du type, car B suit le contrat de A, et par la magie de la co/contra-variance, toute attente que l'on peut avoir à l'égard des méthodes sera préservée, sauf exceptions.
Les enums ont des contrats sur leurs cas, pas sur les méthodes :
<?php
enum ErrorCode {
case SOMETHING_BROKE;
}
function quux(ErrorCode $errorCode)
{
// Quand écrit, ce code semble couvrir tous les cas de figure
match ($errorCode) {
ErrorCode::SOMETHING_BROKE => true,
}
}
?>
L'instruction match dans la fonction quux peut être analysée statiquement pour couvrir
tous les cas d'ErrorCode.
Mais imaginons qu'il soit permis d'étendre les enums :
<?php
// Code d'expérience de pensée où les enums ne sont pas finaux.
// Notez que cela ne fonctionnera pas en PHP.
enum MoreErrorCode extends ErrorCode {
case PEBKAC;
}
function fot(MoreErrorCode $errorCode) {
quux($errorCode);
}
fot(MoreErrorCode::PEBKAC);
?>En vertu des règles d'héritage normales, une classe qui en étend une autre passera le contrôle de type.
Le problème serait que l'instruction match dans quux() ne couvre plus tous les cas.
Parce qu'elle ne connaît pas MoreErrorCode::PEBKAC, la correspondance lèvera une exception.
Pour cette raison, les enums sont finaux et ne peuvent pas être étendus.
Version en cache
27/12/2024 09:59:26 Cette version de la page est en cache (à la date du 27/12/2024 09:59:26) afin d'accélérer le traitement. Vous pouvez activer le mode utilisateur dans le menu en haut pour afficher la dernère version de la page.Document créé le 30/01/2003, dernière modification le 26/10/2018
Source du document imprimé : https://www.gaudry.be/php-rf-language.enumerations.object-differences.inheritance.html
L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.
Références
Ces références et liens indiquent des documents consultés lors de la rédaction de cette page, ou qui peuvent apporter un complément d'information, mais les auteurs de ces sources ne peuvent être tenus responsables du contenu de cette page.
L'auteur de ce site est seul responsable de la manière dont sont présentés ici les différents concepts, et des libertés qui sont prises avec les ouvrages de référence. N'oubliez pas que vous devez croiser les informations de sources multiples afin de diminuer les risques d'erreurs.
