D 结构体内存处理 - 从成员函数返回 `this`

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