官方手册:http://perldoc.perl.org/perlobj.html
本系列:
第3篇依赖于第2篇,第2篇依赖于1篇。
Perl面向对象的三个准则
- 类就是包
- 对象就是一个数据结构的引用,是知道自己属于哪个类的引用
- 可以是数据结构引用(如hash结构、数组结构),也可以是子程序引用
- 方法就是子程序
最初代码
3种动物牛Cow、羊Sheep、马Horse发出的声音各不相同。在lib目录下创建三个各自的文件,分别定义它们的叫声子程序:
lib/Cow.pm中:
#!/usr/bin/env perl
use strict;
use warnings;
package Cow;
sub speak {
print "a Cow goes moooo!
";
}
1;
lib/Sheep.pm中:
#!/usr/bin/env perl
use strict;
use warnings;
package Sheep;
sub speak {
print "a Sheep goes baaaah!
";
}
1;
lib/Horse.pm中:
#!/usr/bin/env perl
use strict;
use warnings;
package Horse;
sub speak {
print "a Horse goes neigh!
";
}
1;
然后定义一个文件speak.pl,使用这3个模块,分别调用这3个子程序:
#!/usr/bin/env perl
use strict;
use warnings;
use lib "lib";
use Cow;
use Sheep;
use Horse;
Cow::speak();
Sheep::speak();
Horse::speak();
使用箭头的调用方法
上面使用包名的完全限定方式调用子程序(或访问其它属性),这其实是有一定限制的,比如无法直接使用包名作为变量:
foreach my $who (qw(Cow Horse Sheep)){
$who::speak(); # 这是错的
eval "$who"."::speak()"; # 这是正确的
}
上面通过eval的二次解析功能,先将变量$who
替换,然后再调用对应的方法。
但这种写法无比丑陋。可以使用另外一种访问其它包中的子程序(或其它属性):瘦箭头。
foreach my $who (qw(Cow Horse Sheep)){
$who->speak();
}
其实这是面向对象的调用方式。通过这种方式调用其它包的子程序,传递给子程序的第一个参数将总是对象名或类名。在Perl中,类就是包,所以,下面几个调用方式是等价的:
瘦箭头调用方式 完全限定包名调用方式
---------------------------------------------------
Cow->speak(args) == Cow::speak('Cow',args)
Sheep->speak(args) == Sheep::speak('Sheep',args)
Horse->speak(args) == Horse::speak('Horse',args)
因此,当使用瘦箭头调用子程序的方式时,如果这个子程序需要处理参数,必须要考虑隐含的第一个参数。所以,修改lib/{Cow,Sheep,Horse}.pm
中的speak()子程序:
lib/Cow.pm中:
#!/usr/bin/env perl
use strict;
use warnings;
package Cow;
sub speak {
my $class = shift; # 将第一个参数保存起来
print "a $class goes moooo!
"; # 插入第一个参数的变量
}
1;
lib/Sheep.pm中:
#!/usr/bin/env perl
use strict;
use warnings;
package Sheep;
sub speak {
my $class = shift; # 将第一个参数保存起来
print "a $class goes baaaah!
"; # 插入第一个参数的变量
}
1;
lib/Horse.pm中:
#!/usr/bin/env perl
use strict;
use warnings;
package Horse;
sub speak {
my $class = shift; # 将第一个参数保存起来
print "a $class goes neigh!
"; # 插入第一个参数的变量
}
1;
这样一来,将硬编码的Cow、Sheep和Horse使用共同的$class
进行替换,增加了speak()的可移植性和共性,从而为面向对象的代码复用带来便捷性。
初步理解类和对象
所谓的类,就像是一个模板;所谓对象,就像是通过模板生成的具体的事物。类一般具有比较大的共性,对象一般是具体的,带有自己的特性。
类与对象的关系,例如人类和人,鸟类和麻雀,交通工具和自行车。其中人类、鸟类、交通工具类都是一种类型称呼,它们中的任何一种都具有像模板一样的共性。例如人类的共性是能说话、有感情、双脚走路、能思考等等,而根据这个人类模板生成一个人,这个具体的人是人类的实例,是一个人类对象,每一个具体的人都有自己的说话方式、感情模式、性格、走路方式、思考能力等等。
类与类的关系。有的类的范畴太大,模板太抽象,它们可以稍微细化一点,例如人类可以划分为男性人类和女性人类,交通工具类可以划分为烧油的、电动的、脚踏的。一个大类按照不同的种类划分,可以得到不同标准的小类。无论如何划分,小类总是根据大类的模板生成的,具有大类的共性,又具有自己的个性。
在面向对象中,小类和大类之间的关系称之为继承,小类称之为子类,大类称之为父类。
类具有属性,属性一般包括两类:像名词一样的属性,像动词一样的行为。例如,人类有父母(parent),parent就是名词,人类能吃饭(eat),eat这种行为就是动词。鸟类能飞(fly),fly的行为就是动词,鸟类有翅膀(wing),wing就是名词。对于面向对象来说,名词就是变量,动词行为就是方法(也就是子程序)。
当子类继承了父类之后,父类有的属性,子类可以直接拥有。因为子类一般具有自己的个性,所以子类可以定义自己的属性,甚至修改从父类那里继承来的属性。例如,人类中定义的eat属性是一种非常抽象的、共性非常强的动词行为,如果女性人类继承人类,那么女性人类的eat()可以直接使用人类中的eat,也可以定义自己的eat(比如淑女地吃)覆盖从人类那里继承来的eat(没有形容词的吃),女性人类还可以定义人类中没有定义的跳舞(dance)行为,这是女性人类的特性。子类方法覆盖父类方法,称之为方法的重写(override),子类定义父类中没有的方法,称为方法的扩展(extend)。
无论是对象与类还是子类与父类,它们的关系都可以用一种"is a"来描述,例如"自行车 is a 交通工具"(对象与类的关系)、"笔记本 is a 计算机"(子类与父类的关系)。
辅助子程序让代码更具共性
为了构造更通用的speak,将它们的不同点抽取出来:动物名称、叫声。
动物名称这里和类名(包名)相同,前面已经替换成了共同的$class
,动物的叫声是随动物种类不同而不同的,无法直接实现它们的共性。但可以定义一个辅助性的同名子程序sound(),用来返回各种动物的叫声:
lib/Cow.pm中:
#!/usr/bin/env perl
use strict;
use warnings;
package Cow;
sub sound { "moooo"; }
sub speak {
my $class = shift;
print "a $class goes ",$class->sound(),"!
";
}
1;
lib/Sheep.pm中:
#!/usr/bin/env perl
use strict;
use warnings;
package Sheep;
sub sound { "baaaah"; }
sub speak {
my $class = shift;
print "a $class goes ",$class->sound(),"!
";
}
1;
lib/Horse.pm中:
#!/usr/bin/env perl
use strict;
use warnings;
package Horse;
sub sound { "neigh"; }
sub speak {
my $class = shift;
print "a $class goes ",$class->sound(),"!
";
}
1;
如此一来,lib/{Cow,Horse,Sheep}.pm
中的所有speak()子程序都完全相同。
继承
显然,将这3个类中的共同部分抽取出来放进一个通用的模块中进行复用更好。
例如,放进lib/Animal.pm模块文件中:
#!/usr/bin/env perl
use strict;
use warnings;
package Animal;
sub speak {
my $class = shift;
print "a $class goes ",$class->sound(),"!
";
}
sub sound {
die 'You have to define sound() in a subclass';
}
1;
为了让Cow、Horse、Sheep直接使用Animal中的speak()子程序,需要让Cow、Horse、Sheep去继承Animal。其中Animal类称为父类(base class/super class/parent class),Cow、Horse、Sheep称为子类(subclass/child class)。类在继承的同时会继承父类中的方法。在面向对象中,方法就是子程序。所以,子类Cow、Horse、Sheep可以直接使用父类Animal中的speak()方法。
于是修改lib/{Cow,Sheep,Horse}.pm
文件。
lib/Cow.pm中:
#!/usr/bin/env perl
use strict;
use warnings;
package Cow;
use Animal; # 先装载Animal
our @ISA=qw(Animal); # 继承Animal
sub sound {"moooo"}
1;
lib/Horse.pm中:
#!/usr/bin/env perl
use strict;
use warnings;
package Horse;
use Animal;
our @ISA=qw(Animal);
sub sound { "neigh" }
1;
lib/Sheep.pm中:
#!/usr/bin/env perl
use strict;
use warnings;
package Sheep;
use Animal;
our @ISA=qw(Animal);
sub sound { "baaaah" }
1;
上面的三个模块文件中,完全没有定义speak(),只是使用our @ISA=qw(Animal);
的方式声明了各自的类继承Animal类。但在speak.pl中可以直接调用speak()方法:
#!/usr/bin/env perl
use strict;
use warnings;
use lib "lib";
use Cow;
use Sheep;
use Horse;
foreach my $who (qw(Cow Horse Sheep)){
$who->speak();
}
上面父类Animal中,还定义了一个sound(),这是可选的,因为各个子类都定义了属于自己的sound()。但强烈建议在Animal中也定义好,因为在当前Animal类中的speak()方法中调用了该方法,且Animal所有子类都重写了sound(),它代表了一种共性。
换个角度,一般是从父类开始写程序的,sound()作为具有共性的方法,应该要先定义在父类中。那么子类中的sound()是重写父类sound()而来,所以父类的sound()可以非常抽象,甚至不提供任何功能,仅仅充当一个占位符。
在此实例中,Animal中的sound()也确实没有提供任何和叫声有关的功能,仅仅只是做了一层检测,当调用到了父类的sound()时,将报错。这表示子类没有定义属于自己的sound(),也就是没有重写父类的sound()。对于这种抽象的方法,每个子类都应该去重写,定义属于自己的特性。
关于@ISA
继承的方式有3种:
1.使用base模块:use base qw(Animal);
2.使用parent模块:use parent qw(Animal);
3.使用@ISA
数组:
use Animal;
our @ISA = qw(Animal);
它们之间并没有多大区别,但需要注意的是,@ISA
只是声明继承的一种方式,算是比较古老的写法,parent模块是在perl v5.10.1才引入的功能,大概是2000年左右,因此如果是此版本之前的perl,需要使用base模块,或者安装parent模块。
base和parent模块的本质还是@ISA
。@ISA
表示的是is a
的关系,这是典型的对象与类、子类与父类的关系解释。
当调用一个方法时,如果在自己的类中找不到,将从@ISA
数组中定义的父类中寻找,能找到则直接调用,不能找到则报错。例如上面三个子类都没有定义speak(),当在speak.pl文件中调用这3个模块中的speak()时,perl将首先搜索各类(或包)中的speak,因为找不到,所以找父类Animal的speak(),能找到,所以成功调用。
重写父类方法
子类要实现自己独有的特性,除了定义父类中没有的属性之外,还可以重写从父类继承的方法。例如Cow、Horse、Sheep中的sound()就重写了父类Animal的sound()。
虽然理论上父类中的speak()可以重写,但很可能是没有必要重写甚至不应该重写的,因为重写可能会带来破坏,使得能使用父类的地方不能使用子类(参考"里氏替换原则")。
另外,强烈建议尽量扩展父类的行为,而不是修改父类的行为。
例如,新添加一个老鼠子类,它的speak()除了叫一声外,还多叫一声。lib/Mouse.pm文件内容如下:
#!/usr/bin/env perl
use strict;
use warnings;
package Mouse;
use Animal;
our @ISA =qw(Animal);
sub sound { "jiji" }
sub speak {
my $class = shift;
print "a $class goes ", $class->sound(), "!
";
print "jiji
";
}
1;
现在,在speak.pl中调用Mouse的speak()。
use Mouse;
Mouse->speak();
上面执行并没有问题。但问题出现了,如果Animal中的goes单词修改成了says,那么Mouse中的goes也得改成says。这种方式并不合理,所以,必须得保证子类的speak()和父类的speak()能保持以执行,而不能在子类种对任何共性的部分进行硬编码。
所以,将Mouse的speak()的第一个print,改为调用Animal中的speak()。
#!/usr/bin/env perl
use strict;
use warnings;
package Mouse;
use Animal;
our @ISA =qw(Animal);
sub sound { "jiji" }
sub speak {
my $class = shift;
Animal::speak($class);
print "jiji
";
}
1;
上面通过完全限定的包名进行speak()的调用,注意传递了一个参数$class
给speak(),因为父类Animal中的speak()要求一个参数。
但是问题又再次出现,假如Animal继承自Dot::Animal
,而Animal自身没有speak(),上面的写法就会出错。稍微好一点的写法是使用面向对象的调用方式:
sub speak {
my $class = shift;
$class->Animal::speak();
print "jiji
";
}
虽然看上去很丑,但确实是可以正常工作的,它明确指定从Animal类中搜索。但Animal::
是被硬编码到代码中的,像硬编码的行为能避免则避免。
访问父类方法(SUPER)
将上面的代码再改一改:
sub speak {
my $class = shift;
$class->SUPER::speak();
print "jiji
";
}
这样就解决了硬编码的问题。SUPER::
表示从@ISA
父类列表中搜索。