为何Perl 6中限定具名参数为确定值会使其成为必填参数？

我完全理解你的困扰——在Rakudo 2017.10版本里，给可选具名参数加上:D类型约束后，参数居然不再可选，必须传入值，这和Signatures文档里“未传值时不触发类型约束检查”的描述完全不符。你想保留:D来确保传入的是确定值，但又不想牺牲参数的可选性，之前尝试的默认值方案（比如给Int设0）因为语义不符（0是有效确定值，不等于未传值），所以效果不理想。

先重现你的问题场景，方便大家理解：

你的测试代码 #

sub foo ( :$foo ) { put $foo.defined ?? 'foo defined' !! 'foo not defined'; }
sub bar ( Int :$bar ) { put $bar.defined ?? 'bar defined' !! 'bar not defined'; }
sub baz ( Int:U :$baz ) { put $baz.defined ?? 'baz defined' !! 'baz not defined'; }
sub quux ( Int:D :$quux ) { put $quux.defined ?? 'quux defined' !! 'quux not defined'; }
sub quack ( Int:_ :$quack ) { put $quack.defined ?? 'quack defined' !! 'quack not defined'; }

foo(); foo( foo => 2 );
bar(); bar( bar => 2 );
baz(); baz( baz => Int );
quack(); quack( quack => 2 );
quux( quux => 2 ); quux(); # 此处会触发报错

对应的报错信息 #

Parameter '$quux' of routine 'quux' must be an object instance of type 'Int', not a type object of type 'Int'. Did you forget a '.new'? in sub quux at /Users/brian/Desktop/type.p6 line 16 in block at /Users/brian/Desktop/type.p6 line 37

问题根源 #

Rakudo 2017.10的行为和文档描述存在差异：当你给具名参数加上:D约束时，解释器会强制要求参数必须被初始化为该类型的确定实例；如果未传值，它会尝试用Int类型对象填充参数，但:D明确拒绝类型对象，因此触发报错。

可行的解决方案 #

要同时保留:D约束和参数的可选性，有两种优雅的实现方式：

1. 使用is optional标记参数

给参数加上is optional trait，明确告知解释器这个参数是可选的，未传值时会被设为Nil，而:D约束只会在传入值时生效（不会检查Nil）：

sub quux ( Int:D :$quux is optional ) { 
    put $quux.defined ?? 'quux defined' !! 'quux not defined'; 
}

2. 显式设置默认值为Nil

直接给参数设置默认值Nil，这样未传值时参数为Nil，而:D约束仅对传入的非Nil值生效：

sub quux ( Int:D :$quux = Nil ) { 
    put $quux.defined ?? 'quux defined' !! 'quux not defined'; 
}

这两种方式都能完美解决你的问题：调用quux()不会报错，会输出quux not defined；调用quux(quux => 2)会正常输出quux defined，同时确保传入的2是Int:D类型的确定值，完全符合你的需求。

和你之前尝试的默认值方案不同，Nil是Perl 6里专门用来表示“无值”的语义，不会和Int的有效确定值（比如0）混淆，完美区分了“未传参数”和“传入了0”的场景。

内容的提问来源于stack exchange，提问作者brian d foy