Raku 中的 unspace

空格最少化 #

在数组或散列的开括号(即下标左边的那个括号)之前不允许有空格, 参数列表的圆开括号前面也是不能有空格的。即:

@deadbeef[$x]         # okay
%monsters{'cookie'}   # okay
saymewant('cookie')   # okay

@a       [$b]         # WRONG
%people  {'john'}     # WRONG
mewant   ('cookie')   # WRONG

这种限制的的几个副作用之一就是条件控制结构的周围不再需要圆括号了:

if $value eq $target {
    print "Bullseye!";
}

while $i < 10 { $i++ }

然而, 显式的使用 unspace 语法仍然能够让你对齐下标和后缀操作符:

%squirrels{'fluffy'} = Squirrel.new;
%monsters.{'cookie'} = Monster.new;
%beatles\.{'ringo'}  = Beatle.new;
%people\ .{'john'}   = Person.new;

unspace #

有些语言例如 C 允许你转义一个换行符使行联合起来. 其它语言(例如正则表达式)因为各种各样的原因, 允许你使用反斜线转义一个空白符。Raku 把这种记法推广到任何种类的空白上。通过在空白处前置一个 \, 任何相邻的空白(包括注释)都会在解析器面前隐身。这就是鼎鼎大名的空白隐身(“unspace”)。

在 Raku 中, unspace 能够抑制任意的几种空白附属物。例如, 因为 Raku 要求名词和后缀操作符之间不能出现空白, 所以使用 unspace 让你可以把后缀操作符贴线对齐:

%hash\  {$key}
@array\ [$ix]
$subref\($arg)

上面的最后一种形式作为一种退化了的 unspace, 即反斜线后面直接跟着后缀。注意, 反斜线前面不允许有空白, 所以:

$subref \($arg)

是语法错误(two terms in a row)。而:

foo \($arg)

会被解析为带有 Capture 参数的列表操作:

foo(\($arg))

然而, 其它形式的 unspace 可能被有效地放在空白之前.

其它后缀操作符也可能使用 unspace:

$number\  ++;
$number\  --;
1+3\      i;
$object\  .say();
$object\#`{ your ad here }.say

另外一种"你看不见这空白"的正常用法是, 在下一行放上一个点语法形式的后缀:

    $object\ # comment
    .say
     $object\#`[ comment
    ].say
     $object\
    .say

但是 unspace 主要是关于语言扩展的: 它让你在换行可能会使解析器困惑的地方, 让行在任何情况下都能继续, 不管你当前安装的是什么解析器。(除非, 当然, 你自己覆写了 unspace 规则…)

尽管我们说, unspace 让空白在解析器面前隐身了, 但是它并不能使空白在词法分析程序面前隐身。结果就是, 在 token 中禁止了 unspace。此外, 如果 unspace 包含一行或多行, 它们的行数仍然会被计算在内。