接口与实现分离

也许,你听过设计模式里的箴言,要针对接口编程,而不应该针对细节(具体)编程;或者你还听过,要减少代码间的依赖关系;甚至你还知道,修改一个模块时,要保证重新编译的文件依赖要最小化,而重新编译的时间最短化。当你问,How to?大神就会祭出嗯,你应该将接口与实现分离的经文。

我们在使用面向对象语言编程时,或者更宽泛些 ,设计一个好的接口时,经常会把 接口与实现分离这句话挂在嘴边。只是,真正弄明白这句话的含义怕是比听到这句话晚好几年。因为没有足够的项目经验和知识积累,你很难对这句话有真实的体会。

什么是接口

这个问题有些千人千面,如果你听过万物皆是对象,那么我可以告诉你,万物皆接口,嗯,有点拾人牙慧的意思,在计算机的世界里,你(coder)写的任何一个字符都是接口,它连接着计算机和现实世界;当然,太抽象了,等于没说。我们往大点说,接口就是一组代码和另一组代码的桥梁。再往大点说,接口是一个程序对另一个程序的连接点;继续大点说,接口是一个程序员和另一个程序员沟通的工具。再往大点说,接口就是,嗯,停下来好了。

定义一个好的接口是非常重要的,如果你的接口对象是计算机,你需要写出计算机能识别和良好构建(至少是编译器级别的)的代码;如果你的接口是另一组代码,那你需要做到良好的定义,接口可以是一个函数,一组api,一个类等;如果你的接口对象是程序员,那除了易读的代码本身外,你可能还需要一些说明文档。

本文把接口局限在代码层面,类或者函数层面。

什么是实现

限定了接口的范围,我们说说实现,实现从本质上说就是把承若的类或者函数给coding done了。作为程序员,我们大部分工作都是在实现。

接口和实现分离:

1.为何分离

然我们看一段代码:
假如我们需要实现一个学生类 ,它有学号、出生日期、寝室号等信息。生日日期我们使用Date类,寝室号我们使用DormNum类。

class Student
{
public:
	Student(const Date& birthDate,const DormNum& bedroomNum,const std::string& name);
	std::string birthDate() const;
	std::string bedroomNum() const;
	std::string name() const;
private:
	Date birthDate_;
	DormNum bedroomIn_;
	std::string name_;
};

为了让这个类能通过编译,我们需要将使用到的类的定义通过include包含进来,就像这样:

#include <string> //包含类string
#include "date.h"//包含类Date
#include "dormNum.h"//包含类DormNum

这样看来,一切都很完美,可是,一旦Date或者DormNum类发生了改变,整个Student类以及调用这个类的相关部分全部需要重新编译,这真不是个好事情,毕竟时间宝贵啊。

因此,我们需要将编译依赖降低,使用接口和实现分离的方式来缩减需要重新编译的代码。

2.如何分离

这个问题其实很大,我这里只能给些思路和建议:

首先,我们主要是担心Date类和DormNum类所在的文件发生改变,那么我们就把这两个类单独拿出来好了。像现在这样:

#include <string>
class Date;
class DormNum;
class Student
{
public:
	Student(const Date& birthDate,const DormNum& bedroomNum,const std::string& name);
	std::string birthDate() const;
	std::string bedroomNum() const;
	std::string name() const;
private:
	Date birthDate_;
	DormNum bedroomIn_;
	std::string name_;

也就是说,将使用的依赖类进行前置声明,避免编译时无法找到对应类的错误,而不用 Student类定义的文件中包含Date和DormNum的头文件。在C++中,前置声明一个类,然后使用这个类类型声明其他数据是可以的,只是,这样做还不够,因为当我们需要调用这个类的某个成员函数,到底还是需要类的成员函数的定义。因此,我们可以准备两个头文件,一个用于安放类的前置声明,比如studentFwd.h ;另一个则是具体的类的定义,就像最开始的date.h,dormNum.h之类的头文件。
比如放前置声明的studentFwd.h

class Date;
class DormNum;

接着,我们开始把实现剥离出来

1.使用implement

接口定义好了,我们开始实现一个StudentImpl类,所有的Student类的具体工作都将在这个类中完成,

class StudentImpl
{
public:
	StudentImpl(const Date& birthDate,const DormNum& bedroomNum,const std::string& name);
	std::string birthDate() const;
	std::string bedroomNum() const;
	std::string name() const;
private:
	Date birthDate_;
	DormNum bedroomIn_;
	std::string name_;
};

事实上StudetImpl拥有和原Student类完全一样的结构,修改改变的是Student类:

class Date;
class DormNum;

class Student
{
public:
	Student(const Date& birthDate,const DormNum& bedroomNum,const std::string& name)
	:spStuImp(new StudentImpl(birthDate,bedroomNum,name));
	std::string birthDate() const{
		return spStuImp->birthDate();
	}
	std::string bedroomNum() const{
		return spStuImp->bedroomNum();
	}
	std::string name() const{
		return spStuImp->name();
	}
private:
	shared_ptr<StudentImpl> spStuImp;
};

作为接口类Student,将它的具体执行全部调用StudentImpl类去完成,自己则保持对外稳定的接口形式,这是接口与实现分离的雏形。回到编译上,当外界依赖的类改变后,Student类不需要重新编译,唯一需要做的是StudentImpl的重新编译。

2.使用abstract class

不过,我们还可以使用真正意义上的接口类来完成这个目标,在java中有明确的interface声明,尽管C++中并没有该关键字,但是可以在形式上与之保持一致。

class Student
{
public:
	virtual std::string birthDate() const = 0;
	virtual std::string bedroomNum() const = 0;
	virtual std::string name() const = 0;
	virtual ~Student();
};

现在的Student被定义为纯虚类,我们使用一个具体的类来继承它,并在此类中实现具体的接口操作

class RealStudent:public Student
{
public:
	RealStudent(const Date& birthDate,const DormNum& bedroomNum,
                const std::string& name)
				:birthDate_(birthDate),bedroomIn_(bedroomNum),name_(name)
				{}
	virtual ~RealStudent();
	virtual std::string birthDate() const ;
	virtual std::string bedroomNum() const ;
	virtual std::string name() const ;
private:
    Date birthDate_;
    DormNum bedroomIn_;
    std::string name_;	
};

接口使用的时候,我们可以使用Student指针指向具体的子类对象,比如

Student *reStudent = new RealStudent; 

或者更为合理的智能指针:

shared_ptr<Student> Student::create(const Date& birthDate,
                    const DormNum& bedroomNum,const std::string& name){
    return shared_prt<Student>(new RealStudent(birthDate,bedroomNum,name));
}

enn,现在已经有点工厂模式的味道了。

接口与实现分离是整个设计模式大厦的最初目标,随着软件技术的不断发展,该理论的局限性也在缩小,该思路配合软件设计的分层理论,构建了现代软件开发的基石。

posted @ 2018-12-10 21:30  Lckfa  阅读(3042)  评论(0编辑  收藏  举报