Skip to content

Latest commit

 

History

History
305 lines (219 loc) · 12.5 KB

第八章-副词.adoc

File metadata and controls

305 lines (219 loc) · 12.5 KB

副词的 Pair 形式

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

Table 1. Pair and fat arrow
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)键。在下面的表格中,第一列和第二列不是同一个东西:

Table 2. Table title
Simple pair colon pair 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 的区分开。

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

下标副词

为了使切片下标返回除了值以外的其它东西,那么给下标(subscript)添加合适的副词。

@array = <A B>;
@array[0,1,2];      # returns 'A', 'B', (Any)
@array[0,1,2] :p;   # returns 0 => 'A', 1 => 'B'
@array[0,1,2] :kv;  # returns 0, 'A', 1, 'B'
@array[0,1,2] :k;   # returns 0, 1
@array[0,1,2] :v;   # returns 'A', 'B'

%hash = (:a<A>, :b<B>);
%hash<a b c>;       # returns 'A', 'B', (Any)
%hash<a b c> :p;    # returns a => 'A', b => 'B'
%hash<a b c> :kv;   # returns 'a', 'A', 'b', 'B'
%hash<a b c> :k;    # returns 'a', 'b'
%hash<a b c> :v;    # returns 'A', 'B'

如果副词为真,那么这些副词形式都会清除不存在的条目;如果为假的话,就会留下不存在的项,就像普通的切片那样。所以:

@array[0,1,2] :!p;  # returns 0 => 'A', 1 => 'B', 2 => (Any)
%hash<a b c>  :!kv; # returns 'a', 'A', 'b', 'B', 'c', (Any)

同样地,

my ($a,$b,$c) = %hash<a b c> :delete;

删除那些条目并顺道返回它们。这种形式能够工作是因为下标是顶端的在前的操作符。如果某些其它的操作符的优先级比处于顶端的逗号操作符的优先级紧凑,那么你必须用括号括起它或强制为列表上下文:

1 + (%hash{$x} :delete);
$x = (%hash{$x} :delete);
($x) = %hash{$x} :delete;

只有在副词为真的时候元素才会被删除。而 :!delete 本质上是一个空操作;你可以基于传递的诸如 :delete($kill’em) 标记顺带有条件地删除条目。在任何一种情况下,被删除的值会被返回。

你也可以执行存在性测试,要么测试单个条目是否存在,要么测试条目的连接是否存在:

if %hash<foo> :exists           {...}
if %hash{any <a b c>}  :exists  {...}
if %hash{all <a b c>}  :exists  {...}
if %hash{one <a b c>}  :exists  {...}
if %hash{none <a b c>} :exists  {...}

:exists 副词和一组切片结果的布尔值列表结合起来使用,你也可以用类型的语义这样使用:

if any %hash<a b c>  :exists {...}
if all %hash<a b c>  :exists {...}
if one %hash<a b c>  :exists {...}
if none %hash<a b c> :exists {...}

你可以使用 :!exists 来测试不存在。这特别便捷因为优先级规则让 !%hash<a> :exists:exists 应用到前缀 ! 上。 %hash<a> :!exists 没有那个问题。

组合下标副词

像调用中得具名参数那样,下标中处理多个副词是没有顺序之分的。有些组合有意义,例如:

%a = %b{@keys-to-extract} :delete :p; # same as :p :delete

会把给定的键分片到另外一个散列中。而

@actually-deleted = %h{@keys-to-extract} :delete :k; # same as :k :delete

会返回真正从散列中删除的键。

只指定返回类型的副词,不能被组合,因为诸如 :kv :p、或 :v :k 就没有意义。

下面的这些副词组合被看做是合法的:

:delete :kv            delete, return key/values of actually deleted keys
:delete :!kv           delete, return key/values of all keys attempted
:delete :p             delete, return pairs of actually deleted keys
:delete :!p            delete, return pairs of all keys attempted
:delete :k             delete, return actually deleted keys
:delete :!k            delete, return all keys attempted to delete
:delete :v             delete, return values of actually deleted keys
:delete :!v            delete, return values of all keys attempted
:delete :exists        delete, return Bools indicating keys existed
:delete :!exists       delete, return Bools indicating keys did not exist
:delete :exists :kv    delete, return list with key,True for key existed
:delete :!exists :kv   delete, return list with key,False for key existed
:delete :exists :!kv   delete, return list with key,Bool whether key existed
:delete :!exists :!kv  delete, return list with key,!Bool whether key existed
:delete :exists :p     delete, return pairs with key/True for key existed
:delete :!exists :p    delete, return pairs with key/False for key existed
:delete :exists :!p    delete, return pairs with key/Bool whether key existed
:delete :!exists :!p   delete, return pairs with key/!Bool whether key existed
:exists :kv            return pairs with key,True for key exists
:!exists :kv           return pairs with key,False for key exists
:exists :!kv           return pairs with key,Bool for key exists
:!exists :!kv          return pairs with key,!Bool for key exists
:exists :p             return pairs with key/True for key exists
:!exists :p            return pairs with key/False for key exists
:exists :!p            return pairs with key/Bool for key exists
:!exists :!p           return pairs with key/!Bool for key exists