C++的定义的类要求不能被继承,貌似最简单的想法是将构造函数定义为私有的,但事实上这样并不对,这会引发一个问题,用户如何实例化该类?因为友元关系是不能够被继承的,所以可以考虑友元+私有化构造函数来实现。
现在假设有一个class,叫Base,它不希望被继承,而且再假设有一个辅助类uninherit,Base是辅助类uninherit的友元,而且辅助类uninherit的构造函数是私有的,于是假定有个类Derive想继承自Base,虽然没有办法调用辅助类uninherit,但是却可以通过Base调用,所以为了让Derive类能够直接调用辅助类uninherit的构造函数(然后报错,实现了Base类的无法被继承),可以使用虚继承方式。
虚继承的引出主要是防止出现二义性。比如说下面的代码
#include <iostream>
using namespace std;
class A {
public:
void foo() {cout << "A::foo()" << endl;}
};
class B: public A {
};
class C: public A {
};
class D: public B, public C {
};
int main(void)
{
D d;
d.foo();
return 0;
}
这个会直接编译出错,
virtulinhert.cpp: 在函数‘int main()’中:
virtulinhert.cpp:22:7: 错误: 对成员‘foo’的请求有歧义
virtulinhert.cpp:6:14: 错误: 备选为: void A::foo()
virtulinhert.cpp:6:14: 错误: void A::foo()
如果B,C改成虚继承,则不会出现二义性
#include <iostream>
using namespace std;
class A {
public:
void foo() {cout << "A::foo()" << endl;}
};
class B: virtual public A {
};
class C: virtual public A {
};
class D: public B, public C {
};
int main(void)
{
D d;
d.foo();
return 0;
}
编译可以通过且输出为 A::foo()
虚基类子对象由最派生类的构造函数通过调用虚基类构造函数来进行初始化,所谓 最派生类, 假设类A派生出类B,同时类B派生出类C,类C派生出类D。。。那么最后一个被派生出来的类(比如说是Z)就被称为最派生类,也就是最后派生类的意思。另外 虚基类的构造函数优先于非虚基类的构造函数。
好了,差点跑题,现在回到如何构造不可被继承的类,只需要Base虚继承辅助类uninherit,具体实现为
#include <iostream>
using namespace std;
class uninherit {
friend Base;
private:
uninherit() {}
~uninherit() {}
};
class Base : virtual public uninherit {
public:
Base() {}
~Base() {}
};
class Derive : public Base {
public:
Derive() {}
~Derive() {}
};
实际上,Derive类是不可能继承Base的,因为它要试图调用uninherit的私有构造函数,显然会报错。这样,不可被继承的Base类就实现了。