Question

uint ci = 0;

struct S
{
    uint i;

    this(int x)
    {
        i = ci;
        ci++;

        writeln("new: ", i);
    }

    this(this)
    {
        i = ci;
        ci++;

        writeln("copy ", i);
    }

    ~this()
    {
        writeln("del ", i);
    }

    S save1() // produces 2 copies in total
    {
        S s = this;
        return s;
    }

    auto save2() // produces 3 copies in total
    {
        S s = this;
        return s;
    }
}

SAVE1：

S s = S(1);
S t = S(1);

t = s.save1();

// Gives:
// new 0
// new 1
// copy 2
// del 1
// del 2
// del 0

SAVE2：

S s = S(1);
S t = S(1);

t = s.save2();

// Gives:
// new 0
// new 1
// copy 2
// copy 3
// del 3
// del 1
// del 3
// del 0

正如您所看到的，save2（）变体从不“删除”结构，其中i == 2.内存是否泄漏？如果我使用auto作为返回类型，我无法在结构中正确管理我的资源。

另外，如果save（）只返回this而没有临时，我得到：

S save()
{
    return this;
}

// new 0
// new 1
// copy 2
// del 1
// del 2
// del 2

这些错误吗？如果我不能定义默认构造函数，我该如何进行适当的内存管理？这个设计决定背后的原因是什么？

我想将它用于前进范围，因此我无法使用class。

Answer 1

对我来说看起来像个错误。显然，save1和save2之间的唯一区别是后者使用auto返回而不是显式返回类型。除了在这里不适用的一些极端情况之外，这应该对postblit和d'tor电话没有影响。

Answer 2

无法使用git dmd：

重现错误的代码部分

new: 0
new: 1
copy 2
del 1
del 2
del 0
-
new: 0
new: 1
copy 2
copy 3
del 2
del 1
del 3
del 0
-
new: 0
new: 1
copy 2
del 1
del 2
del 0

我将剩余的NRVO问题提交为http://d.puremagic.com/issues/show_bug.cgi?id=7353

D struct memory handling - 从成员函数返回`this`

2 个答案: