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

数据复制似乎发生

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

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

此打印

SCALAR(0x11f5818)
SCALAR(0x11cfa68)

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

从表面上看，当函数返回时，必须复制数据，并获取对它的引用。

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

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

---

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

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

或与 ，或在您的情况下与潜艇do { \my $var }

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

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

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

将 this 的返回分配给变量时，不会创建额外的数据副本，因为返回的是引用。

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

这就是在

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

这引发了错误

尝试修改只读值

是的，它会复制。

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

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

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
[...]