Perl 6 - 副词的 Pair 形式

副词的 Pair 形式

S02-literals/adverbs.t lines 6–69

现在有一个普通的副词形式的 Pair 记号,也是人们所熟知的 "colon pair"(冒号对)形式。下面的表格展示了和胖箭头记号相一致的记号:

Fat arrow           Adverbial pair  Paren form
=========           ==============  ==========
a => True           :a
a => False          :!a
a => 0              :a(0)
a => $x             :a($x)
a => 'foo'          :a<foo>         :a(<foo>)
a => <foo bar>      :a<foo bar>     :a(<foo bar>)
a => «$foo @bar»    :a«$foo @bar»   :a(«$foo @bar»)
a => {...}          :a{...}         :a({...})
a => [...]          :a[...]         :a([...])
a => $a             :$a
a => @a             :@a
a => %a             :%a
a => &a             :&a
a => %foo<a>        %foo<a>:p

胖箭头结构应只用于项(term)所在位置因为它被认为是一个独立的表达式,因为胖箭头自身被解析为一个普通的中缀操作符(即使自动引起它左侧的标识符时)。因为左侧是一个普通的表达式,胖箭头形式会使用任何值作为键来创建 Pair。另一方面,当用上面的形式来生成 Pair 对象时,副词形式被约束为使用标识符作为键。在键不是标识符的地方,你必须使用胖箭头形式来生成 Pair。

尽管有那个约束,但是冒号和括号之间有其它东西也是可能的;然而,所有可能的非标识符形式的副词形式的键都被保留用作特殊的语义形式。Perl 6 当前识别十进制数的键和空(null)键。在下面的表格中,第一列和第二列不是同一个东西:

Simple pair         DIFFERS from    which means
===========         ============    ===========
2 => <101010>       :2<101010>      二进制字面值 0b101010
8 => <123>          :8<123>         八进制字面值 0o123
16 => <deadbeef>    :16<deadbeef>   十六进制字面值 0xdeadbeef
16 => $somevalue    :16($somevalue) 十六进制转换函数,把十六进制的字符串转换为数字
'' => $x            :($x)           签名字面值
'' => ($x,$y)       :($x,$y)        签名字面值
'' => <x>           :<x>            name extension
'' => «x»           :«x»            name extension
'' => [$x,$y]       :[$x,$y]        name extension
'' => { .say }      :{ .say }       adverbial block (not allowed on names)

所有的副词形式(包括普通的带有标识符键的副词)被认为是特殊的令牌(tokens)并且除了能在项的位置上被识别,也能在各种不同的位置上被识别。特别地,当把它用在中缀的位置上时,它们修改了之前的顶端的优先级比"loose unary"紧凑的操作符:

1 == 100 :fuzz(3)   # 调用: infix:<==>(1, 100, fuzz => 3)

在声明内部副词形式用于重命名参数声明:

sub foo ( :externalname($myname) ) { ... }

副词修改了各种引号形式的意义:


q:x 'cat /etc/passwd'

当副词被追加到标识符(即,在后缀位置上)后面时,副词形式的语法用于生成那个标识符的唯一变体;该语法用于命名诸如 infix:<+> 这样的操作符和诸如 statement_control:if 这样的多重分发文法规则。当这样用时,副词被认为是名字的一部分,所以 infix:<+>infix:<-> 是两个不同的操作符。同样地, prefix:<+> 不同于 infix<+>。(这种记法的好处有把不同的标识符分组到容易访问的集合中,例如,这就是 Perl 6 标准文法时如何知道当前中缀操作符集合的)。

只有能产生一列一个或更多值(偏好字符串)的标识符被允许作为名字扩展;特殊地,闭包不能作为值,所以 :{...} 形式的副词不能被允许作为名字扩展。特别地,这把方法名后面的 block 空了出来,所以它允许我们把 block 解析为方法的参数:

@stuff.sort:{ +$_ }

这些看起来它们使用的是 pairs,实际上它们等价于:

@stuff.sort: { +$_ }

