分配子程序的结果是否会导致数据副本？

Question

我试图了解分配子例程的结果是否会导致复制该数据。

sub maketext { 'text' };

my $foo = maketext();
my $foo_ref = \$foo;

my $bar_ref = \maketext();

在上面的例子中，$foo_ref 的创建会比$bar_ref 的创建多一个副本吗？

我如何让自己相信它们的等价或不等价？

Answer 1

数据复制似乎发生了

sub maketext {
    my $text = 'text';
    say \$text;
    return $text;
}

my $bar_ref = \maketext();
say $bar_ref;

打印出来

标量（0x11f5818） 标量（0x11cfa68）

sub中创建的数据地址和$bar_ref指向的地址不一样。

从表面上看，当函数返回时，数据必须被复制，并且引用它。

另一种可能性是对原始数据的引用即使超出范围也会保留，就像它发生在闭包中一样。然而，这里的函数返回 first 然后它的返回被操纵。所以我看不出任何机制如何知道对数据做了什么，所以数据被适当地复制了。

您正在创建一个匿名标量引用，但在函数返回之外。

---

一种在没有相应变量的情况下创建对标量的引用的方法是

my $scalar_ref = \do { my $var };

或者do { \my $var }，或者在你的情况下使用一个子

sub anon_scalar_ref {
    # ...
    return \my $var;
}

但是，我看不出你有什么用。也许你想做

sub maketext {
    # ... define $text ...
    return \$text;
}

当您将 this 的返回值分配给变量时，不会制作额外的数据副本，因为它是返回的引用。

Answer 2

Perl 必须复制数据。否则，对变量$foo 的任何后续修改都将试图修改字符串常量'text'，这将导致您的代码死机。

这就是发生的事情

for ( 'text' ) {
    $_ = 'test';
}

引发错误

尝试修改只读值

Answer 3

是的，它会复制。

use Devel::Peek qw( Dump );

sub maketext {
    my $text = 'text';
    Dump($text);
    return $text;
}

my $ref = \maketext();
Dump($$ref);

输出：

SV = PV(0x8b18a0) at 0x8dbe38   <-- $text is at 0x8dbe38
  REFCNT = 1
  FLAGS = (POK,IsCOW,pPOK)
  PV = 0x8d9f70 "text"\0        <-- String buffer at 0x8d9f70
  CUR = 4
  LEN = 10
  COW_REFCNT = 1
SV = PV(0x8b1920) at 0x8b0cc8   <-- $$ref is at 0x8b0cc8
  REFCNT = 1
  FLAGS = (POK,IsCOW,pPOK)
  PV = 0x8d9f70 "text"\0        <-- String buffer at 0x8d9f70
  CUR = 4
  LEN = 10
  COW_REFCNT = 1

但是，由于写入时复制 (COW) 功能，不会复制字符串缓冲区。事实上，出于同样的原因，当您执行my $text = 'text'; 时，它甚至没有被复制。这意味着常量 $text 和 $$ref 都共享同一个字符串缓冲区（直到编辑其中一个字符串缓冲区），即使它们是完全不同的标量。

您可以避免使用左值子复制返回值。

use Devel::Peek qw( Dump );

sub maketext :lvalue {
    my $text = 'text';
    Dump($text);
    return $text;
}

my $ref = \maketext();
Dump($$ref);

输出：

SV = PV(0xe43c80) at 0xe6e238
[...]
SV = PV(0xe43c80) at 0xe6e238
[...]