错误：在 PHP 7 中找不到类“SplEnum”

Question

我有一个在 Windows 10 下使用 PHP 7.3 的项目。我使用来自 Xampp 的 PHP。

我收到以下错误：

致命错误：未捕获的错误：在 [...] 中找不到类“SplEnum”

为

class BanLevel extends SplEnum { ... }

看来我误解了文档：

1. https://www.php.net/manual/en/class.splenum.php
   
2. https://www.php.net/manual/en/spl.installation.php

这让我想到它应该包含在我的 PHP 工件中。

我错过了什么？

更新： class.splenum.php 页面已离线。不过，它仍然提供罗马尼亚语版本：
https://www.php.net/manual/ro/class.splenum.php，或在此处：
https://php-legacy-docs.zend.com/manual/php5/en/class.splenum

Answer 1

看来我检查了错误的文档，
这是正确的：
https://www.php.net/manual/en/spl-types.installation.php

它澄清了：

此 PECL 扩展未与 PHP 捆绑。

此 PECL 扩展的 DLL 当前不可用。

所以我不能在Windows下使用SPLEnum，除非我把它编译成PHP。

更新：

spl-types.installation.php 页面不再存在于 php.net 上，但仍可在此处找到：
https://php-legacy-docs.zend.com/manual/php5/en/spl-types.installation