2

考虑以下代码。

#include <stdio.h>
using namespace std;

constexpr size_t TOTAL = 2;

class thing
{
private:
    inline static size_t NEXT_ID = 0;
    size_t id;

public:
    thing() : id(NEXT_ID++)
    {
        printf("Thing %zd created.\n", this->id);
    }
    ~thing()
    {
        printf("Thing %zd destroyed.\n", this->id);
    }
};

class container
{
private:
    inline static size_t NEXT_ID = 0;
    size_t id;
    thing* things;

public:
    container() : id(NEXT_ID++)
    {
        this->things = new thing[TOTAL];
        printf("Container %zd created.\n", this->id);
    }
    ~container()
    {
        delete[] this->things;
        printf("Container %zd destroyed.\n", this->id);
    }

    thing& at(size_t idx)    // this is the important method
    {
        return this->things[idx];
    }
};

int main()
{
    container c;
    c.at(0) = thing();   // here is the problem
    return 0;
}

输出是我没想到的。

Thing 0 created.
Thing 1 created.
Container 0 created.
Thing 2 created.
Thing 2 destroyed.
Thing 1 destroyed.
Thing 2 destroyed.
Container 0 destroyed.

我知道那Thing 2是一个临时对象，这就是为什么它被摧毁了两次。我有几个关于发生了什么的问题Thing 0。

  • 为什么没有Thing 0被销毁？
  • 会不会有内存泄漏？
  • 我必须以Thing 0某种方式破坏还是成功覆盖？
4

2 回答 2

3

对于同一个对象，没有对析构函数的双重调用。问题仅在您的输出中。您正在打印，id但复制分配从临时对象c.at(0) = thing();复制id到容器中的对象。这就是你看到两个“事物 2 被摧毁”的原因。并且没有“Thing 0 被破坏。”。

如果您想要更好的日志记录机制，您可以打印this指针。对象的地址在对象的生命周期内不会改变，它是对象的唯一标识符。当然，为方便起见，您还可以打印id.

printf("Thing %p %zd created.\n", static_cast<void*>(this), this->id);
printf("Thing %p %zd destroyed.\n", static_cast<void*>(this), this->id);

这应该会给你一些这样的输出（当然 0x11111111、0x22222222 和 0x33333333 在你的情况下看起来会有所不同）：

事物 0x11111111 0 已创建。
事物 0x22222222 1 已创建。
容器 0 已创建。
事物 0x33333333 2 已创建。
东西 0x33333333 2 被破坏。
东西 0x22222222 1 被破坏。
东西 0x11111111 2 被破坏。
容器 0 被破坏。

于 2020-07-09T13:46:55.183 回答
1

在这份声明中

c.at(0) = thing();

这里使用了由编译器复制赋值运算符隐式定义的。id所以表达式引用的对象的数据成员c.at(0)变成等于表达式创建的临时对象的thing()id 2。

在此语句中，临时对象被创建并最终被销毁

Thing 2 created.
Thing 2 destroyed.

现在该对象包含两个作为数组元素存储的c子对象。thing子对象具有 id(s)2和1.

它们以与创建它们相反的顺序被删除

Thing 1 destroyed.
Thing 2 destroyed.  // previously it has id equal to 0

所以程序没有内存泄漏。从程序输出中可以看出，所有创建的对象都已成功删除。

于 2020-07-09T12:49:19.040 回答