RectorPHP中DowngradeNewInInitializerRector规则的行为问题分析

问题背景

在PHP 8.1版本中引入了一项新特性：允许在参数默认值中使用new表达式。这意味着开发者可以直接在方法或函数参数中指定一个对象实例作为默认值。然而，当我们需要将代码向下兼容到不支持此特性的PHP版本时，就需要使用RectorPHP的DowngradeNewInInitializerRector规则进行转换。

问题现象

在RectorPHP的DowngradeNewInInitializerRector规则处理接口方法参数中的new表达式默认值时，出现了不符合预期的转换行为。具体表现为：

原始代码：

class MyClass {}

interface MyInterface {
    public function myMethod(MyClass $my_instance = new MyClass());
}

预期转换结果应为：

class MyClass {}

interface MyInterface {
    public function myMethod(MyClass $my_instance = null);
}

但实际转换结果与预期不符。

技术分析

正确的转换逻辑

对于PHP 8.1的新特性降级处理，正确的做法应该是：

1. 将带有new表达式的参数默认值移除
2. 将参数类型改为可为null（通过添加null默认值或修改类型提示）
3. 在方法实现中手动创建默认实例

当前实现的问题

当前DowngradeNewInInitializerRector规则在处理接口定义时，未能正确识别并转换这种情况。接口方法的参数默认值中的new表达式应该被转换为null默认值，因为：

1. 接口不能包含实现逻辑
2. 实现该接口的类需要在方法体中自行处理默认实例的创建

更深层次的影响

这种转换不准确可能导致以下问题：

1. 生成的代码无法在低版本PHP上正常运行
2. 接口契约被错误修改，可能影响所有实现类
3. 类型安全被破坏，因为null可能不是预期的有效值

解决方案建议

针对这个问题，DowngradeNewInInitializerRector规则应该：

1. 对接口方法的处理采用特殊逻辑
2. 将new表达式默认值转换为null默认值
3. 保留原始类型提示，但允许null值
4. 在规则文档中明确说明这种转换行为

对于实现类中的方法，则可以生成更完整的转换代码，包括默认实例的创建逻辑。

最佳实践

在使用RectorPHP进行代码降级时，开发者应该：

1. 仔细检查接口定义中的参数默认值转换
2. 对转换后的代码进行充分测试
3. 考虑在实现类中添加null检查逻辑
4. 在文档中注明原始代码的PHP版本要求

这种问题的出现提醒我们，在使用新语言特性时需要谨慎考虑向后兼容性，特别是在开发需要支持多版本PHP的库或框架时。