为什么从结构数组返回时不调用 this(this) ？

Question

import std.stdio;

struct S
{
    string m_str = "defaultString";
    
    this(this)
    {
        writeln("In this(this)");
    }
    
    ~this()
    {
        writeln("In ~this():"~m_str);
    }
    
}

struct Holder
{
    S[] m_arr;
    S m_s;
    
    this(S[] arr)
    {
        m_arr = arr;
        m_s.m_str="H.m_s";
    }
    
    S getSMem()
    {
        return m_s;
    }
    
    S getSVec()
    {
        return m_arr[0];
    }
    
    S getSLocal()
    {
        S local = S("localString");
        return local;
    }
}

void main()
{
    Holder h = Holder(new S[1]);
    
    S s1 =  h.getSMem();
    S s2 =  h.getSVec();
    S s3 =  h.getSLocal();
}

上面的 D2.058 给出：

在这个(这个)

在 ~this():localString

在 ~this():defaultString 中

在~this()中：H.m_s

在~this()中：H.m_s

上面只产生了一个 this(this)（来自getSMem() 调用）。 getSLocal() 调用只能移动结构。但是，为什么 getSVec() 不会产生 this(this) 呢？我注意到这是 std.container.Array 中保存的引用计数结构的上下文，与 ~this() 相比，对 this(this) 的调用太少了。

Answer 1

对于 getSVec，它看起来像是一个错误，可能与 这个，虽然情况不完全一样。不过，您应该报告您的具体示例，因为它可能不是完全相同的错误。

但是，正如您所说，在 getSLocal 的情况下，局部变量会被移动，因此不会发生复制，也不需要 postblit 调用。只是 getSVec 有问题。