用new生成的对象有什么?
用new生成的对象有什么?
用new生成的对象,在面向对象中是很有用的.它保存在堆上,可以自由控制生命周期。
但如何保证一个对象只能在堆上生成呢?
答案其实也很简单,只需把析构函数定义为私有成员。例如OnlyCanBeNew类定义。
1| class OnlyCanBeNew
2| {
3| ~OnlyCanBeNew(){}
4| public:
5| OnlyCanBeNew(){}
6| };
原因呢,C++是一个静态绑定的语言。在编译过程中,所有的非虚函数调用都必须分析完成。即使是虚函数,也需检查可访问性。因些,当在栈上生成对象时,对象会自动析构,也就说析构函数必须可以访问。而堆上生成对象,由于析构时机由程序员控制,所以不一定需要析构函数。
保证了不能在栈上生成对象后,需要证明能在堆上生成它。这里OnlyCanNew与一般对象唯一的区别在于它的析构函数为私有。delete操作会调用析构函数。所以不能编译。那么如何释放它呢?
答案也很简单,提供一个成员函数,完成delete操作。在成员函数中,析构函数是可以访问的。当然detele操作也是可以编译通过。
7| void OnlyCanBeNew::Destroy()
8| {
9| delete this;
10| }
回到起点,如果需要再在栈上使用这个对象,怎么办呢。那就要用到包装了。类似Wrap类这样的类,如果它与OnlyCanBeNew接口的一样。那么在栈上使用它,就与使用OnlyCanBeNew一样了。
11| #include <stdio.h>
12|
13| class Wrap;
14| class OnlyCanBeNew
15| {
16| friend class Wrap;
17| ~OnlyCanBeNew(){}
18| public:
19| OnlyCanBeNew(){}
20| void Destroy()
21| {
22| delete this;
23| }
24| };
25|
26| class Wrap
27| {
28| OnlyCanBeNew *p;
29| public:
30| Wrap(): p(new OnlyCanBeNew)
31| {
32| }
33|
34| ~Wrap()
35| {
36| p->Destroy();
37| }
38|
39| };
测试代码如下:
40| int main(int argc, char *argv[])
41| {
42| OnlyCanBeNew one; //编译错误
43|
44| Wrap some; //OK
45| OnlyCanBeNew * p = new OnlyCanBeNew; //OK
46|
47| p->Destroy(); //释放
48| printf("Hello, world/n");
49|
50| return 0;
51| }