(编辑:下面的pipe
函数应返回一个受祝福的对象,以便重载正常工作。请参阅接受的答案。)
我正在尝试使用perl的overload
功能来构建一个简单的解析树。
我不需要太多 - 实际上,我只需要一个左关联的运算符。
但是,perl解析$x op $y
与更长时间的方式似乎不一致
像$x op $y op $z op ...
这样的链。
这就是我所拥有的:
package foo;
use overload '|' => \&pipe,
"**" => \&pipe,
">>" => \&pipe;
sub pipe { [ $_[0], $_[1] ] }
package main;
my $x = bless ["x"], "foo";
my $y = bless ["y"], "foo";
my $z = bless ["z"], "foo";
my $w = bless ["w"], "foo";
# how perl parses it:
my $p2 = $x | $y; # Cons x y
my $p3 = $x | $y | $z; # Cons z (Cons x y)
my $p4 = $x | $y | $z | $w; # Cons w (Cons z (Cons x y))
my $p5 = $z | ($x | $y); # same as p3???
my $s2 = $x ** $y; # Cons x y
my $s3 = $x ** $y ** $z; # Cons x (Cons y z)
my $s4 = $x ** $y ** $z ** $w; # Cons x (Cons y (Cons z w))
sub d { Dumper(\@_) }
say "p2 = ".d($p2);
say "p3 = ".d($p3);
say "p4 = ".d($p4);
say "p5 = ".d($p5);
say "s2 = ".d($s2);
say "s3 = ".d($s3);
say "s4 = ".d($s4);
输出类似于:
p2 = [bless( ['x'], 'foo' ),bless( ['y'], 'foo' )]
p3 = [bless( ['z'], 'foo' ),[bless( ['x'], 'foo' ),bless( ['y'], 'foo' )]]
p4 = [bless( ['w'], 'foo' ),[bless( ['z'], 'foo' ),[bless( ['x'], 'foo' ),bless( ['y'], 'foo' )]]]
p5 = [bless( ['z'], 'foo' ),[bless( ['x'], 'foo' ),bless( ['y'], 'foo' )]]
s2 = [bless( ['x'], 'foo' ),bless( ['y'], 'foo' )]
s3 = [bless( ['x'], 'foo' ),[bless( ['y'], 'foo' ),bless( ['z'], 'foo' )]]
s4 = [bless( ['x'], 'foo' ),[bless( ['y'], 'foo' ),[bless( ['z'], 'foo' ),bless( ['w'], 'foo' )]]]
p2
不应该将x和y反转为与其他情况一致吗?
请注意,p3
和p5
会产生相同的输出 - 所以我怎么能区分它们呢?
我没有看到右关联运算符**
的相同问题。
有解决方法吗?
答案 0 :(得分:3)
use feature ":5.14";
use warnings FATAL => qw(all);
use strict;
use Data::Dump qw(dump pp);
sub foo()
{package foo;
use overload '|' => \&p;
sub p {bless [@{$_[0]},@{$_[1]}]}
}
my $x = bless ["x"], "foo";
my $y = bless ["y"], "foo";
my $z = bless ["z"], "foo";
my $p = $x | $y | $z;
pp($p)
产地:
bless(["x", "y", "z"], "foo")
答案 1 :(得分:2)
重载的运算符处理程序有时会以相反的顺序接收操作数,但Perl会在执行此操作时通过将swapped参数设置为true来通知处理程序。
将三个参数传递给use overload指令中指定的所有子例程(有一个例外 - 请参阅nomethod)。 [...]如果(并且仅当)两个操作数已被交换,则第三个参数设置为TRUE。 Perl可以这样做以确保第一个参数($ self)是实现重载操作的对象,符合一般对象调用约定。 [...]
您忽略了传递给处理程序的第三个参数。根本问题是您忘记从pipe
返回 foo 对象。
答案 2 :(得分:1)
你应该检查Marpa,我认为解析这样的事情会更好。
http://blogs.perl.org/users/jeffrey_kegler/2010/05/bnf-parsing-and-linear-time.html
https://metacpan.org/pod/Marpa::PP
我认为这是你脚本中的拼写错误:
my $p3 = $x || $y || $z;