PHP源码中类常量递归引用导致的栈溢出问题分析

问题背景

在PHP源码的最新开发分支中，发现了一个由于类常量递归引用导致的栈溢出问题。这个问题出现在处理类常量属性时，当类常量通过Deprecated属性引用自身或其他常量时，会引发无限递归调用，最终导致栈空间耗尽。

问题复现

通过以下测试代码可以复现该问题：

<?php

set_error_handler(function (int $errno, string $errstr, ?string $errfile = null, ?int $errline = null) {
    throw new \ErrorException($errstr, 0, $errno, $errfile, $errline);
});

class Clazz {
    #[\Deprecated(self::TEST)]
    public const TEST =-"from itself";

    #[\Deprecated]
    public const TEST2 = "from another";

    #[\Deprecated(self::TEST2)]
    public const TEST3 = 1;
}

try {
    Clazz::TEST;
} catch (ErrorException $e) {
    echo "Caught: ", $e->getMessage(), PHP_EOL;
}

try {
    Clazz::TEST3;
} catch (ErrorException $e) {
    echo "Caught: ", $e->getMessage(), PHP_EOL;
}

问题分析

当执行上述代码时，PHP引擎会进入一个无限递归调用链：

1. 首先尝试获取Clazz::TEST常量
2. 发现该常量有Deprecated属性，属性值为self::TEST
3. 为了解析属性值，需要再次获取TEST常量
4. 这样就形成了无限递归

调用栈显示，问题主要出现在以下几个关键函数中：

• get_deprecation_suffix_from_attribute：负责从属性中获取弃用信息
• zend_deprecated_class_constant：处理被弃用的类常量
• zend_get_class_constant_ex：获取类常量
• zval_update_constant_with_ctx：更新常量值

技术细节

问题的核心在于PHP引擎在处理类常量属性时，没有对递归引用做适当的检测和保护。具体来说：

1. 当解析Deprecated属性的参数时，如果参数引用了当前正在解析的常量，就会导致递归
2. 属性解析过程中会触发常量的求值，而常量求值又会触发属性解析
3. 这种相互依赖关系形成了无限循环

解决方案思路

要解决这个问题，可以考虑以下几种方法：

1. 引用检测：在解析属性参数时，检测是否引用了当前正在处理的常量
2. 缓存机制：对已经处理过的常量进行标记，避免重复处理
3. 深度限制：设置递归深度限制，超过阈值时抛出异常

影响范围

这个问题会影响所有使用Deprecated属性引用自身或其他常量的PHP代码。虽然在实际开发中这种用法并不常见，但一旦出现就会导致严重的运行时错误。

最佳实践建议

为了避免类似问题，开发者应该：

1. 避免在Deprecated属性中引用当前常量
2. 使用静态字符串作为Deprecated属性的参数
3. 如果需要动态生成弃用信息，可以考虑使用其他方式实现

总结

这个栈溢出问题揭示了PHP引擎在处理类常量属性时的一个边界情况。通过分析这个问题，我们不仅了解了PHP内部常量处理的机制，也看到了递归引用可能带来的风险。对于PHP内核开发者来说，这是一个需要特别注意的边界条件，应当在相关代码路径中添加适当的防护措施。