一、接口不变就可以不需要重新编译?
对于很多库的实现者可能会有这样的认识“接口不变就可以不需要重新编译”,其实这句话是有前提的,前提是实现的动态库有足够的兼容性和鲁棒性。尤其是C++实现的动态库,C++只对语言层规则做了规定,没有二进制级别的任何规定。
COM本质论里面的例子很好的阐述了这点,简单摘录如下:
查找字符串的dll版本1如下
class StringFind{
char *p;
public:
StringFind();
~StringFind();
int Find(*p);
int Length(*p);
};
查找字符串的dll版本2如下
class StringFind{
char *p;
int length;
public:
StringFind();
~StringFind();
int Find(*p);
int Length(*p);
};
这两个版本的在接口上没有变动,只是版本2增加了一个成员变量用来记录字符串的长度。但是如果不重新编译可执行程序,直接替换到版本1的环境中,可执行程序将会崩溃,因为 StringFind类在版本2中占有了8字节,而版本1中只占有4字节,导致访问length的时候出现越界现象。当然也有方法解决这个需要编译的问题,将上面的类分为一个接口类和一个实现类,接口类只定义接口,具体实现在实现类中,接口类通过对象指针方式访问实现类。或者使用抽象基类作为接口类,继承类作为实现类。实现类的对象每次使用new的方式来创建。
class StringFind{
public:
StringFind();
~StringFind();
virtual int Find(*p) = 0;
virtual int Length(*p) = 0;
};
extern "C" CreatStringFind();
动态库内部通过集成基类StringFind,实现具体的实现类。
外部采用如下方式使用:
StringFind Obj = CreatStringFind();
if(NULL != Obj)
{
Obj->Find();
Obj->Length();
delete Obj;
}
二、析构函数引起的内存泄露上述方法解决了之前的崩溃问题但是同样引入了新的内存泄露问题,问题原因在于StringFind的析构函数不是虚函数,在外面delete指向基类对象的指针的时候只会调用基类的析构函数不会调用继承类中的析构函数所以没法释放基类StringFind的继承类中的成员,造成内存泄露。解决办法就是将析构函数也定义成纯虚函数,如下:
class StringFind{
public:
StringFind();
virtual ~StringFind() = 0;;
virtual int Find(*p) = 0;
virtual int Length(*p) = 0;
};
extern "C" CreatStringFind();
或者定义一个destroy虚函数函数让继承类自己实现析构,如下:
class StringFind{
public:
StringFind();
virtual Destroy() = 0;;
virtual int Find(*p) = 0;
virtual int Length(*p) = 0;
};
extern "C" CreatStringFind();