PHP 8.4 要求类常量显式声明类型以支持类型推导、IDE 补全和静态分析，未声明类型会被视为 mixed，破坏类型流完整性；必须写成 public const string NAME = 'x' 形式，不可省略或错放类型。
PHP 8.4 不允许类常量省略类型声明，但旧项目大量 public const FOO = 'bar' 写法会直接报错——这不是语法错误，而是 PHPStan 或 Psalm 等工具在 8.4 模式下强制要求显式类型。
为什么 PHP 8.4 要求类常量显式类型
PHP 8.4 引入了「类型化类常量」的完整支持（该特性实际从 PHP 8.3 开始实验性加入，8.4 转为稳定），目的是让常量参与类型推导、IDE 补全和静态分析链路。未声明类型的常量会被视为 mixed，破坏类型流完整性。
常见报错现象：
- PHPStan 报
classConstant.missingType（非官方标识，但工具自定义规则常见） - Psalm 报
InvalidReturnType或MixedAssignment当常量被用于泛型或模板上下文 - PHP 本身不报错，但
php --analyze（PHP 8.5+ 内置分析器）会提示 “Missing type for constant”
怎么加类型声明才合规
必须用 public const TYPE $NAME = VALUE 形式，类型写在 const 关键字之后、变量名之前：
立即学习“PHP免费学习笔记（深入）”；
class Config
{
// ✅ 正确：类型紧贴 const，支持联合类型、泛型占位符
public const int MAX_RETRY = 3;
public const string|bool DEBUG_MODE = true;
public const array<string, int> STATUS_CODES = ['ok' => 200];
<pre class="brush:php;toolbar:false;">// ❌ 错误：类型写在等号右边（PHP 解析失败）
public const MAX_RETRY: int = 3;
// ❌ 错误：类型缺失（PHP 8.4+ 工具链警告/报错）
public const LEGACY_FLAG = 'v1';}
注意点：
- 类型必须是字面量可推导的：不能是
self::SOME_CONST这类运行时才能确定的表达式 - 不支持
private const声明类型（private 常量无法被外部访问，类型无意义，PHP 会报错） - 如果常量值是
null，必须显式写public const ?string NAME = null，不能靠?string自动推导
旧项目批量修复策略
手动改几百个常量不现实。推荐分三步走：
- 先用
grep -r "public const" src/ --include="*.php"找出所有类常量声明位置 - 用 Rector 的
TypedPropertyRector（需启用TypedConstantRector规则，Rector 1.0+ 支持）自动补类型：rector process src --set php84 - 对 Rector 无法推断的（如
public const FLAG = SOME_DEFINE），保留原样 + 加/** @var mixed */注解临时绕过，后续再人工确认
特别注意：如果项目还兼容 PHP 8.2 或更低版本，不能直接升级到 PHP 8.4 并启用类型化常量——因为低版本 PHP 会把 public const string NAME = 'x' 当作语法错误。必须配合 Composer 的 platform 配置和 CI 中多版本测试矩阵。
容易忽略的兼容性陷阱
最隐蔽的问题不是语法，而是「类型声明后，值必须严格匹配」：
-
public const int COUNT = '1';→ 运行时报Fatal error: Constant expression contains invalid operations（字符串字面量不能隐式转 int） -
public const array<int> IDS = [1, '2'];</int>→ Psalm 直接报错，因为'2'不是int - 使用 define() 定义的全局常量不受影响，但它们无法参与类内类型系统，应逐步迁移到
public const+ 类型声明
类型化常量不是“加个标签就完事”，它把常量真正纳入了类型流。一旦声明，值、上下文使用、继承覆盖都受约束——这点比属性钩子更硬性，也更容易在重构时翻车。
