Raku中字符串调用匿名正则为何首条表达式可解析第二条报错

两种写法完全不等价，核心差异来自Raku语法中冒号:在不同上下文的解析优先级规则，你误判了第二段代码里冒号的语义归属：

• 可正常运行的代码逻辑：

  ("foo").first: /foo/ andthen say "$_ bar";
  

  这段代码里括号把"foo"明确标记为独立的字符串值，后面跟.first:是标准的方法调用语法：冒号在这里是方法参数的分隔符，后面的/foo/是传给first方法的正则参数。整段逻辑是：在字符串"foo"中查找匹配/foo/的子串，匹配成功后返回"foo"，andthen会把前面表达式的结果绑定到$_，最终执行say输出foo bar，完全符合语法规则。
• 触发报错的代码逻辑：

  "foo": /foo/ andthen say "$_ bar";
  

  这段里字符串字面量"foo"直接紧跟冒号，Raku解析器的优先级规则是：字面量后直接接冒号时，会优先按「冒号对（colon pair）」语法解析，而非方法调用语法。
  冒号对是Raku中构造Pair对象的简写语法，比如"key": "value"会直接生成等价于"key" => "value"的Pair实例。解析器读到"foo":后，就进入了Pair构造的解析分支，会期待后面跟合法的Pair值类型（数字、字符串、布尔简写、副词标记等），但它实际读到的是正则字面量/foo/，不属于冒号对允许的直接值格式，因此直接抛出解析错误，提示期待冒号对的合法内容。

常见混淆点说明 #

Raku中不存在「字符串直接跟冒号加正则，就是隐式调用正则匹配」的语法规则：

• 如果要实现对字符串的正则匹配，要么显式使用智能匹配操作符~~，比如写为"foo" ~~ /foo/ andthen say "$_ bar"；
• 要么显式写出要调用的方法名，比如写为"foo".match: /foo/ andthen say "$_ bar"，这两种写法都能正常执行得到预期结果。
• 方法调用的冒号分隔符，前面必须紧接.方法名的结构，省略方法名直接在值后面加冒号，就会触发优先级更高的冒号对解析逻辑。

内容的提问来源于stack exchange，提问作者dmc7z