Valeurs d'énumération dans les expressions constantes

Les cas étant représentés comme des constantes dans l'énumération elle-même, ils peuvent être utilisés comme des valeurs statiques dans la plupart des expressions constantes : valeurs par défaut des propriétés, valeurs par défaut des variables statiques, valeurs par défaut des paramètres, valeurs constantes globales et de classe. Elles ne peuvent pas être utilisées dans d'autres valeurs de cas de l'enum, mais les constantes normales peuvent faire référence à un cas d'énumération.

Cependant, les appels implicites à des méthodes magiques telles que ArrayAccess sur les enums ne sont pas autorisés dans les définitions statiques ou constantes, car nous ne pouvons pas garantir de manière absolue que la valeur résultante est déterministe ou que l'invocation de la méthode est exempte d'effets secondaires. Les appels de fonction, les appels de méthode et l'accès aux propriétés continuent d'être des opérations non valides dans les expressions constantes.

<?php

// Ceci est une définition d'Enum tout à fait valide.
enum Direction implements ArrayAccess
{
    case Up;
    case Down;

    public function offsetExists($offset): bool
    {
        return false;
    }

    public function offsetGet($offset): mixed
    {
        return null;
    }

    public function offsetSet($offset, $value): void
    {
        throw new Exception();
    }

    public function offsetUnset($offset): void
    {
        throw new Exception();
    }
}

class Foo
{
    // Ceci est autorisé.
    const DOWN = Direction::Down;

    // Ceci n'est pas autorisé, car le résultat peut ne pas être déterministe.
    const UP = Direction::Up['short'];
    // Erreur fatale : Cannot use [] on enums in constant expression
}

// Ceci est tout à fait légal, car ce n'est pas une expression constante.
$x = Direction::Up['short'];
var_dump("\$x is " . var_export($x, true));

$foo = new Foo();
?>