问题描述
在以下脚本中,我在主程序中声明和修改@basearray
。在dosomething
子例程中,我访问@basearray
,将其分配给脚本本地的数组,然后修改本地副本。因为我一直小心地仅更改子例程中局部变量的值,所以@basearray
不会被更改。
但是,如果我在为子例程内的@basearray
分配值时犯了一个错误,它将被更改,并且该值在调用子例程后仍将保留。
这在第二个子例程doagain
中得到了证明。
此外,doagain
接收引用\@basearray
作为参数,而不是直接访问@basearray
。但是,要解决该额外的麻烦并不会增加安全性。为什么要这样呢?
是否有办法保证我不会在任何子例程中无意更改@basearray
?我可以在我的代码中内置任何种类的硬安全设备,类似于use strict;
,还是my
和local
的某种组合?
我是否正确地认为答案是“否”,并且唯一的解决方案是不犯粗心的程序员错误?
#!/usr/bin/perl
use strict; use warnings;
my @basearray = qw / amoeba /;
my $count;
{
print "\@basearray==\n";
$count = 0;
foreach my $el (@basearray) { $count++; print "$count:\t$el\n" };
}
sub dosomething
{
my $sb_name = (caller(0))[3];
print "entered $sb_name\n";
my @sb_array=( @basearray,'dog' );
{
print "\@sb_array==\n";
$count = 0;
foreach my $el (@sb_array) { $count++; print "$count:\t$el\n" };
}
print "return from $sb_name\n";
}
dosomething();
@basearray = ( @basearray,'rats' );
{
print "\@basearray==\n";
$count = 0;
foreach my $el (@basearray) { $count++; print "$count:\t$el\n" };
}
sub doagain
{
my $sb_name = (caller(0))[3];
print "entered $sb_name\n";
my $sf_array=$_[0];
my @sb_array=@$sf_array;
@sb_array=( @sb_array,"piglets ... influenza" );
{
print "\@sb_array==\n";
$count = 0;
foreach my $el (@sb_array) { $count++; print "$count:\t$el\n" };
}
print "Now we demonstrate that passing an array as an argument to a subroutine does not protect it from being globally changed by programmer error\n";
@basearray = ( @sb_array );
print "return from $sb_name\n";
}
doagain( \@basearray );
{
print "\@basearray==\n";
$count = 0;
foreach my $el (@basearray) { $count++; print "$count:\t$el\n" };
}
解决方法
没有杂物或关键字之类的东西,但是有完善的“良好实践”,在这种情况下,它可以完全解决您合理考虑的问题。
-
第一个子
dosomething
犯下了使用在其作用域中可见但在较高作用域中定义的变量的缺点。相反,请始终将所需的数据传递给子例程(在非常清晰的情况下,例外情况很少见。)直接使用来自“外部”的数据违反了将函数视为封装过程的想法,它通过定义明确且清晰的界面与其用户交换数据。它使原则上完全不相关的代码部分纠缠(“耦合”)。实际上,它也可能是完全危险的。
此外,
@basearray
即将在子程序中争夺的事实最好被认为是意外事件-当该子程序移至模块时该怎么办?还是引入另一个子来合并定义了@basearray
的代码? -
第二个子项
doagain
很好地引用了该数组。然后,为了保护调用方中的数据,可以将调用方的数组复制到子目录本地的另一个数组中。sub doagain { my ($ref_basearray) = @_; my @local_ba = @$ref_basearray; # work with local_ba and the caller's basearray is safe }
局部词法变量的名称当然是任意的,但类似于调用方数据名称的约定可能会有用。
然后,为了安全起见,您可以采用一般惯例始终将输入变量复制到本地变量。直接使用仅在您要更改调用方数据时才传入的引用(在Perl中相对较少)。如果要对大量数据进行大量处理,或者涉及到非常大的数据结构,这可能会损害效率。因此,也许然后将其设置为异常并通过其引用更改数据,并格外小心。
,(将我的评论作为答案) 确保不更改子例程中的变量的一种方法是不更改它。在子例程内仅使用词法范围的变量,并将子例程内所需的任何值作为参数传递给子例程。这是足够普遍的编码实践,即封装。
您可以使用的一个想法(主要是作为实践,我想说)是强迫自己使用封装,是在“主”代码周围放置一个块,并将子例程放置在其外部。这样,如果您不小心引用了(以前)全局变量,use strict
将能够完成它的工作并产生致命错误。在运行前。
use strict;
use warnings;
main: { # lexical scope reduced to this block
my @basearray = qw / amoeba /;
print foo(@basearray); # works
print bar(); # fatal error
} # END OF MAIN lexical scope of @basearray ends here
sub foo {
my @basearray = @_; # encapsulated
return $basearray[1]++;
}
sub bar {
return $basearray[1]++; # out of scope ERROR
}
这将不会编译,并且会产生错误:
Global symbol "@basearray" requires explicit package name at foo.pl line 15.
Execution of foo.pl aborted due to compilation errors.
我会认为这是一种训练工具,可以强迫自己使用良好的编码习惯,而不必在生产代码中使用。
,从“只要不更改它”到“使用对象或绑定数组并锁定更新功能”,有几种解决方案具有不同的可靠性。中间解决方案与定义使用带有getter方法的对象不同,它是定义一个返回数组但只能作为右值操作的函数,并在子例程中使用该函数。
my @basearray = (...);
sub basearray { return @basearray }
sub foo {
foreach my $elem (basearray()) {
...
}
@bar = map { $_ *= 2 } basearray(); # ok
@bar = map { $_ *= 2 } @basearray; # modifies @basearray!
}
,
TLDR:是的,但是。
我将从“ but”开始。但是最好设计代码,以使变量在定义不受信任的函数的范围内根本不存在。
sub untrusted_function {
...
}
my @basearray = qw( ... ); # declared after untrusted_function
如果untrusted_function
需要能够访问数组的内容,请将其的数组的副本作为参数传递给它,这样它就不能修改原始数组。
现在这是“是”。
您可以在调用不受信任的函数之前将数组标记为只读。
Internals::SvREADONLY($_,1) for @basearray;
Internals::SvREADONLY(@basearray,1);
然后在功能完成后将其标记为可读写。
Internals::SvREADONLY(@basearray,0);
Internals::SvREADONLY($_,0) for @basearray;
使用Internals::SvREADONLY(@basearray,$bool)
修改数组本身的只读状态,从而防止在数组中添加或删除元素; Internals::SvREADONLY($_,$bool) for @basearray
也可能会修改数组中每个元素的只读状态。
当然,如果您的数组包含诸如祝福对象之类的引用,则需要考虑是否需要递归到这些引用中,并将它们也标记为只读。 (但也可能与我在首选解决方案中提到的数组的浅表副本有关!)
因此是,可以通过在调用子变量之前将其标记为只读来防止该子变量意外修改变量,但重新组织代码,以便子根本根本无法访问变量。
是,但是。
,这是使用@TLP答案的原型。
#!/usr/bin/perl
use strict; use warnings;
{ # block_main BEG
my @basearray = qw / amoeba elephants sequoia /;
print join ( ' ','in main,@basearray==',join ( ' ',@basearray ),"\n" );
print "Now we call subroutine to print it:\n"; enumerateprintarray ( \@basearray );
my $ref_basearray = changearray ( \@basearray,'wolves or coyotes . . . ' );
@basearray = @$ref_basearray;
print "Now we call subroutine to print it:\n"; enumerateprintarray ( \@basearray );
} # block_main END
sub enumerateprintarray
{
my $sb_name = (caller(0))[3];
#print join ( '',@basearray ); # mortal sin! for in the day that thou eatest thereof thou shalt surely die.
my $sb_exact_count_arg = 1;
die "$sb_name must have exactly $sb_exact_count_arg arguments" unless ( ( scalar @_ ) == $sb_exact_count_arg );
my $sf_array = $_[0];
my @sb_array = @$sf_array;
my $sb_count = 0;
foreach (@sb_array)
{
$sb_count++;
print "\t$sb_count:\t$_\n";
}
}
sub changearray
{
my $sb_name = (caller(0))[3];
#print join ( '',@basearray ); # in the day that thou eatest thereof thou shalt surely die.
my $sb_exact_count_arg = 2;
die "$sb_name must have exactly $sb_exact_count_arg arguments" unless ( ( scalar @_ ) == $sb_exact_count_arg );
my ( $sf_array,$addstring ) = @_;
my @sb_array = @$sf_array;
push @sb_array,$addstring;
return ( \@sb_array );
}