PHP 8.4类型系统增强包括联合类型空安全解引用、只读类协变构造参数推导及禁用动态属性后的严格数组类型声明；需确认版本为8.4正式版或dev版，使用php:8.4镜像，否则语法报错。
要记录PHP8.4类型系统增强的实践要点，需聚焦实际可验证的新语法、运行时行为变化及兼容性陷阱，避开未合并的RFC草案或已回退的实验特性。
确认当前PHP版本是否真为8.4
执行 php -v 查看输出，仅当显示类似 PHP 8.4.0-dev 或正式版号（如 8.4.0）时才启用新类型特性；【8.3.x环境直接使用8.4类型语法会报ParseError】。
若用的是docker，检查镜像标签是否含 8.4，例如 php:8.4-cli-alpine；拉取错误镜像会导致后续所有类型实验失败。
启用联合类型中的空安全解引用
方法一：在属性声明中结合 ?T 与 -> 操作符
立即学习“PHP免费学习笔记（深入）”；
定义类时写 public ?DateTimeImmutable $created_at;，之后可直接调用 $obj->created_at?->format('Y-m-d') —— 这种写法在8.4前会触发“Cannot use ?-> on non-object”警告，8.4起成为合法语法。
方法二：函数返回值联合类型配合空传播
声明 function getDeadline(): ?DateTimeInterface|false { ... }，调用时用 $deadline?->modify('+1 day') 即可，无需先判断是否为 false 或 null。
使用只读类的类型推导增强
第一步：声明 readonly class Order { public function __construct(public int $id, public string $status) {} }
第二步：实例化后尝试修改属性会立即报致命错误，例如 $o = new Order(123, 'pending'); $o->status = 'shipped'; → PHP Fatal error: Uncaught Error: Cannot modify readonly property
第三步：在类型约束中引用该类时，8.4允许更宽松的协变处理——子类继承该只读类后，其构造参数类型可比父类更具体，例如子类构造器中把 string $status 改为 non-empty-string $status，这在8.4前会被视为不兼容。
禁用动态属性时的类型提示补救
在 php.ini 中设置 zend.enable_gc=1 并启用 allow_dynamic_properties=0 后，所有类默认禁止动态属性；此时若需兼容旧代码中的魔术属性访问，必须显式声明 public array $__dynamicProps = []; 并重写 __get/__set。
关键点是：8.4中该数组字段的类型声明必须为 array 或带键值约束的数组类型（如 array<string mixed></string>），声明为 array|stdClass 会导致构造失败。
