6

我想知道这只是出于对 Perl 工作方式的极客好奇，以及你能在这样的事情上走多远。

有一些函数被编写为在三个上下文中的每一个上都有不同的作用。

用下面的代码作为一个非常简单的例子：

use 5.012;

say context();
say scalar context();

sub context {
    if (wantarray) {
        return 'list';
    } elsif (defined wantarray) {
        return 'scalar';
    } else {
        return 'void'; # Destined to be discarded
    }
}

输出：

list
scalar

你能想出一种方法来激起调用后say输出的第三个吗？voidcontext()

我理解这是一个相当矛盾的地方，因为 void context 可能意味着你并没有真正返回/分配任何东西。但正如我从我所读到的 Perl 工作方式中所了解的那样，这不是什么都没有返回，而是返回值在 void 上下文中执行后被丢弃。

所以，我想知道：当你在调用函数的那一刻碰巧在列表或标量上下文中时，是否有一种方法可以强制void 上下文，就像你可以强制列表或标量上下文一样？

4

3 回答 3

10 
sub void(&) { $_[0]->(); () }

say        context();
say scalar context();
say void { context() };

更高级的代码可以为我们提供更好的语法：

use syntax qw( void );

say        context();
say scalar context();
say void   context();

附带说明一下，以下显示scalar与其说是一个函数，不如说是一个编译时指令：

$ diff -u0 \
   <( perl -MO=Concise,-exec -Msyntax=void -E'say        f()' 2>&1 ) \
   <( perl -MO=Concise,-exec -Msyntax=void -E'say scalar f()' 2>&1 )
--- /dev/fd/63  2014-08-17 12:34:29.124827443 -0700
+++ /dev/fd/62  2014-08-17 12:34:29.128827401 -0700
@@ -7 +7 @@
-6  <1> entersub[t6] lKS/TARG    <-- "l" for list context
+6  <1> entersub[t7] sKS/TARG    <-- "s" for scalar context

use syntax qw( void )'s也是如此void：

$ diff -u0 \
   <( perl -MO=Concise,-exec -Msyntax=void -E'say        f()' 2>&1 ) \
   <( perl -MO=Concise,-exec -Msyntax=void -E'say void   f()' 2>&1 )
--- /dev/fd/63  2014-08-17 12:34:41.952692723 -0700
+++ /dev/fd/62  2014-08-17 12:34:41.952692723 -0700
@@ -7 +7 @@
-6  <1> entersub[t6] lKS/TARG    <-- "l" for list context
+6  <1> entersub[t6] vKS/TARG    <-- "v" for void context

use syntax qw( void );工作原理

真正的工作由Syntax::Feature::Void完成，Void.xs其关键行如下：

STATIC OP* parse_void(pTHX_ GV* namegv, SV* psobj, U32* flagsp) {
    return op_contextualize(parse_termexpr(0), G_VOID);
}

STATIC OP* ck_void(pTHX_ OP* o, GV* namegv, SV* ckobj) {
    return remove_sub_call(o);
}

BOOT: {
    const char voidname[] = "Syntax::Feature::Void::void";
    CV* const voidcv = get_cvn_flags(voidname, sizeof(voidname)-1, GV_ADD);
    cv_set_call_parser(voidcv, parse_void, &PL_sv_undef);
    cv_set_call_checker(voidcv, ck_void, &PL_sv_undef);
}

  1. 它声明 subvoid使用get_cvn. （子永远不会被定义。） 中的代码Void.pm会将子导出到调用词法范围。

  2. 它告诉 Perl 调用void遵循用户定义的语法，使用cv_set_call_parser.

  3. 它告诉 Perlvoid在使用cv_set_call_checker.

  4. 当 Perl 遇到对 的调用时void，用户定义的解析器提取一个术语 using parse_termexpr，然后将该术语的上下文更改为voidusing op_contextualize。

  5. 之后，检查器从操作码树中删除对的调用void，同时将其参数（术语）留在后面。

于 2014-08-17T15:54:59.410 回答
2

您必须确保绝对不使用函数的返回码，例如

context();
1;

当然，return 'void'如果什么都不想要作为 return( !defined wantarray) 是没有意义的，因为这个返回值不会被使用。

于 2014-08-17T13:21:15.987 回答
1

你实际上在问什么

报价man perldata：

当您使用use warningspragma 或 Perl 的-w命令行选项时，您可能会看到有关在“无效上下文”中无用使用常量或函数的警告。无效上下文仅表示该值已被丢弃，例如仅包含"fred";or的语句getpwuid(0);。对于关心它们是否在列表上下文中被调用的函数，它仍然算作标量上下文。

用户定义的子例程可以选择关心它们是在 void、标量还是列表上下文中调用。不过，大多数子例程都不需要打扰。这是因为标量和列表都会自动插入到列表中。请参阅wantarray了解如何动态识别函数的调用上下文。

因此，您要问的是，如果调用是在列表或标量上下文中执行的，是否可以完全丢弃函数调用的值。

答案是肯定的！

在标量上下文中，仅使用列表的最后一个元素，其他元素在 void 上下文中求值。更真实的是：“列表”实际上从来都不是列表。在man perlop中阅读有关逗号运算符在标量上下文中的行为的更多信息以进行解释。换句话说，它也在man perlfunc中描述部分的末尾附近进行了解释。最后perldoc -f scalar也提到了这一点。

在列表上下文中，没有这种直接的方法。您需要使用与上述相同的技巧来获取任意标量（最好是 0），然后将其删除，这样它就不会影响列表的内容。空列表重复是您要寻找的。（顺便说一下，重复运算符在标量上下文中评估其第二个操作数。）

sub test_context() {
    wantarray and die "list\n";
    defined wantarray and die "scalar\n";
    die "void\n";
}
$\ = "\n"; # to make output prettier
### Uncomment the one you want to test.
# -- Somewhat canonical examples of contexts
#[test_context]; # list (+ warning of class 'void')
#print test_context; # list
#scalar(test_context); # scalar (forces scalar context anywhere)
#my $x = test_context; # scalar
#test_context; # void
#
# -- Examples of forcing void context
# Replace test_context with a fixed scalar and try again to see that even if
# the function returned a value, it would get discarded. Ignore the 'void' warning.
#print my $x = (test_context, 42);
#print '^', () x (test_context, 0), '$';

警告：没有void()

您不能创建一个void函数，其用法类似于scalar.

sub void {
    ();
}
print void(test_context);

这将导致在test列表上下文中被调用，因为函数参数总是在列表上下文中评估，除非在原型中另有说明。原型不能强制使用无效上下文。

你只能通过改变 Perl 的语法来实现这样的事情，这是可能的，但相当复杂。

ikegami 的答案中提供了使用默认 Perl 语法可以获得的最佳近似值。

你为什么想要这样的东西？

我认为这个问题是出于纯粹的好奇心，也许是出于更好地理解 Perl 上下文的愿望。在我看来，它没有任何实际用途。正如示例中perldoc -f wantarray所暗示的那样，表示 void 上下文的未定义返回值旨在用于加速计算，例如，如果可以在没有它的情况下执行副作用，则避免生成输出。

return unless defined wantarray; # don't bother doing more
my @a = complex_calculation();
return wantarray ? @a : "@a";
于 2014-08-17T15:14:25.480 回答