什么是契约？
契约就是所谓的面向接口编程。
我们拿之前的例子说如果不使用接口会有什么问题？
// 定义写日志的接口规范
interface Log
{
public function write();
}
// 文件记录日志
class FileLog implements Log
{
public 
