PHP 面向对象程序设计（oop）学习笔记(一) - 抽象类、对象接口、instanceof 和契约式编程
投稿：hebedich
1、PHP中的抽象类
PHP 5 支持抽象类和抽象方法。定义为抽象的类不能被实例化。任何一个类，如果它里面至少有一个方法是被声明为抽象的，那么这个类就必须被声明为抽象的。被定义为抽象的方法只是声明了其调用方式（参数），不能定义其具体的功能实现。在类的声明中使用 abstract 修饰符可以将某个类声明为抽象的。
可以这样理解，抽象类作为一个基类，它把特定的细节留给继承者来实现。通过抽象概念，可以在开发项目中创建扩展性很好的架构。
abstract class AbstractClass
{
code...
}
1.1、抽象方法
使用 abstract 关键字定义抽象方法。抽象方法只保留方法原型(方法的定义中剔除了方法体之后的签名），它包括存取级别、函数关键字、函数名称和参数。他不包含（{}）或者括号内部的任何代码。例如下面的代码就是一个抽象方法定义：
abstract public function prototypeName($protoParam);
继承一个抽象类的时候，子类必须定义父类中的所有抽象方法；另外，这些方法的访问控制必须和父类中一样（或者更为宽松）。此外方法的调用方式必须匹配，即类型和所需参数数量必须一致。
1.2、关于抽象类
某个类只要包含至少一个抽象方法就必须声明为抽象类
声明为抽象的方法，在实现的时候必须包含相同的或者更低的访问级别。
不能使用 new 关键字创建抽象类的实例。
被声明为抽象的方法不能包含函数体。
如果将扩展的类也声明为抽象类，在扩展抽象类时，可以不用实现所有的抽象方法。（如果某个类从抽象类继承，当它没有实现基类中所声明的所有抽象方法时，它就必须也被声明为抽象的。）
1.3、使用抽象类
<?php
abstract class Car
{
abstract function getMaxSpeend();
}
class Roadster extends Car
{
public $Speend;
public function SetSpeend($speend = 0)
{
$this->Speend = $speend;
}
public function getMaxSpeend()
{
return $this->Speend;
}
}
class Street
{
public $Cars ;
public $SpeendLimit ;
function __construct( $speendLimit = 200)
{
$this -> SpeendLimit = $speendLimit;
$this -> Cars = array();
}
protected function IsStreetLegal($car)
{
if ($car->getMaxSpeend() < $this -> SpeendLimit)
{
return true;
}
else
{
return false;
}
}
public function AddCar($car)
{
if($this->IsStreetLegal($car))
{
echo 'The Car was allowed on the road.';
$this->Cars[] = $car;
}
else
{
echo 'The Car is too fast and was not allowed on the road.';
}
}
}
$Porsche911 = new Roadster();
$Porsche911->SetSpeend(340);
$FuWaiStreet = new Street(80);
$FuWaiStreet->AddCar($Porsche911);
/**
*
* @result
*
* The Car is too fast and was not allowed on the road.[Finished in 0.1s]
*
*/
?>
2.对象接口
使用接口（interface），可以指定某个类必须实现哪些方法，但不需要定义这些方法的具体内容。
接口是通过 interface 关键字来定义的，就像定义一个标准的类一样，但其中定义所有的方法都是空的。
接口中定义的所有方法都必须是公有，这是接口的特性。
接口是一种类似于类的结构，可用于声明实现类所必须声明的方法。例如，接口通常用来声明API,而不用定义如何实现这个API。
大多数开发人员选择在接口名称前加上大写字母I作为前缀，以便在代码和生成的文档中将其与类区别开来。
2.1接口实现（implements）
要实现一个接口，使用 implements 操作符（继承抽象类需要使用 extends 关键字不同），类中必须实现接口中定义的所有方法，否则会报一个致命错误。类可以实现多个接口，用逗号来分隔多个接口的名称。
实现多个接口时，接口中的方法不能有重名。
接口也可以继承，通过使用 extends 操作符。
类要实现接口，必须使用和接口中所定义的方法完全一致的方式。否则会导致致命错误。
接口中也可以定义常量。接口常量和类常量的使用完全相同，但是不能被子类或子接口所覆盖。
2.2使用接口的案例
<?php
abstract class Car
{
abstract function SetSpeend($speend = 0);
}
interface ISpeendInfo
{
function GetMaxSpeend();
}
class Roadster extends Car implements ISpeendInfo
{
public $Speend;
public function SetSpeend($speend = 0)
{
$this->Speend = $speend;
}
public function getMaxSpeend()
{
return $this->Speend;
}
}
class Street
{
public $Cars ;
public $SpeendLimit ;
function __construct( $speendLimit = 200)
{
$this -> SpeendLimit = $speendLimit;
$this -> Cars = array();
}
protected function IsStreetLegal($car)
{
if ($car->getMaxSpeend() < $this -> SpeendLimit)
{
return true;
}
else
{
return false;
}
}
public function AddCar($car)
{
if($this->IsStreetLegal($car))
{
echo 'The Car was allowed on the road.';
$this->Cars[] = $car;
}
else
{
echo 'The Car is too fast and was not allowed on the road.';
}
}
}
$Porsche911 = new Roadster();
$Porsche911->SetSpeend(340);
$FuWaiStreet = new Street(80);
$FuWaiStreet->AddCar($Porsche911);
/**
*
* @result
*
* The Car is too fast and was not allowed on the road.[Finished in 0.1s]
*
*/
?>
3、类型运算符 instanceof
instanceof 运算符是 PHP5 中的一个比较操作符。他接受左右两边的参数，并返回一个boolean值。
确定一个 PHP 变量是否属于某个一类 CLASS 的实例
检查对象是不是从某个类型继承
检查对象是否属于某个类的实例
确定一个变量是不是实现了某个接口的对象的实例
echo $Porsche911 instanceof Car;
//result：1
echo $Porsche911 instanceof ISpeendInfo;
//result：1
4.契约式编程
契约式设计或者Design by Contract (DbC)是一种设计计算机软件的方法。这种方法要求软件设计者为软件组件定义正式的，精确的并且可验证的接口，这样，为传统的抽象数据类型又增加了先验条件、后验条件和不变式。这种方法的名字里用到的“契约”或者说“契约”是一种比喻，因为它和商业契约的情况有点类似。
在编写类之前实现声明接口的一种编程实践。这种方法在保证类的封装性方面非常有用。使用契约式编程技术，我们可以在创建应用程序之前定义出视图实现的功能，这和建筑师在修建大楼之前先画好蓝图的做法非常相似。
5.总结
抽象类是使用 abstract 关键字声明的类。通过将某个类标记为抽象类，我们可以推迟实现所声明的方法。要将某个方法声明为抽象方法，只要去掉包含所有大括号的方法实体，将方法声明的代码行用分号结束即可。
抽象类不能直接实例化，他们必须被继承。
如果某个类从抽象类继承，当它没有实现基类中所声明的所有抽象方法时，它就必须也被声明为抽象的。
在接口中，我们可以声明没有方法体的方法原型，这点与抽象类很相似。他们之间的区别在于，接口不能声明任何具有方法体的方法；并且他们使用的语法也不一样。为了将揭开规则强制加到某个类上，我们需要使用implements关键字，而不是extends关键字。
有些情况下我们需要确定某个类是否是特定类的类型，或者是否实现了特定的接口。 instanceof 分成适合完成这个任务。instanceof 检查三件事情：实例是否是某个特定的类型，实例是否从某个特定的类型继承，实例或者他的任何祖先类是否实现类特定的接口。
某些语言具有从多个类继承的能力，这称为多重继承。PHP不支持多重继承。想法，他提供了为一个类声明多个接口的功能。
接口在声明类必须遵循的规则时非常有用。契约式编程技术使用这一功能来增强封装性，优化工作流。