C++构造与析构(10) - private析构函数

正常情况下，析构函数一般都是定义为public公有的。
那能否定义为private呢？本文就来探讨下与此相关的一些有趣的点。看看每个例子的输出结果是什么。

场景1

#include <iostream>
class Test
{
private:
   ~Test() {}
};
int main()
{
}

上面程序编译运行正常. 

类中定义private析构函数，且没有生成对象，则不会存在编译问题。

场景2

#include <iostream>
using namespace std;
 
class Test
{
private:
   ~Test() {}
};
int main()
{
  Test t;
}

上面程序会编译失败。
编译器(visual studio 2015)提示："error C2248: “Test::~Test”: 无法访问 private 成员(在“Test”类中声明)"

编译器会报错，局部变量t无法被析构，因为析构函数是私有的。

场景3

#include <iostream>
using namespace std;
 
class Test
{
private:
   ~Test() {}
};
int main()
{
   Test *t;
}

上面程序编译正常. 程序只是创建了一个类型为Test的指针，没有构造任何对象，所以不会调用析构函数。

场景4

#include <iostream>
using namespace std;
 
class Test
{
private:
   ~Test() {}
};
int main()
{
   Test *t = new Test;
}

上面程序编译正常. 当使用动态内存分配时，需要使用delete去释放，不会自动调用析构函数去释放。所以编译可以通过。

场景5

如果是下面程序所示去手动的delete对象，则会调用析构函数，则编译会失败。

#include <iostream>
using namespace std;
 
class Test
{
private:
   ~Test() {}
};
int main()
{
   Test *t = new Test;
   delete t;
}

总结

基于上面所有的例子，我们可以看到当一个类有私有析构函数时，只有动态对象可以被创建。

下面的这个方法是利用友元函数来实现一个类包含私有析构函数。这个友元函数只负责删除对象。

#include <iostream>

// 类中包含私有析构函数
class Test
{
private:
    ~Test() { std::cout << "Private destruct called" << std::endl; }
    friend void destructTest(Test*);
};

// 只有此函数才能调用析构函数来释放对象
void destructTest(Test* ptr)
{
    delete ptr;
}

int main()
{

    Test* ptr = new Test;

    destructTest(ptr);

    return 0;
}

运行结果：
Private destruct called

私有析构函数的作用

无论何时我们想自己控制对象的释放，则可以定义私有析构函数。对于动态创建的对象，当把对象指针传递给某个函数并且函数在其中delete了这个对象，然后在函数调用完成后，如果继续使用此指针，则会出现异常，因为指针已经变成了空悬指针。

为了避免这种情况，可以将析构函数定义为private。