骏马金龙 (新博客:www.junmajinlong.com)

网名骏马金龙,钟情于IT世界里的各种原理和实现机制,强迫症重症患者。爱研究、爱翻译、爱分享。特借此一亩三分田记录自己成长点滴!!!

Perl面向对象(1):从代码复用开始

官方手册:http://perldoc.perl.org/perlobj.html

本系列:

第3篇依赖于第2篇,第2篇依赖于1篇。


Perl面向对象的三个准则

  1. 类就是包
  2. 对象就是一个数据结构的引用,是知道自己属于哪个类的引用
    • 可以是数据结构引用(如hash结构、数组结构),也可以是子程序引用
  3. 方法就是子程序

最初代码

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!\n";
}
1;

lib/Sheep.pm中:

#!/usr/bin/env perl
use strict;
use warnings;
package Sheep;

sub speak {
    print "a Sheep goes baaaah!\n";
}
1;

lib/Horse.pm中:

#!/usr/bin/env perl
use strict;
use warnings;
package Horse;

sub speak {
    print "a Horse goes neigh!\n";
}
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!\n";  # 插入第一个参数的变量
}
1;

lib/Sheep.pm中:

#!/usr/bin/env perl
use strict;
use warnings;
package Sheep;

sub speak {
    my $class = shift;  # 将第一个参数保存起来
    print "a $class goes baaaah!\n";  # 插入第一个参数的变量
}
1;

lib/Horse.pm中:

#!/usr/bin/env perl
use strict;
use warnings;
package Horse;

sub speak {
    my $class = shift;  # 将第一个参数保存起来
    print "a $class goes neigh!\n";  # 插入第一个参数的变量
}
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(),"!\n";
}

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(),"!\n";
}

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(),"!\n";
}

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(),"!\n";
}

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(), "!\n";
    print "jiji\n";
}
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\n";
}
1;

上面通过完全限定的包名进行speak()的调用,注意传递了一个参数$class给speak(),因为父类Animal中的speak()要求一个参数。

但是问题又再次出现,假如Animal继承自Dot::Animal,而Animal自身没有speak(),上面的写法就会出错。稍微好一点的写法是使用面向对象的调用方式:

sub speak {
    my $class = shift;
    $class->Animal::speak();
    print "jiji\n";
}

虽然看上去很丑,但确实是可以正常工作的,它明确指定从Animal类中搜索。但Animal::是被硬编码到代码中的,像硬编码的行为能避免则避免。

访问父类方法(SUPER)

将上面的代码再改一改:

sub speak {
    my $class = shift;
    $class->SUPER::speak();
    print "jiji\n";
}

这样就解决了硬编码的问题。SUPER::表示从@ISA父类列表中搜索。

posted @ 2018-10-16 16:21  骏马金龙  阅读(1401)  评论(0编辑  收藏  举报