这是我在阅读Effective c++中认为比较重要的部分,下面给出了我对这一节的理解,并写出对应的比较容易理解的代码。
考虑如下程序, B.h的任何改变都会重新编译源文件,目的是解除接口和实现的耦合关系,有2种方法: Handle classes和Interface classes.
第一种方法类似模拟java中的一种机制,不需要class的定义式就可以声明一个对象,本质上在java中声明的是一个指针。
而在c++中,必须先有定义式才可以声明一个对象。
B.h :
class B {
public:
int i = 12;
};
源文件:
#include "B.h"
using namespace std;
class A{
public:
B b;
};
int main() {
A a;
cout << a.b.i;
}
对象b的声明必须要现有B的定义式出现。
handle class里含有一个指针成员,一般是智能指针,指向其实现类,实现类包含数据。
handle class 的核心是以声明的依存性,替换定义的依存性。
上述问题的解决方法代码:
BB.h:
class B {
public:
int i = 2;
};
handle class类文件 A.h:
#include<memory>
using namespace std;
class B;
class BImpl;
class A {
public:
A();
A(const B&b);
int BB()const;
private:
shared_ptr<BImpl>mpl;
};
实现类头文件:BImpl.h
#include "BB.h"
class BImpl {
public:
BImpl(const B&b);
BImpl();
int BB()const;
B bb;
};
实现类源文件:BImpl.cpp
#include "BImpl.h"
BImpl::BImpl(const B&b) {
bb.i = b.i;
}
int BImpl::BB()const {
return bb.i;
}
BImpl::BImpl() {
bb.i = 10;
}
主源文件:
#include "A.h"
#include "BImpl.h"
A::A(const B&b):mpl(new BImpl(b)) { }
int A::BB()const {
return mpl->BB();
}
A::A():mpl(new BImpl){}
int main() {
A a;
cout << a.BB();
}
2 :Interface class方法:Interface class 不带成员变量,没有构造函数,只提供纯虚函数接口,且提供一个特殊的static函数,扮演工厂的角色,返回指针(一般为智能指针),指向动态分配所得对象。
请记住
支持“编译依存性最小化”的一般构思是:相依于声明式,不要相依于定义式。基于此构思的两个手段是 Handle classes和Interface classes.
程序库头文件应该以“完全且仅有声明式”的形式存在。这种做法不论是否设计templates都适用。