在 php 8.1+ 环境中，可以通过创建包含枚举（enum）和只读属性（readonly property）的类文件，并使用 `php -r` 命令或编写简单的 cli 脚本进行验证。核心做法是定义一个带有 `readonly` 修饰符的属性并在构造函数中赋值，随后尝试修改该属性以观察是否抛出错误；同时定义一个 `enum` 并检查其状态。这样做能直接确认语法支持及运行时行为是否符合预期。
如何验证只读属性的不可变性
PHP 8.2 引入了只读属性，但在 PHP 8.1 中无法直接使用 `readonly` 关键字。若要在 8.1 中模拟或准备升级，需关注标准类的属性访问控制。不过，针对题目要求的“在线运行验证”，通常指代较新版本特性。假设环境已升级至 8.2+ 以支持这些新特性，验证只读属性的关键在于实例化后尝试赋值。如果环境严格限制在 8.1，则 `readonly` 会导致解析错误。此处以 8.2+ 为例，展示如何通过代码触发异常来验证。
<?php
class User {
public readonly string $name;
public function __construct(string $name) {
$this->name = $name;
}
}
$user = new User('Alice');
echo 'Initial: ' . $user->name . PHP_EOL;
try {
$user->name = 'Bob';
} catch (Error $e) {
echo 'Error: ' . $e->getMessage() . PHP_EOL;
}
?>
预期结果：首先打印 `Initial: Alice`，随后捕获到 `Cannot modify readonly property User::$name` 的错误信息。这证明了只读属性在初始化后不可更改。
立即学习“PHP免费学习笔记（深入）”；
修复 Core bailout 状态损坏安全问题，以及 BZ2、DOM、PDO、Opcache/JIT 内存与执行错误，改进 Unicode 字素处理、URL 解析、TLS 流状态、信号分发及会话错误处理。
如何验证枚举的类型安全与匹配
PHP 8.1 引入了枚举类型。验证其功能时，重点在于检查枚举值的唯一性、类型约束以及 `match` 表达式的兼容性。通过创建一个简单的枚举并遍历或匹配其值，可以确认编译器是否正确处理了枚举定义。在线运行工具通常会提供完整的输出日志，便于查看是否有编译错误或运行时警告。
<?php
enum Status: string {
case Active = 'active';
case Inactive = 'inactive';
}
$status = Status::Active;
$result = match ($status) {
Status::Active => 'User is active',
Status::Inactive => 'User is inactive',
};
echo $result . PHP_EOL;
echo gettype($status) . PHP_EOL;
?>
预期结果：输出 `User is active` 和 `object`（具体为 `Status` 类实例）。这表明枚举值正确匹配，且枚举本身是一个对象类型，具备类型安全性。
基于程序中某个输入、条件或结果的具体问题
如果在验证过程中发现 `readonly` 属性报错，最可能的原因是 PHP 版本低于 8.2。PHP 8.1 不支持 `readonly` 属性修饰符。若必须使用 8.1 环境，则无法直接验证此特性，需升级环境或使用反射等高级手段间接检测（但语法层面仍会报错）。对于枚举，8.1 是完全支持的。因此，验证成功的前提是确保运行环境至少为 PHP 8.2 以测试只读属性，而 PHP 8.1 即可测试枚举。