所以这儿的冒号真得不是在引入 pairs,而是引入了该方法的参数列表。在其他任何位置,:{...} 会使用两种用法的一种,根据花括号定义的是闭包还是散列。如果被当做闭包, :{...} 会创建把空键(null)映射到闭包的 pair。如果被当做散列构造器,那么空键会被忽略,并且 :{...} 会创建一个以对象为键的散列而非像没有冒号的 {...}那样创建一个以字符串为键的散列。

胖箭头和副词对儿记法都能用于把具名参数作为项传递给函数或方法。在括号里面带有参数的调用后面,只有副词形式的语法能用于传递额外的参数。这通常用于传递额外的 block:

find($directory) :{ when not /^\./ }

这正好和前面的规则离经叛道,因为副词形式的 block 处于操作符的位置,所以它修改了 "find operator"。(括号不被认为是操作符)

注意(和往常一样){...} 形式(要么基于操作符要么是特殊的)可以根据内容要么标示一个闭包,要么标示一个散列。它没有标示下标,因为 :key{} 实际上等价于 key => {}, 并且花括号一点儿也没有表现得像后缀一样。(然而,它所传递给的函数也能把那个值用于下标)

还要注意 <a b> 形式不是下标,因此并不等价于 .{'a', 'b'} 而是等价于 ('a', 'b')。 裸的 <a> 转换为 ('a') 而不是 ('a',)。(然而,对于其它形式的括号,根据上下文,值可能也能用作下标)

两个更多地副词总是可以捆绑在一块儿。当在参数列表中用作具名参数时,你可能在参数之间放上逗号,因为它们对于函数来说就是普通的具名参数,并且胖箭头形式的参数效果相同。然而,当第一个 pair 出现在项(term)的位置上时,这个逗号才只允许出现。当期望一个中缀操作符时,那个副词总是被看做修改最近的之前的操作符,它没有被隐藏在圆括号中,并且如果你把多个这样的 pairs 作为一个字符串放在一块儿,那么你就不能在它们中间放上逗号,因为那会让之后的 pairs 看起来像项(terms)。(在操作符的位置上一点也不允许胖箭头形式)查看 S06 获取把副词用作具名参数的用法。

否定形式(:!a) 和符号形式(:$a, :@a, :%a) 绝对不会接收参数也不关心下一个字符是什么。它们被认为是完备的。这些形式需要一个标识符作为键。包含 twigil 的符号形式不会在键中包含那个 twigil。

对于接收一个非否定整数参数的标识符,它被允许缩写,例如,把 :sweet(16) 缩写为 :16sweet。(这个和 :16<deadbeef> 形式不一样,后者从来没有字母字符跟在数字后面。)只有字面的非负数字可以这样交换使用。请注意这个缩写允许:

s:2nd/foo/bar/  # or 3rd, 4th, 5th etc.

其它形式的副词(包括裸的 :a 形式)总是查找紧紧跟随的用括号括起的参数,并且把它吞噬掉。如果那没有达到预期,那么你必须在副词和开括号之间使用空白。在 Perl 6中单独的副词语法在各处都是相同的。基于参数是需要还是不需要,没有例外。(对于引号副词和 regex 副词有一个小例外,它们只接受圆括号作为它们的括号操作符,并且忽略其它括号,如果需要它们必须被放到括号里。查看上表中得" Paren form")

除了上面要注意的之外,解析器常常会寻找括号。尽管没有标示一个真的下标,括号被类似地解析为后缀操作符。因为把括号后缀化可以和它们起初的使用 unspace 或点(或两者都) :foo 的区分开。

不管语法,用作具名参数的副词一般作为我们正谈论的函数的可选具名参数呈现 -- 即使那个函数是操作符或宏。那个正被谈论的函数既不知道也不关心原语法是多么的怪异。

翻译的真心大西瓜

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 199,064评论 5 466
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 83,606评论 2 376
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 146,011评论 0 328
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 53,550评论 1 269
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 62,465评论 5 359
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 47,919评论 1 275
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,428评论 3 390
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,075评论 0 254
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,208评论 1 294
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,185评论 2 317
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,191评论 1 328
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 32,914评论 3 316
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,482评论 3 302
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,585评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 30,825评论 1 255
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,194评论 2 344
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 41,703评论 2 339

推荐阅读更多精彩内容