garbage-collection - 在 D 中制作结构的堆副本

Question

如何创建堆栈上结构的垃圾收集副本？

来自 C++ 背景，我的第一个猜测是像下面这样的复制构造函数，但它对于 D 似乎不是很惯用，而且我还没有在我看过的任何 D 项目中看到一个.

struct Foo {
    immutable int bar;

    this(int b) { bar = b; }

    // A C++-style copy constructor works but doesn't seem idiomatic.
    this(ref const Foo f) { bar = f.bar; }
}

void main()
{
    // We initialize a Foo on the stack
    auto f = Foo(42);

    // Now I want to get a heap copy of its member. How?

    // A C++-style copy constructor works but doesn't seem idiomatic.
    Foo* f1 = new Foo(f);
}

Answer 1

您的示例过于复杂，甚至无法编译，但本质上，听起来您想要做的事情就像

struct Foo
{
    int i;
}

void main()
{
    auto f = Foo(5);
    auto g = new Foo(f);
}

没有任何特殊的构造函数你可以做的是

void main()
{
    auto f = Foo(5);
    auto g = new Foo;
    *g = f;
}

但显然这比您可能想要的步骤多。 D 的正常“复制构造函数”是 postblit 构造函数，它被声明为 this(this) {...} ，但 Foo 不需要，因为它在这里声明(因为它的所有成员都是值类型)，并且它对分配结构没有帮助无论如何都在堆上 - 只需复制一个结构。可以说

auto f = Foo(5);
auto g = new Foo(f);

应该可以正常工作，但目前还不行，而且不幸的是，语言中不支持为您定义它。所以，不幸的是，我认为你目前被迫做一些类似于你试图避免的事情。例如

struct Foo
{
    int i;

    this(int j)
    {
        i = j;
    }

    this(Foo rhs)
    {
        this = rhs;
    }
}

void main()
{
    auto f = Foo(5);
    auto g = new Foo(f);
}

但是，我刚刚打开了 an enhancement request 以便 new Foo(foo) 可以正常工作，并且在 dmd (2.066) 的下一个版本中，我们将获得原始类型的通用构造(例如 new int(5) 现在可以工作)，所以我认为有这也是一个很好的论据。

不过现在，您将不得不提供一个额外的构造函数来使其工作。