Enum values in constant expressions

Because cases are represented as constants on the enum itself, they may be used as static values in most constant expressions: property defaults, static variable defaults, parameter defaults, global and class constant values. They may not be used in other enum case values, but normal constants may refer to an enum case.

However, implicit magic method calls such as ArrayAccess on enums are not allowed in static or constant definitions as we cannot absolutely guarantee that the resulting value is deterministic or that the method invocation is free of side effects. Function calls, method calls, and property access continue to be invalid operations in constant expressions.

<?php
// This is an entirely legal Enum definition.
enum Direction implements ArrayAccess
{
    case 
Up;
    case 
Down;

    public function 
offsetGet($val) { ... }
    public function 
offsetExists($val) { ... }
    public function 
offsetSet($val) { throw new Exception(); }
    public function 
offsetUnset($val) { throw new Exception(); }
}

class 
Foo
{
    
// This is allowed.
    
const Bar Direction::Down;

    
// This is disallowed, as it may not be deterministic.
    
const Bar Direction::Up['short'];
    
// Fatal error: Cannot use [] on enums in constant expression
}

// This is entirely legal, because it's not a constant expression.
$x Direction::Up['short'];
?>