仅当变量也在同一行中声明时，多变量初始化中使用的绑定运算符才有效

如何解决仅当变量也在同一行中声明时，多变量初始化中使用的绑定运算符才有效

在以下示例中：

my $i1 = 1;
my $i2 = 2;

my ($v1,$v2);

($v1,$v2) := ($i1,$i2);

say $v1;
say $v2;

代码抛出编译错误：

===SORRY!=== Error while compiling ...
Cannot use bind operator with this left-hand side
at ...:8
------> ($v1,$i2)<HERE>;

当我将声明和绑定放在一行中时，它将成功运行：

my $i1 = 1;
my $i2 = 2;

my ($v1,$i2);

say $v1;  # 1
say $v2;  # 2

$i1 = 11;
$i2 = 22;

say $v1;  # 1
say $v2;  # 2

尽管如此，最后一个成功的示例显示变量$ v1，$ v2并未绑定到变量$ i1，$ i2，而是分配了各自的值。

似乎没有实际的绑定在进行，只是一个简单的任务！

有人对这种行为背后的机理有一个解释吗，为什么呢？我们还必须在同一行中“声明”变量，以便代码运行？

解决方法

在第一种情况下，只是说创建后不能绑定该列表。当您将一个列表绑定到另一个列表时，并不是在绑定每个变量，而是在绑定它的容器。 :=将其左侧绑定到右侧，从而使它们实际上是同一件事；如果从一开始它们不是同一回事，那以后就不能这样做。

因此，如果您想将一个容器绑定到另一个容器，则必须有效地声明并单独将其绑定到要绑定的任何容器。

这也适用于第二种情况。它使列表 ($v1,$v2)与右侧相同。可能应该抛出一个错误，但是它不会简单地绑定每个单独的容器。

这不是要在同一行上声明。

这是关于在声明中绑定，而不是将其绑定到列表。

声明中的绑定和赋值会产生与常规绑定或赋值不同的代码。

my \abc = 'def';

abc  = 5; # ERROR: Cannot modify an immutable Str
\abc = 5; # ERROR: Cannot modify an immutable Capture


for ^3 {
  state $i = 0;
  say ++$i; # 1␤2␤3␤
}

for ^3 {
  state $i;
  $i = 0;
  say ++$i; # 1␤1␤1␤
}

特别是我认为您的代码无法实现您认为的功能。
要么，要么您的期望遥遥无期。

my $i1 = 1;
my $i2 = 2;

my ($v1,$v2) := ($i1,$i2);

say $v1; # 1
say $v2; # 2

$i2 = 3;
say $v2; # 2

# $v2 = 3; # ERROR: Cannot assign to a readonly variable or a value

它不会将变量绑定到其他变量，而是绑定到其中的当前值。

如果这确实是您想要的，则可以绑定到Signature对象。

my $i1 = 1;
my $i2 = 2;

my ($v1,$v2);

:($v1,$i2); # <--

say $v1; # 1
say $v2; # 2

$i2 = 3;
say $v2; # 2

# $v2 = 3; # ERROR: Cannot assign to a readonly variable or a value

存在绑定的全部原因是将一个变量绑定到另一个变量。

sub var-name ( $a is rw ){ # <-- Bind $a to the incoming variable
  $a.VAR.name;
}

my $foo;
say var-name $foo; # $foo

在以上示例中，$a已绑定到$foo。
您对$foo做的任何事情也会发生在$a上，反之亦然。

您还可以使用绑定运算符:=手动进行此操作。

my ($a,$b,$c);

{
  my $v := $a;
  say $v.VAR.name; # $a

  $v := $b;
  say $v.VAR.name; # $b

  $v := $c;
  say $v.VAR.name; # $c
}

绑定东西时，它将左边的东西指向右边的东西。

my ($a,$c,$v);

$v := ($a,$c);

$v变量现在已绑定到包含变量$a，$b，$c的列表。

请注意，列表不是变量内部的值，而是实际变量本身。

say $v[0].VAR.name; # $a
say var-name $v[1]; # $b

say $v.^name; # List

$v[2] = 7;
say $c; # 7

当您尝试将一个列表绑定到另一个列表时，您试图覆盖左侧的列表。不是列表中的变量。

即使您设法做到这一点，也没有意义。唯一要做的就是让左边的列表更快地收集垃圾。

看到my $a时，发生了一些事情。

已创建一个指针，并将其添加到名称空间中的$a名称下。
（反正足够近）
已创建一个标量对象。其属性name设置为$a。
该指针开始指向标量。

变量的几乎所有行为实际上都是该Scalar容器的行为。

除了一个。

使用绑定运算符:=时，您正在使用该指针并将其指向新对象。

$a := $b;

# pseudo code
$a.POINTER = $b.POINTER;

列表不是指针。（虽然可以指出。）

（请注意，在向标量进行的初始分配中也涉及了声明。）

通过分配=，变量或值就有机会选择要发生的事情。

如果您将每个Scalar容器分配给一个数组，则会将其分配给右侧的每个值。

my @a;
@a = 0,1,2,3;

my $v := @a[4];
$v = 4;

say @a.raku; # [0,3,4]



sub assign ( Positional $dest is raw,Positional $source is raw ){
  #for $source.keys -> $index {
  #  my $v := $dest[$index];
  #  $v = $source[$index];
  #}
  $dest.STORE($source)
}

@a = ();
assign @a,(5,6,7,8);

say @a.raku; # [5,8]

使用赋值=时，基本上是在左侧调用STORE方法。它可以决定会发生什么。（实际上比这要复杂一些。）

对于数组或列表，它将经历依次分配每个元素的元素。（假设该元素实际上是标量容器。）

 my ($a,$b);

 ($a,$b) = 1,2;

 ($a,$b).STORE( (1,2) );

 my $list = ($a,$b);
 $list.STORE( (1,2) );

绑定时，您只是简单地覆盖了左侧的东西。

仅当变量也在同一行中声明时，多变量初始化中使用的绑定运算符才有效

如何解决仅当变量也在同一行中声明时，多变量初始化中使用的绑定运算符才有效

解决方法

相关推荐