Почему это (это) не вызывается при возврате из массива структур?

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 дает:

In this (this)

In ~ this (): localString

In ~ this(): defaultString

В ~ this (): H.m_s

В ~ this (): H.m_s

Только одно это (это)производится выше (из вызова getSMem ()).Вызов getSLocal () может просто переместить структуру.Однако почему getSVec () не приводит к this (this)?Я заметил, что это контекст структуры подсчета ссылок, хранящейся в std.container.Array, и было слишком мало вызовов this (this) по сравнению с ~ this ().

Answer 1

В случае getSVec это выглядит как ошибка, возможно связанная с этой , хотя ситуация не совсем такая же. Вы должны сообщить свой конкретный пример, так как это может быть не та же самая ошибка.

Однако, как вы говорите, в случае getSLocal локальная переменная перемещается, поэтому копирование не происходит и вызов постблитом не требуется. Это просто getSVec, который глючит.