【C++】设计一个类，只能在栈(堆)上创建对象

た入场券 2022-05-18 22:52 137阅读 0赞

#### 设计一个类，只能在栈上创建对象 ####

使用new运算符，对象会建立在堆上，也就是说只要不用new去创建对象就可以实现，我们知道new和delete分别调用了operator new和operator delete，如果我们把这两个函数声明为私有的，操作符new就不能用了。

class A
    {
    public:
        A()
        {
            cout << "A()" << endl;
        }
        ~A()
        {
            cout << "~A()" << endl;
        }
    private:
        void* operator new(size_t size){};
        void operator delete(void *ptr) {};
    };
    
    int main()
    {
        A a;
        //A *pa = new A();
        return 0;
    }

#### 设计一个类，只能在堆上创建对象 ####

使用new运算符，对象就可以在堆上建立。如果我们将构造函数和析构函数定义为protected(可以让类被继承)，然后定义两个公有的静态函数调用new和delete，来创建和销毁对象。

class A
    {
    protected:
        A()
        {
            cout << "A()" << endl;
        }
        ~A()
        {
            cout << "~A()" << endl;
        }
    public:
        static A* Construct()
        {
            return new A();
        }
        static void Destroy(A *p)
        {
            delete p;
            p = NULL;
        }
    };
    int main()
    {
        A* p = A::Construct();
        A::Destroy(p);
    }

还有一种方法是将析构函数声明为私有的。

>  *  对象建立在栈上面时，是由编译器分配空间的，调用构造函数来构造对象，编译器释放对象，编译器管理了对象的整个生命周期，编译器为对象分配空间的时候，只要是非静态的函数都会检查，包括析构函数，**如果析构函数不可访问，编译器就无法调用类的析构函数来释放内存，那么编译器将无法在栈上为对象分配内存。**
>  *  我们知道delete除了释放对象外，还会调用析构函数，因此我们还要在类内自己实现一个释放对象的函数。

class A
    {
    public:
        A()
        {
            cout << "A()" << endl;
        }
        void Destroy()
        {
            delete this;
        }
    private:
        ~A()
        {
            cout << "~A()" << endl;
        }
    };
    int main()
    {
        A* a = new A();
        (*a).Destroy();
    }