c++ - 复制堆栈变量时异常的析构函数行为

Question

我编写了一个测试来检查是否在对堆栈变量进行覆盖赋值之前调用了析构函数，但我找不到对结果的任何合理解释...

这是我的测试(在 Visual C++ 2008 Release模式下):

#include <iostream>
class C {
public:
 char* ptr;
 C(char p) { ptr = new char[100]; ptr[0] = p;}
 ~C() { std::cout << ptr[0] << ' '; delete [] ptr; }
};

int _tmain(int argc, _TCHAR* argv[])
{
 {
  C s('a');
  s = C('b');
  s = C('c');
  s = C('d');
 }
 std::cin.get();
 return 0;
}

如果我的假设为真，我希望得到“a b c d”，如果为假，我希望得到“d”。 相反，我得到“b c d x”。 “x”根据分配给 ptr 的内存量而变化，表示它正在读取随机堆值。

我相信正在发生的事情(如果我错了请纠正我)是每个构造函数调用都会创建一个新的堆栈值(我们称它们为 s1、s2、s3、s4)，然后赋值让 s1.ptr 被覆盖s4.ptr。 s4 在复制后立即被销毁，但 s1(带有悬空 ptr)在离开作用域时被销毁，导致 s4.ptr 被双重删除，而原始 s1.ptr 没有被删除。

有什么方法可以解决这种不涉及使用 shared_ptrs 的无益行为吗？

编辑:将“删除”替换为“删除 []”

Answer 1

Rule of Three

您的应用程序行为未定义，因为如前所述，多个对象将共享对公共(public)指针的访问并尝试读取它...

三个规则规定每次定义其中之一:

• 拷贝构造函数
• 赋值运算符
• 析构函数

那么您应该定义另一个，因为您的对象具有默认生成的方法不知道的特定行为。

编辑特殊异常(exception):
有时你定义析构函数只是因为你想要它是虚拟的，或者因为它记录了一些东西，而不是因为你的属性有一些特殊处理;)