Perl Moose Inheritance Constructor Destructor

fender0107401

有个问题，我有点想不清楚。

那就是在 Perl 里面，我使用 Moose 的时候 derived_class 的 constructor 和 base_class constructor 之间的关系问题。

显然，在Perl这种高级语言里面，没有必要讨论copy constructor，所以此处不考虑copy constructor。

示例代码：
base_class.pm

1. 
   
2. package base_class;
   
3. 
   
4. use v5.14;
   
5. 
   
6. use Moose;
   
7. 
   
8. has 'foo' => (isa => 'Str', is => 'rw');
   
9. 
   
10. sub BUILD
    
11. {
    
12.     my $this = shift @_;
    
13. 
    
14.     $this->generate_foo;
    
15. }
    
16. 
    
17. sub DEMOLISH
    
18. {
    
19.     # Nothing.
    
20. }
    
21. 
    
22. no Moose;
    
23. 
    
24. 1;
    
25. 
    

复制代码

derived_class.pm

1. package derived_class;
   
2. 
   
3. use v5.14;
   
4. 
   
5. use Moose;
   
6. 
   
7. extends 'base_class';
   
8. 
   
9. sub BUILD
   
10. {
    
11.     # Nothing.
    
12. }
    
13. 
    
14. sub DEMOLISH
    
15. {
    
16.     # Nothing.
    
17. }
    
18. 
    
19. sub generate_foo
    
20. {
    
21.     my $this = shift @_;
    
22.     my $foo  = 'Hi, I am foo.';
    
23. 
    
24.     $this->foo($foo);
    
25.     return $this;
    
26. }
    
27. 
    
28. sub show_foo
    
29. {
    
30.     my $this = shift @_;
    
31. 
    
32.     print $this->foo;
    
33.     print "\n";
    
34. }
    
35. 
    
36. no Moose;
    
37. 
    
38. 1;

复制代码

main.pl

1. #! /usr/bin/perl
   
2. 
   
3. use v5.14;
   
4. 
   
5. use derived_class;
   
6. 
   
7. my $derived_ob = derived_class->new;
   
8. 
   
9. $derived_ob->show_foo;
   

复制代码

run result

1. ./main.pl
   
2. Hi, I am foo.

复制代码

• 我确定的东西：
  
  
  • derived_class的对象，在创建的时候，是会调用base_class里面定义的BUILD函数的。
  • derived_class的对象，在销毁的时候，是会调用base_class里面定义的DEMOLISH函数的。
    
  
  
• 我发现的问题：
  
  在上面的示例代码里面，bass的BUILD函数会调用generate_foo来设定foo的初始值，但是generate_foo这个函数是定义在derived_class里面的。由于derived_class的对象在调用自己的BUILD的时候会调用到base_class的BUILD，而base_class的BUILD会调用到generate_foo，所以foo的值被设定了。
  
  换句话说，base_class的BUILD是可以调用到derived_class里面的generate_foo函数的。我感觉很疑惑，毕竟generate_foo是定义在derived_class里面的。
  

fender0107401

似乎用role来实现更加好一点。

fender0107401

C++里面的继承都是先调用父类的constructor，然后在调用子类的constructor。

zhlong8

回复 2# fender0107401


    创建对象只在 bless 那一步就完成了，又不是强类型语言调用方法都是在运行时查找的，当然可以调用子类的方法。另一方面如果你另一个子类没实现这个 generate_foo 在运行时会报方法不存在的错误（如果没定义 sub AUTOLOAD 的话）

zhlong8

你心中正统的 OO 是不是要在 base_class 里面定义个 sub generate_foo { die "not implemented" }

fender0107401

回复 4# zhlong8

我也说不好怎么回事，总觉得有点问题，有想不明白。

貌似Perl的继承是这样的：首先，子类继承所有父类的东西；然后，运行一下父类的BUILD；然后，再运行一下子类自己的BUILD。  

C++里面的class必须是定义完整的，不能调用不存在的method。

但是Perl完全不是，Perl允许一个class里面调用不存在的method。这时，只要不运行那部分代码，就不报错；或者，有一个class继承了这个class并且实现了那个不存在的method，然后instanciate子类的时候，也可以运行。

我这几天思考了不少类似的问题。

“解释型语言”和“编译型语言”的差别还是很大的。

我感觉“解释型语言”都是遇到问题时才报错，可能是因为性能的原因。

但是编译型语言在编译阶段，编译器就可以检查所有代码，如果在C++里面有一个class调用了一个没有被定义的method，那么就会是一个编译错误。

fender0107401

回复 5# zhlong8

话说，这招我还真想过。


   

zhlong8

主要原因还是不知道对象的类型，一方面 C++ 中编译器可以知道一个类所有的方法，对象的类型通过声明或推断也可以知道，自然可以在编译期检测。而且有能力把方法调用改写成函数调用，提高性能

zhlong8

JVM 的模型跟 Perl 应该是一样的，要不它上面也没法建 Jython Jruby 这些，只不过 Java 给对象套上了个类型系统就显得很高级很严谨了