Rakudo项目中Whatever星号与超运算符组合的AST解析问题分析

在Rakudo项目的最新开发中，我们发现了一个关于Whatever星号(*)与超运算符(>>.)组合使用时AST生成不正确的问题。这个问题在Rakudo的RakuAST分支中表现得尤为明显，导致代码执行时出现方法解析错误。

问题现象

当使用*>>.fmt("%02x")(42)这样的表达式时，传统语法分析器能够正确执行并输出预期的结果(2a)。然而，在启用了RakuAST语法分析器后，同样的代码会抛出异常："Cannot resolve caller fmt(Whatever:D, Str:D); Routine does not have any candidates"。

底层机制分析

通过对比两种语法分析器生成的QAST(Quoted Abstract Syntax Tree)，我们可以清楚地看到差异：

传统语法分析器生成的QAST将表达式正确解析为一个WhateverCode的克隆操作，其中包含了fmt方法的调用。而RakuAST语法分析器则错误地生成了一个直接对Whatever值调用hyper运算符的AST结构。

技术细节

问题的核心在于RakuAST分支中对于Whatever星号与超运算符组合的解析逻辑。正确的AST结构应该像处理* + 42那样，将Whatever转换为一个WhateverCode的参数。然而当前实现却保留了原始的Whatever节点，导致后续方法调用无法正确解析。

解决方案

该问题已被项目维护者修复。修复后的实现确保了Whatever星号在遇到超运算符时会正确转换为WhateverCode上下文，从而允许后续的方法调用能够正常执行。

开发者启示

这个问题提醒我们，在语法糖和运算符重载的复杂交互场景中，需要特别注意AST节点的转换时机和上下文。特别是对于像Whatever这样具有特殊语义的构造，其在不同的运算符组合中可能需要进行不同的AST转换。

对于使用Raku语言的开发者来说，了解这类底层机制有助于更好地理解语言的行为边界，并在遇到类似问题时能够更快地定位原因。