如何在子主机中获得强制性命名参数？

Question

这是我能得到的最好的：

sub MAIN(Int :p($parm)!)
{
  say "* parm=", $parm;
}

但是：

$ raku test-par.raku
Usage:
  test-par.raku -p[=Int]

它说参数是可选的！
确实是：

 $ raku test-par.raku -p
 * parm=True

那么，什么给了？

Answer 1

bool 也恰好是 int ：

$ raku -e 'say True.Int'
1

$ raku -e 'say True ~~ Int'
True

因为 -p 是 bool 它也是 int ：

$ raku -e 'sub MAIN(Int :p($param)) { say $param.raku; say $param ~~ Int; say $param.Int }' -p=42
IntStr.new(42, "42")
True
42

$ raku -e 'sub MAIN(Int :p($param)) { say $param.raku; say $param ~~ Int; say $param.Int }' -p
Bool::True
True
1

$ raku -e 'sub MAIN(Int :p($param)) { say $param.raku; say $param ~~ Int; say $param.Int }' --/p
Bool::False
True
0

该参数仍然是可选的； -p 刚刚（可以说是不直觉）的处理，例如 -p = 1 。不幸的是，要实际执行所请求的约束将需要添加一个额外的过滤器：

$ raku -e 'sub MAIN(Int :p($param) where * !~~ Bool) { say $param.raku; say $param ~~ Int; say $param.Int }' --p=1
IntStr.new(1, "1")
True
1

$ raku -e 'sub MAIN(Int :p($param) where * !~~ Bool) { say $param.raku; say $param ~~ Int; say $param.Int }' -p
Usage:
  -e '...' [-p[=Int where { ... }]]

Answer 2

正如其他一些问题所述 true 是 enum ，值 1 ，所以它是 int ，如果要确保始终以一个值调用 -p 您可以使用 args to to to to to 功能在之前检查传入的参数 它们被传递给main。类似：

sub ARGS-TO-CAPTURE(&main, @args) {
    if none(@args) ~~ /"-p=" \d+/ { 
        say $*USAGE; 
        exit;
    } 
    &*ARGS-TO-CAPTURE(&main,@args)
}

这里我们检查至少一个参数是 -p ，并且它也具有整数值。您还可以通过添加生成 - 使用如果要在输出中更改其显示 -p 的方式。

Answer 3

首先，感谢您的答案和评论。

对于我的特定异想天开，这是我可以做到的最好的：

use v6;

use Getopt::Long;

get-options("p|port=i" => my $port);

sub MAIN
{
  # for the case that no args were passed
  without $port { say "*** error, missing args"; exit }

  say "*** port=$port"
}

据我所知，它可以处理简短和长期的选择，并使选项必须进行。