C++定义不能被继承的类

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类就实现了。

  • 3
    点赞
  • 8
    收藏
    觉得还不错? 一键收藏
  • 4
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 4
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值