为什么将Perl 6命名参数约束为确定值会使其成为必需值？

Question

考虑这些子例程，它们都采用一个命名参数。命名参数应该是可选的，我还没有看到任何东西说有例外。

没有类型约束就没有问题；命名参数不是必需的。使用可以接受类型对象的类型约束（无注释、：U、和：）没有问题。

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 <unit> at /Users/brian/Desktop/type.p6 line 37

对于需要定义值（用：D注释）的类型约束，命名参数不再是可选的。也就是说，对于任何其他定义，我都不必提供值。对于：D，我必须提供一个值。我不想省略：d，因为我想要的值必须被定义。

从签名文档中：

通常，类型约束只检查传递的值是否为正确的类型。

但是，我没有传递任何值。我认为这些限制只对一项任务重要。因为我没有显式地提供要赋值的值，所以我希望不会有赋值，也不会有问题。拉库多2017年的情况并非如此。10。这让我以各种令人讨厌的方式来解决这个问题。这与我的问题有关，Perl 6块的参数是一个还是没有？我试图区分零参数和一参数情况。

我可以通过分配默认值来解决这个问题，但是在某些情况下，没有有意义的默认值。例如，一个Bool很容易，但是什么明确的Int适合呢？不管它是什么，都将是一些神奇的价值，会使代码复杂化和分散注意力。我已经用Perl 6有一个无限的Int做了这个，但是我逃脱了，因为Inf在这种情况下作为一个有效的值工作。

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();




Answer 1

我通过检查类型Any或智能匹配来解决这一问题：

sub f ( :$f where { $^a.^name eq 'Any' or $^a ~~ Int:D } ) {
    put $f.defined ?? "f defined ($f)" !! 'f not defined';
    }

f( f => 5 );
f();

回答我最初的问题：所有参数都是必需的。这仅仅是他们如何获得价值的问题。它可以通过参数、显式默认值或隐式默认值（基于其类型约束）实现。

Answer 2

FWIW，可选位置参数存在类似问题：

sub a(Int:D $number?) { ... }
a; # Parameter '$number' of routine 'a' must be an object instance of type 'Int', not a type object of type 'Int'.  Did you forget a '.new'

如果将类型对象指定为默认值，则会出现相同的问题：

sub a(Int:D $number = Int) { ... };
a; #  # Parameter '$number' of routine 'a' must be an object instance of type 'Int', not a type object of type 'Int'.  Did you forget a '.new'

恐怕这只是的结果：当应用于参数时，D约束：您必须指定一个定义的默认值，以便它在没有任何参数的情况下可以调用。

当然，另一种方法可以是使用多子和必需的命名参数：

multi sub a() { say "no foo named" }
multi sub a(Int:D :$foo!) { say "foo is an Int:D" }

希望这能有所帮助

Answer 3

所有参数总是有一些值，即使它们是可选的。我澄清了您在379678和b794a7中引用的文档。

可选参数具有作为显式或隐式类型约束的类型对象的默认值（对于例程，隐式约束为Any，对于块，隐式约束为Mu）。

sub (Int $a?, Num :$b) { say "\$a is ", $a; say "\$b is ", $b }()
# OUTPUT:
# $a is (Int)
# $b is (Num)

在上面，默认值传递参数上的类型约束。如果使用：U或：类型smileys，情况也是如此。

但是，当您使用： D类型笑脸时，默认缺省值不再匹配类型约束。如果不检查，您将失去指定： D约束的好处。例如，由于默认的默认类型对象会在这个例程的主体中引起爆炸，因此期望参数是确定的值。

sub (Int:D $a?, Num:D :$b) { say $a/$b }()

并回答指定：D是否应自动生成所需参数的名义问题。我对这个想法持-1观点，因为它引入了一种特殊情况，用户必须学会只保存一个输入字符（根据需要标记param的！）。这样做也会产生一个不太有用的错误，它讨论的是算术或必需的参数，而不是实际的问题：默认的参数没有通过对参数的类型检查。