PHP契约式编程

先复习一下面向对象编程中的两个重要元素：抽象类和接口

抽象类

当类中有一个方法为抽象方法，该类就应该定义为抽象类
继承一个抽象类，应该实现其所有抽象方法

例：

<?php
abstract class car{
     protected $name;
     protected $speed;
    
     public function __construct($name, $speed){
          $this->name=$name;
          $this->speed=$speed;
     }
    
     abstract function run();
    
     public function __get($k){
          if(in_array($k, array('name'))){
               //如果访问的属性是不允许的，抛出error级别错误
               trigger_error ( "禁止访问私有成员 : ".$k , E_USER_ERROR  ) ;
               return ;
          }
         
          return $this->$k;
     }
}

接口

接口定义了一系列必要的操作，实现接口的类必须实现接口的方法

例：

people.interface.php
<?php
interface people{
    
     //定义say方法，时所有派生类必须实现
     public function say();
    
}


work.class.php
<?php
include 'people.interface.php';
class worker implements people{

     private $name;
     private $age;
    
     public function __construct($name, $age){
          $this->name=$name;
          $this->age=$age;
     }
    
     //实现接口定义方法
     public function say(){
          echo $this->name.', age is '.$age.' <br />';
     }
    
     public function __get($k){
          if($k=='name'){
               //如果访问的属性是不允许的，抛出error级别错误
               trigger_error ( "禁止访问私有成员 : ".$k , E_USER_ERROR  ) ;
               return;
          }
          return $this->$k;
     }
}

契约式编程

使用抽象类和接口实现契约式编程，这样编程可以使结构更清晰，扩展性高；
特别适用于团队开发项目框架编写， 比如可以通过定义一个数据库操作模型module，使所有需要操作数据库的module派生类都必须实现模型中的方法，这样就实现了数据层与控制层的分离，编写控制层只需要有数据层的文档即可知道基本操作；

如何使用抽象类？
抽象类定义基本方法，而具体的功能实现交给具体实现的类，当需要更换操作是，只需要重写抽象类中的基本方法

如何使用接口？
接口是用来约束一个类型，实现面向对象编程的多态性，我们定义了一个类型，而这个类型回派生很多类型，但是这些类型都需要有基类型的这些操作

例：

image.class.php
<?php
//定义一个图像接口
interface image{
    
     //创建图像
     public function getImage();
}


baseImage.class.php
<?php
include_once 'fileNotFoundException.class.php';
include_once 'image.class.php';

abstract class baseImage implements image{
     protected $path; //图片路径
     protected $info; //信息数组
    
     public function __construct($path){
          $this->path=$path;
         
          if(!file_exists($this->path)){
               throw new fileNotFoundException("文件 ".$path." 不存在" );
          }
     }
    
     //生成信息
     protected function createInfo(){
          $this->info['size']= filesize ( $this->path );
          $this->info['type']= filetype ( $this->path );
     }
    
     public function __get($k){
          if($k=='info'){
               $this->createInfo();
          }
         
          return $this->$k;
     }
    
}


jpgImage.class.php
<?php
include_once 'image.class.php';
include_once 'baseImage.class.php';

class jpgImage extends baseImage implements image{
    
    
     public function getImage(){
          echo '创建一个 jpg 类型的图片';
     }
}