带值（回退）枚举

默认情况下，枚举成员没有对应的标量值。它们仅仅是单例对象。然而，在许多情况下，枚举成员需要能够与数据库或类似的数据存储进行往返操作，因此内置一个本质上定义的标量值（从而可以轻松序列化）是非常有用的。

定义标量形式的枚举的语法如下：

<?php

enum Suit: string
{
    case Hearts = 'H';
    case Diamonds = 'D';
    case Clubs = 'C';
    case Spades = 'S';
}
?>

由于有标量的条目回退（Backed）到一个更简单值，又叫回退条目（Backed Case）。包含所有回退条目的 Enum 又叫“回退 Enum”（Backed Enum）。回退 Enum 只能包含回退条目。纯粹 Enum 只能包含纯粹条目。

回退枚举仅能回退到 int 或 string 里的一种类型，且同时仅支持使用一种类型（就是说，不能联合 int|string）。如果枚举为标量形式，所有的条目必须明确定义唯一的标量值。无法自动生成标量（比如：连续的数字）。回退条目必须是唯一的；两个回退条目不能有相同的标量。然而，也可以用常量引用到条目，实际上是创建了个别名。参见枚举常量。

等值可以是常量标量表达式。PHP 8.2.0 之前，必须是文字或文字表达式。这意味着不支持常量和常量表达式。也就是说，允许 1 + 1，但不允许 1 + SOME_CONST。

回退条目有个额外的只读属性 value，它是定义时指定的值。

<?php

print Suit::Clubs->value;
// 输出 "C"
?>

为了确保 value 的只读性，无法将变量传引用给它。也就是说，以下会抛出错误：

<?php

$suit = Suit::Clubs;
$ref = &$suit->value;
// Error: Cannot acquire reference to property Suit::$value
?>

回退枚举实现了内置的 BackedEnum interface，暴露了两个额外的方法：

from(int|string): self 能够根据标量返回对应的枚举条目。如果找不到该值，会抛出 ValueError。主要用于输入标量为可信的情况，使用一个不存在的枚举值，可以考虑为需终止应用的错误。
tryFrom(int|string): ?self 能够根据标量返回对应的枚举条目。如果找不到该值，会返回 null。主要用于输入标量不可信的情况，调用者需要自己实现默认值的逻辑或错误的处理。

from() 和 tryFrom() 方法也遵循基本的严格/松散类型规则。系统在弱类型模式下接受传入 integer 和 string，并自动强制转换对应值。传入 float 也能运行，并且强制转换。在严格类型模式下，为 string 回退枚举的 from() 传入 integer 会导致 TypeError，反之亦然；float 都会出现有问题。其他所有的参数类型，在以上所有模式中都会抛出 TypeError。

<?php

$record = get_stuff_from_database($id);
print $record['suit'];

$suit =  Suit::from($record['suit']);
// 无效数据抛出 ValueError："X" is not a valid scalar value for enum "Suit"
print $suit->value;

$suit = Suit::tryFrom('A') ?? Suit::Spades;
// 无效数据返回 null，因此会用 Suit::Spades 代替。
print $suit->value;
?>

手动为回退枚举定义 from() 或 tryFrom() 方法会导致 fatal 错误。