Question

将字符串中的pos分配为“写入”，触发副本吗？（在OS X上使用perl 5.26进行测试）

我正在写一个小型的lexing实用程序。经常出现的一件事是搜索从给定偏移开始的模式...并返回匹配的字符串（如果有的话）。

为了支持反复尝试使用令牌，我需要我的功能将pos设置为匹配后，如果我们成功并将设置为我们开始搜索的地方如果我们不是。

e.g。

my $string = "abc";
consume($string, qr/b/, 1);
printf "%s\n", pos($string); # should print 2

pos($string) = 0; # reset the pos, just to demonstrate
                  # the intended behavior when there isn't a match

consume($string, qr/z/, 1);
printf "%s\n", pos($string); # should print 1

这是一个返回正确的东西但没有正确设置pos的实现。

package TokenConsume;
use strict;
use warnings;

use Exporter qw[import];
our @EXPORT_OK = qw[consume];

sub consume {
    my ($str, $pat, $pos) = @_;
    pos($str) = $pos;
    my $out = undef;
    if ($str =~ $pat) {
        $out = substr $str, $-[0], ($+[0] - $-[0]);
        pos($str) = $+[0];
    } else {
        pos($str) = $pos;
    }
    return $out;
}

以下是模块测试套件的示例测试

do {
    my $str = "abc";
    pos($str) = 0;
    my $res = consume($str, qr/z/, 1);
    is($res, undef, "non-first: failed match should capture nothing");
    is(pos($str), 1, "non-first: failed match should return pos to beginning of search");
};

它失败并显示以下消息（另一个测试失败）：

#   Failed test 'non-first: failed match should return pos to beginning of search'
#   at t/test_tokenconsume.t line 38.
#          got: '0'
#     expected: '1'
# Looks like you failed 2 tests of 7.

我可以通过传入字符串引用并稍微更改API来解决此问题。这是完整性的新实现。

sub consume {
    my ($str_ref, $pat, $pos) = @_;
    pos($$str_ref) = $pos;
    my $out = undef;
    if ($$str_ref =~ $pat) {
        $out = substr $$str_ref, $-[0], ($+[0] - $-[0]);
        pos($$str_ref) = $+[0];
    } else {
        pos($$str_ref) = $pos;
    }
    return $out;
}

那么，这里发生了什么？除非我使用引用，为什么pos(...)的赋值不会传播回原始值？

Answer 1

Perl会分配给pos触发副本吗？

Perl 5.20引入了一种写时复制机制，允许标量共享一个字符串缓冲区。

不，更改pos($str)不会触发副本。

$ perl -MDevel::Peek -e'
    $_="abcdef"; Dump($_);
    pos($_) = 2; Dump($_);
    pos($_) = 3; Dump($_);
    $_ .= "g";   Dump($_);
' 2>&1 | grep -P '^(?:SV|  FLAGS|  PV)'

SV = PV(0x192ee10) at 0x196d4c8
  FLAGS = (POK,IsCOW,pPOK)
  PV = 0x1955140 "abcdef"\0

SV = PVMG(0x1985810) at 0x196d4c8
  FLAGS = (SMG,POK,IsCOW,pPOK)
  PV = 0x1955140 "abcdef"\0

SV = PVMG(0x1985810) at 0x196d4c8
  FLAGS = (SMG,POK,IsCOW,pPOK)
  PV = 0x1955140 "abcdef"\0

SV = PVMG(0x1985810) at 0x196d4c8
  FLAGS = (SMG,POK,pPOK)
  PV = 0x1962360 "abcdefg"\0

[为了便于阅读，将空白行添加到输出中。]

如IsCOW标志所示，$_与另一个标量（常量）共享其字符串缓冲区（PV）。分配给pos并不会改变它。另一方面，附加到$_会导致复制字符串缓冲区（0x1955140⇒0x1962360，并丢失IsCOW标记。）

除非我使用引用，否则为什么pos(...)的赋值不会传播回原始值？

因为如果更改一个变量（$str）改变了其他一些不相关的变量（$string）会非常糟糕！他们可能共享一个字符串缓冲区是一个无关紧要的实现细节。

也就是说，Perl通过引用传递，因此$_[0]是$string（参数）的别名，因此分配给pos($_[0])会同时更改pos($_[0])和{{ 1}}（是同一个变量）。

Perl是否指定pos触发副本？

1 个答案: