php 8.3 引入了类型化类常量（typed class constants），允许在声明类常量时直接指定其数据类型。这解决了以往只能通过注释或运行时检查来约束常量类型的痛点，使得代码在编译期就能进行更严格的类型校验，提升了静态分析的准确性和代码的可维护性。
基础语法与类型推断
在 PHP 8.3 之前，类常量的定义类似于 const NAME = 'value';，没有显式的类型声明。现在，你可以在 const 关键字后紧跟类型声明，例如 const int MAX_SIZE = 100;。这种语法不仅适用于标量类型，还支持联合类型、null 以及命名空间类名。
当为常量赋予一个值时，PHP 会尝试将该值转换为声明的类型。如果转换失败且无法通过严格模式处理，则会抛出 Error。这种机制确保了常量值的类型一致性，避免了因拼写错误或逻辑错误导致的隐式类型转换问题。
立即学习“PHP免费学习笔记（深入）”；
class Config {
// 声明整型常量
public const int TIMEOUT = 30;
// 声明字符串常量
protected const string VERSION = '1.0.0';
// 声明联合类型常量
public const array|bool $DEBUG_MODE = false;
}上述代码展示了三种常见的类型化常量声明方式。TIMEDOUT 被限制为整数，任何非整数值赋值都会导致错误。VERSION 是标准的字符串常量。值得注意的是，$DEBUG_MODE 使用了联合类型 array|bool，这意味着它可以接受数组或布尔值。在实际使用中，必须确保初始化的值符合这些类型要求，否则脚本将终止执行。
修复 Core bailout 状态损坏安全问题，以及 BZ2、DOM、PDO、Opcache/JIT 内存与执行错误，改进 Unicode 字素处理、URL 解析、TLS 流状态、信号分发及会话错误处理。
访问控制与继承行为
类型化类常量同样支持 public、protected 和 private 访问修饰符。这与属性类似，但常量一旦定义便不可修改，因此访问控制主要影响外部可见性而非可变性。子类可以重写父类的常量，但新常量的类型必须兼容父类声明的类型，或者遵循协变规则。
在继承体系中，如果父类定义了类型化常量，子类在重写时必须保持相同的类型签名，或者使用更具体的子类型（如果类型系统允许）。这种约束保证了多态场景下常量行为的预期一致性。对于私有常量，子类无法访问也无法重写，确保了封装性。
abstract class Base {
private const string DRIVER = 'mysql';
protected abstract const string DRIVER_NAME;
}
class MySQLDriver extends Base {
// 正确：类型匹配
protected const string DRIVER_NAME = 'MySQL';
// 错误：类型不匹配，会抛出 Error
// protected const int DRIVER_NAME = 123;
}在 Base 类中，DRIVER 是私有常量，子类不可见。而 DRIVER_NAME 是抽象常量，强制子类必须实现。在 MySQLDriver 中，我们提供了具体的字符串值。如果尝试提供整数或其他类型，PHP 会在加载类时立即报错。这种机制特别适用于驱动、配置等需要严格类型保证的场景。
实际应用场景与边界
类型化常量在处理枚举替代方案、配置管理库以及框架核心组件时非常有用。例如，在一个数据库连接池中，最大连接数可以被声明为 int，防止因配置错误导致负数或浮点数传入。在 API 响应状态码管理中，可以使用 int 常量确保状态码的规范性。
需要注意的是，类型化常量在编译时求值。这意味着它们的值必须是字面量或可编译计算的表达式，不能包含函数调用或动态生成的值。此外，虽然类型检查在编译阶段进行，但如果常量值依赖于环境变量或外部文件，仍需小心处理，因为这类依赖通常不在编译期解析范围内。
