Rector项目中AssertRegExpRector规则对正则匹配变量后续使用情况的处理分析

问题背景

在PHP单元测试开发中，我们经常使用正则表达式来验证字符串格式。传统的PHPUnit测试中，开发者可能会使用assertSame()结合preg_match()来验证正则匹配结果，并获取匹配到的分组数据。Rector项目中的AssertRegExpRector规则旨在将这些测试用例转换为更专业的assertRegExp()断言方法。

问题现象

当测试代码不仅检查正则是否匹配成功，还使用了preg_match()返回的匹配结果时，简单的转换会导致功能缺失。例如：

$this->assertSame(1, preg_match('/^keys=(?P<count>\d+)/', $string, $matches));
$this->assertSame(1000, (int) $matches['count']);

如果直接转换为assertRegExp()，会丢失对$matches['count']的验证部分。

技术分析

正则匹配在测试中的两种用途

1. 仅验证匹配结果：只关心字符串是否匹配正则模式
2. 获取匹配内容：既验证匹配结果，又需要使用匹配到的分组数据

AssertRegExpRector目前只处理第一种情况，而忽略了第二种更复杂的使用场景。

解决方案思路

正确的处理方式应该：

1. 检测preg_match()的匹配结果变量（如$matches）是否在后续语句中被使用
2. 如果变量被使用，则保留原始断言形式
3. 如果变量未被使用，则可以安全转换为assertRegExp()

实现技术

可以使用Rector中的StmtsAwareInterface和StmtsManipulator工具类来实现这一逻辑：

• StmtsManipulator::isVariableUsedInNextStmt()方法可以检测变量是否在后续语句中使用
• 通过分析抽象语法树(AST)可以准确判断变量的使用情况

最佳实践建议

对于需要同时验证匹配结果和使用匹配数据的测试用例，开发者可以：

1. 保持现有的assertSame()和preg_match()组合
2. 或者明确拆分为两个测试断言：
   • 先用assertRegExp()验证模式匹配
   • 再单独处理匹配数据验证

总结

Rector的规则转换需要考虑代码的完整上下文，特别是当转换可能影响功能行为时。对于AssertRegExpRector规则，正确处理变量使用情况的检测是保证转换安全性的关键。这体现了静态分析工具在代码重构时需要兼顾语法正确性和语义完整性的重要性。