Effective C++ 34

标签：c++

34.将文件间的编译依赖性降到最低。

对于一个大型程序，其结构是错综复杂的，当你对一个类进行一些改动时，修改的不是接口，而是类的实现，即只是一些细节部分，但重新生成程序时，所有用到这个类的的文件都要重新编译。这里题目指的是这个意思。但实际上，我在vs2012实践了一下，对于类B与类A相关联，类B的实现依赖于类A，若类A的实现发生了改变，并不会影响B，即生成时，编译器只会去重新编译A，而对于依赖于A的用户程序，并不会像其所说那样全部重新编译。好吧，我这里总算是明白其所说的修改其实现的意思了。

修改类的实现： 类的接口只是类中提供给外部的函数， 而类的实现是指类实现接口函数所需要的内部逻辑和数据结构，如一些私有的函数，以及一些私有的成员数据。修改这些类实现的，对于实现函数的修改就必须修改函数的声明，而数据成员的修改就是数据成员的类型以及数量的修改。当进行这些修改时，就必定会导致调用这个类的用户程序都要重新编译。

一般的解决方法是将实现与接口分开，即对于本来使用的一个类，将其转换为两个类，一个类为接口类，供用户程序调用，一个类为实现类，有具体的实现逻辑以及实现所需的数据成员，且接口类能够指向对应的实现类，对于实现逻辑的更改不会影响用户程序，因为用户程序只与接口类连接，而隐藏了实现逻辑修改造成的影响，只有当接口改变时，才需要重新编译。分离的关键是，对类定义的依赖 被 对类声明的依赖取代，降低编译依赖性，将 提供类定义 即#include 指令 的任务由原来的函数声明头文件转交给包含函数调用的用户文件。

即不在头文件中包含其他头文件，除非缺少它们就不能编译，而一个一个地声明所需要的类，让使用这个头文件的用户自己通过include去包含这些头文件，以使用户代码通过编译。

实现这种接口与实现分离，在c++中一般有两种方法，一种是 将一个对象的实现隐藏在指针的背后，即用一个指针指向某个不确定的实现。这样的类称为句柄类或信封类。而指向的实现类称为 主体类或者信件类。句柄类，即接口只是将所有函数调用转移到对应的主体类中，有主题类也就是实现类来真正完成工作。接口中要将原来的实现需要的数据成员转换为函数，而去调用实现类中的数据成员 来实现功能,即接口中使用函数来实现对实现类中的数据成员实现传递和返回。

假如简单实现两个类，A ,B,C，A中放一个int，b中放一个doubel，C中放两者之和，写出代码如下：

classA.h:

#pragma once
class ClassA{
public:
public:
	int a;
	ClassA(int x){a = x;}
	ClassA(){a = 0;}
	int getA() const{return a;};
};

class ClassB{
public:
	double b;
	double getB() const{return b;}
	ClassB(double x){b = x;}
	ClassB(){b = 0;}
};

//这个头文件就是所谓的接口，如此将接口与实现分离后，只有修改接口时，才会导致使用该接口的用户程序重新编译
class ClassA;//只声明，在接口中只要知道有这些类，而在实现中才去include这些头文件
class ClassB;
class ClassCImpl;

class ClassC{
public:
	ClassC(const ClassA& xa,const ClassB& xb);
	virtual ~ClassC();
	int getA() const;//函数来返回实现类中的数据成员
	double getB() const;
	double getC() const;
private:
	ClassCImpl *impl;//使用指针来指向实现类
	//int aaa;//在接口中任意进行修改，就要重新编译其与其用户程序
};

//这里也是对于接口的实现，修改这里的数据，不会导致其他程序的重新编译
#include "ClassC.h"//这是接口ClassC的函数具体实现
#include "ClassCImpl.h"//要包含实现类的定义，且实现类中与ClassC中有一样的成员函数

ClassC::ClassC(const ClassA& xa,const ClassB& xb){
	impl = new ClassCImpl(xa,xb);		
}
ClassC::~ClassC(){
	delete impl;
}
int ClassC::getA() const{
	return impl->getA();		
}
double  ClassC::getB() const{
	return impl->getB();		
}
double  ClassC::getC() const{
	return impl->getC();		
}

#include "ClassA.h"
#include "ClassB.h"

class ClassCImpl{
public:
	ClassCImpl(const ClassA& xa,const ClassB& xb);
	int getA() const;//函数实现接口中函数
	double getB() const;
	double getC() const;
private:
	ClassA A;
	ClassB B;
	ClassB C;
};

#include "ClassCImpl.h"//要包含实现类的定义，且实现类中与ClassC中有一样的成员函数

ClassCImpl::ClassCImpl(const ClassA& xa,const ClassB& xb){
	A = xa;
	B = xb;
	C = (B.getB() + A.getA());
}
int ClassCImpl::getA() const{

	return A.getA();		
}
double  ClassCImpl::getB() const{
	return B.getB();		
}
double  ClassCImpl::getC() const{
	return C.getB();		
}

ClassD.h：

//这个为协议类
class ClassA;//只声明，在接口中只要知道有这些类，而在实现中才去include这些头文件
class ClassB;

class ClassD{
public:
	virtual ~ClassD(){}
	virtual int getA() const = 0;//函数来返回实现类中的数据成员
	virtual double getB() const = 0;
	virtual double getD() const = 0;
	static ClassD* makeClassD(const ClassA& xa,const ClassB& xb);//这里使用静态成员来返回
};

#include "ClassA.h"
#include "ClassB.h"
#include "ClassD.h"

class RealClassD:public ClassD{
public:
	RealClassD(const ClassA& xa,const ClassB& xb):A(xa),B(xb),D(B.getB() + A.getA()){}
	virtual ~RealClassD(){}
	 int getA() const;
	 double getB() const ;
	 double getD() const;

private:
	ClassA A;
	ClassB B;
	ClassB D;
};

#include "RealClassD.h"


int RealClassD::getA() const{
	return A.getA();
}
double RealClassD::getB() const{
	return B.getB();
};
double RealClassD::getD() const{
	return D.getB();	
}
ClassD* ClassD::makeClassD(const ClassA& xa,const ClassB& xb){
	return new RealClassD(xa,xb);
}

	ClassD* dd = ClassD::makeClassD(a,b);
	cout<<dd->getD()<<endl;

句柄类和协议类分离了接口与实现，从而降低了文件间的依赖性，当一定程度上有时间和空间上的消耗。对于一个程序转变为产品时，要用具体的类来取代句柄类和协议类。

Effective C++ 34

标签：c++

原文地址：http://blog.csdn.net/luo_xianming/article/details/39899487