基础知识整理4

如何定义一个只能在堆（栈）上创建对象的类

1.只能在栈上创建对象的类

只有使用new运算符，对象才会建立在堆上，因此，只要禁用new运算符就可以实现类对象只能建立在栈上

class AA
{
public:
        AA()
        {
            cout<<"AA()"<<endl;
        }
        ~AA()
        {
            cout<<"~AA()"<<endl;
        }
};

int main()
{
    AA q; //在栈上创建对象
    AA* p = new AA; //在堆上创建空间
    system("pause");
    return 0;
}

注意：

理论上来说不使用new就可以，但上述代码只要使用new即可产生在堆上创建的对象，所以需要优化

优化：将operator new设为私有即可，保证在类外面无法定义，也无法使用

class AA
{
private:
        void* operator new(size_t){}
        void operator delete(void*){}
public:
        AA()
        {
            cout<<"AA()"<<endl;
        }
        ~AA()
        {
            cout<<"~AA()"<<endl;
        }
};

注意：

此时使用new创建对象时无法编译。

 

2.只能在堆上创建对象的类

将类中构造，析构定义为私有，然后定义一个公有的静态成员函数，此方法，只能使用new创建对象，即只能在堆上创建对象。

解析：

当对象建立在栈上时，是由编译器分配内存的，调用构造函数和析构函数，编译器管理了对象的整个周期。如果编译器无法调用析构是怎样的呢？

如果类的析构函数是私有的，编译器将无法析构函数来释放内存。所以，编译器在为类对象分配栈空间时，会先检查析构函数的访问性，不光是析构函数，只要是非静态函数，编译器都会检查，如果类的析构函数是私有的，则编译器不会在栈空间上为类对象分配内存。

class AA
{
public:
	AA()
	{
		cout << "AA()" << endl;
	}
private:
	~AA()
	{
		cout << "~AA()" << endl;
	}
};
 
int main()
{
	//AA q;   //在栈上创建对象
	AA* p = new AA;   //在堆上创建对象
	system("pause");
	return 0;
}

注意：

此时只能用new在堆上创建对象