奇怪的参数检查

feiliang1983

我写了一个2000行以上的.pm库文件和100多行的.pl接口文件管理配置文件。在pm库文件中有一个函数在定义之前使用时函数工作不太正常。

在b.pl运行时没有发现任何警告，也不提示输入参数错误。大家能告诉我原因么？

文件结构如下：

1. a.pm
   
2. use strict;
   
3. use warnings;
   
4. use Data::Dumper;
   
5. 
   
6. sub f()
   
7. {
   
8. my @arr = ();
   
9. g(@arr);
   
10. print Dumper(@arr);
    
11. }
    
12. 
    
13. sub ff()
    
14. {
    
15. my @arr = ();
    
16. g(\@arr);
    
17. print Dumper(@arr);
    
18. }
    
19. 
    
20. sub g(\@)
    
21. {
    
22. my $arr = shift;
    
23. 
    
24. push @{$arr}, 12;
    
25. }
    
26. 
    
27. sub gf()
    
28. {
    
29. my @arr = ();
    
30. g(@arr);
    
31. print Dumper(@arr);
    
32. }
    
33. 
    
34. sub gff()
    
35. {
    
36. my @arr = ();
    
37. g (\@arr); # 报错
    
38. print Dumper(@arr);
    
39. }
    
40. 1;
    
41. 
    
42. b.pl：
    
43. use strict;
    
44. use warnings;
    
45. use a;
    
46. 
    
47. f(); #无输出
    
48. ff(); #输出12
    
49. gf(); #输出12
    
50. gff(); #编译错误

复制代码

flw

g 用了原型，
所以调用时直接 g(@arr) 即可，
不需要也不能 g(\@arr)。

feiliang1983

回复 2# flw
谢谢回复

现在最大的问题是ff()为什么检查不出来？而且还工作正常的样子？

是因为没有原型的时候需要必须自己处理引用的转换么？

有没有文档专门说明这种问题？

黑色阳光_cu

http://perldoc.perl.org/perlsub.html#Prototypes

flw

因为 ff 还没见到原型。

feiliang1983

回复 4# 黑色阳光_cu
多谢

问题已解决。

函数原型不是强制的，在一些特定情况下函数会被当作旧格式的函数。如果
函数被当作无原型的旧函数时，函数请求的输入参数是引用，这就可以
解释我的函数为什么出错了。

再次感谢两位的帮助。

BTW:有没有什么方法彻底禁用无原型的旧格式的函数的使用？至少报出一个
警告？我觉得如果老是出这种问题的话，调试起来相当些麻烦，而且很难找到
出错原因

黑色阳光_cu

回复  黑色阳光_cu
多谢

问题已解决。

函数原型不是强制的，在一些特定情况下函数会被当作旧格式的 ...
feiliang1983 发表于 2010-06-05 17:26

   
把参数原型提前说明

use strict;
use warnings;
use Data::Dumper;

sub g(\@);        # here

sub f()
{
my @arr = ();
g(@arr);
print Dumper(@arr);
}

sub ff()
{
my @arr = ();
g(\@arr);
print Dumper(@arr);
}

sub g(\@)
{
my $arr = shift;

push @{$arr}, 12;
}

sub gf()
{
my @arr = ();
g(@arr);
print Dumper(@arr);
}

sub gff()
{
my @arr = ();
g (\@arr); # 报错
print Dumper(@arr);
}

f(); #无输出
ff(); #输出12
gf(); #输出12
gff(); #编译错误

黑色阳光_cu

更奇怪的是用prototype("inner")检查原型

1. 
   
2. use strict;
   
3. use warnings;
   
4. 
   
5. # sub inner(\@);
   
6. 
   
7. sub outer()
   
8. {
   
9.         my $prototype = prototype("inner");
   
10.         if (defined $prototype)
    
11.         {
    
12.                 print "Subrounte inner's prototype is: $prototype\n";
    
13.         }
    
14. 
    
15.         inner();
    
16. }
    
17. 
    
18. sub inner(\@)
    
19. {
    
20.         ;
    
21. }
    
22. 
    
23. outer();
    

复制代码

明明可以检查到原型是\@了，但下面的inner()不工作，一定要把原型声明前置。结论就是prototype少用为妙

黑色阳光_cu

而且用&调用函数不会被检查原型~~~


http://www.perl.com/language/misc/fmproto.html#Prototype_Bugs

1. use strict;
   
2. use warnings;
   
3. 
   
4. BEGIN
   
5. {
   
6.         warn prototype("proc");
   
7. }
   
8. 
   
9. sub proc(\@)
   
10. {
    
11.         print "proc\n";
    
12. }
    

复制代码

1. 
   
2. use strict;
   
3. use warnings;
   
4. 
   
5. sub proc(\@)
   
6. {
   
7.         print "proc\n";
   
8. }
   
9. 
   
10. BEGIN
    
11. {
    
12.         warn prototype("proc");
    
13. }
    
14. 
    
15. 
    
16. 
    

复制代码

feiliang1983

回复 9# 黑色阳光_cu

看了一下，感觉perl的原型系统基本不靠谱。

如果是写一堆功能单一的小文件还可以保证声明放在文件头上；对于一个罗列了一堆小函数
而且需要经常添加新函数的大文件声明基本无效。开始的时候接口数目不多，所有函数堆在
一个文件了

再次感谢各位前辈