Raku中作用于sub的.first与.return的工作机制是什么？

首先纠正一个误解：这两个方法都不是直接作用在load-data这个子程序本身上的，你看到的效果是Raku的Callable迭代规则、隐式主题变量、方法调用语法糖、andthen运算符特性共同作用的结果，逐部分拆解如下：

1. load-data.first: /good/ 里的 .first 逻辑 #

• Raku中所有Callable类型（包括自定义sub）默认实现了Iterable角色，可以直接当作惰性序列的生成器使用。对Callable调用列表类方法时，运行时会反复执行这个Callable，把每次执行的返回值作为序列的元素，直到Callable返回未定义值（比如Nil）为止。
• 代码里的冒号是Raku方法传参的语法糖，obj.method: param完全等价于obj.method(param)。
• 这里.first是序列查找方法，接收/good/这个正则作为匹配规则：它会反复调用load-data()，直到某次调用返回的列表中存在匹配/good/的元素，就把这个匹配到的元素（即good data字符串）作为整个表达式的返回值。
• 配合后面的andthen运算符：andthen和常规短路与&&逻辑类似，但会把左侧表达式的返回值绑定到隐式主题变量$_上，如果左侧返回未定义值就直接短路不执行右侧。所以这行完整逻辑是：反复尝试加载数据，直到拿到包含good内容的结果，就把匹配到的good内容存入$_，执行say输出对应内容。

2. load-data() andthen .return; 里的 .return 逻辑 #

• 这里load-data()带括号调用，只会执行一次加载逻辑，返回值要么是Nil（加载失败），要么是10个元素组成的加载结果列表。
• 开头的点号是Raku的隐式调用语法糖：如果写.method时没有显式指定调用者，会默认用当前作用域的$_作为调用者。这行里andthen已经把左侧load-data()的返回值绑定到了$_，所以.return完全等价于$_.return。
• Raku中所有对象都自带return方法，调用后会直接从当前所在的词法作用域（也就是这行代码所处的子程序/代码块）把调用者本身作为返回值返回，直接跳出当前作用域。
• 这行的完整逻辑是：执行一次数据加载，如果加载成功（返回值是定义的非Nil值），就直接把加载到的数据作为当前作用域的返回值返回，不会执行后面的die "Failed to load data!!"语句；如果加载失败返回Nil，andthen直接短路，不执行.return，就会走到后面的die语句抛出加载失败异常。

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