PHP8.3类型化类常量怎么声明-php教程-PHP中文网

php 8.3 引入了类型化类常量（typed class constants），允许在声明类常量时直接指定其数据类型。这解决了以往只能通过注释或运行时检查来约束常量类型的痛点，使得代码在编译期就能进行更严格的类型校验，提升了静态分析的准确性和代码的可维护性。

PHP8.3类型化类常量怎么声明

基础语法与类型推断

在 PHP 8.3 之前，类常量的定义类似于 const NAME = 'value';，没有显式的类型声明。现在，你可以在 const 关键字后紧跟类型声明，例如 const int MAX_SIZE = 100;。这种语法不仅适用于标量类型，还支持联合类型、null 以及命名空间类名。

当为常量赋予一个值时，PHP 会尝试将该值转换为声明的类型。如果转换失败且无法通过严格模式处理，则会抛出 Error。这种机制确保了常量值的类型一致性，避免了因拼写错误或逻辑错误导致的隐式类型转换问题。

PHP8.3类型化类常量怎么声明

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，这意味着它可以接受数组或布尔值。在实际使用中，必须确保初始化的值符合这些类型要求，否则脚本将终止执行。

访问控制与继承行为

类型化类常量同样支持 public、protected 和 private 访问修饰符。这与属性类似，但常量一旦定义便不可修改，因此访问控制主要影响外部可见性而非可变性。子类可以重写父类的常量，但新常量的类型必须兼容父类声明的类型，或者遵循协变规则。

PHP 8.5.12

修复 Core bailout 状态损坏安全问题，以及 BZ2、DOM、PDO、Opcache/JIT 内存与执行错误，改进 Unicode 字素处理、URL 解析、TLS 流状态、信号分发及会话错误处理。

下载

在继承体系中，如果父类定义了类型化常量，子类在重写时必须保持相同的类型签名，或者使用更具体的子类型（如果类型系统允许）。这种约束保证了多态场景下常量行为的预期一致性。对于私有常量，子类无法访问也无法重写，确保了封装性。

PHP8.3类型化类常量怎么声明

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 会在加载类时立即报错。这种机制特别适用于驱动、配置等需要严格类型保证的场景。