C++创建不可继承类

最新推荐文章于 2024-11-23 18:06:33 发布

原创最新推荐文章于 2024-11-23 18:06:33 发布 · 1.4k 阅读

2 ·

CC 4.0 BY-SA版权

文章标签：

#github #git #嵌入式硬件 #c++ #c#

C++ 专栏收录该内容

110 篇文章

订阅专栏

防止父类被子类继承

原理：当子类继承父类时，子类会初始化父类的构造函数，我们只要禁止掉这个初始过程，就能实现子类在继承父类的时候编译出错；

方式： 将父类的构造函数和析构函数私有化 实现方式有二

其一

class Myclass
{
public:
    static Myclass* Creat_obj()
    {
        return new Myclass();
    }
    static void Delete_obj(Myclass* _Myclass)
    {
        delete  _Myclass;
    }
    //定义一个共有的静态函数，返回new出的对象 （堆区的对象）
    
private:
    Myclass()
    {}
    ~Myclass()
    {}
    //构造函数和析构函数被同时定义为私有，
};
class Child :public Myclass
{
public:
    Child()
    {}
    ~Child()
    {}
};

但上面这种方法只能在堆区创建对象，使用类名.Creat_obj()

方法二在将父类的构造函数和析构函数私有化的基础上

先看一个容易理解版本的

#include <iostream>
using namespace std;

template <class T>
class Base
{
    friend T;//模板参数类型作为友元函数
private:
    Base()
    {}
    ~Base()
    {}
};
//MyClass作为Base的友元，可以访问Base的私有成员
class MyClass:virtual public Base<MyClass>
{
public:
    MyClass()
    {}
    ~MyClass()
    {}
};


//TestClass继承于Base类
//由于是虚拟继承，派生类会访问基类的构造函数和析构函数
//但是由于基类的构造函数是私有所以无法访问
class TestClass: public MyClass
{
public:
    TestClass()
    {}//这里会报错
    ~TestClass()
    {}//这里会报错
};
int main()
{
    MyClass *p = new MyClass;
    MyClass fc;
    TestClass tc;//报错
    return 0;
}

Myclass 继承Base基类的同时，也将自己的类名传入的Base 中,并作为Base的友元类，

Myclass 友元类能访问Base基类的任何成员

对于Myclass 而言可以创建栈对象和堆对象，是因为其初始化父类构造函数时可以使用到 父类的构造函数。

对于Test 而言，由于Test 不是Base的友元函数，不能访问到Base基类的构造函数，自然报错

若要使用到基类Base的功能，只能像Myclass那样把自己的类名传入基类中，成为基类的友员类。

现在来看一个复杂一点点的版本

template< typename TDerive, typename TProvider > //传入两个模板参数
class  CFobidDeriveProviderBase
{
    friend TDerive;
    friend TProvider;            //模板参数作友元

private:
    CFobidDeriveProviderBase(){}
    ~CFobidDeriveProviderBase(){}
};

/*
* 提供禁止派生的功能,需要此功能的类可以从CFobidDeriveProvider派生,并将类名作为模板参数传递
*/
template< typename TDerive >
class  CFobidDeriveProvider : virtual public CFobidDeriveProviderBase< TDerive, CFobidDeriveProvider<TDerive>>
{
public:
    CFobidDeriveProvider(){}
    ~CFobidDeriveProvider(){}
};

/*
* 测试类,该类不可被继承
*/
class  CNoDerive : public CFobidDeriveProvider< CNoDerive >
{
public:
    CNoDerive(){}
    ~CNoDerive(){}

    void  Alert()
    {
        AtlMessageBox( NULL, _T("Alert") );
    }
};

若有类从CNoDerive派生：

class  CSomeDerive : public CNoDerive
{
public:
    CSomeDerive(){}
    ~CSomeDerive(){}
};

CFobidDeriveProvider 类继承 CFobidDeriveProviderBase的同时传入了自己的类名和一个其他类名，

这个其他类名是留给其他也想成为Base友元类（使用Base类功能的类）使用的也就是上文的 CNoDerive 类。

正如上文的需要此功能的类（Base）可以从CFobidDeriveProvider派生,并将类名作为模板参数传递。

完成上面那步，CFobidDeriveProvider 和扩展类 CNoDerive 就成为了CFobidDeriveProviderBase 的友元函数了。

再谈使用虚继承的目的，原因就是基类 CFobidDeriveProviderBase 可能被多个其他类所继承，虚继承可以共享内存，避免内存开销

同时当我们使用虚拟继承构造一个类的时候，这样就会使得一个类可以在堆上建立对象也可以在栈上建立对象，这样也避免了方法一中出现的无法在栈上建立对象了。可以使用栈空间的原因就是我们可以使用到父类的析构函数了

引用知识

另外如何保证只能在堆上new一个新的类对象呢？只需把析构函数定义为私有成员。
原因是C++是一个静态绑定的语言。在编译过程中，所有的非虚函数调用都必须分析完成。即使是虚函数，也需检查可访问性。因些，当在栈上生成对象时，对象会自动析构，也就说析构函数必须可以访问。而堆上生成对象，由于析构时机由程序员控制，所以不一定需要析构函数。保证了不能在栈上生成对象后，需要证明能在堆上生成它。

构造函数私有化的类的设计可以保证只能用new命令在堆中来生成对象，只能动态的去创建对象，这样可以自由的控制对象的生命周期。但是，这样的类需要提供创建和撤销
的公共接口。
另外重载delete，new为私有可以达到要求对象创建于栈上的目的，用placement new也可以创建在栈上。

例如


#include <iostream>
using namespace std;

class Test
{
public:
    Test()
    {
        cout << "调用了构造函数"<<endl;
    }

private:
    ~Test() {}
};

int main()
{
    // Test b;  创建栈空间变量会报错

    Test *bb = new Test(); //创建堆空间则不会报错
}