Re: D's equivalent to C++'s std::move?

[Dicebot via Digitalmars-d]

On Monday, 1 February 2016 at 13:21:02 UTC, Shachar Shemesh wrote:

Hi all,

I have a non-copyable struct with move semantics. In other words, a struct with @disable this(this), but with working overloads for the this(copy) and opAssign.

Now I have an instance of that struct. I would like to be able to voluntarily give up ownership for the sake of another instance.

auto move (T) (ref T origin)
    if (is(T == struct))
{
    scope(exit) origin = T.init;
    return T(origin.tupleof);
}

// example:

struct S
{
    int* x;
    @disable this(this);
}

void foo (S s) { }

void main()
{
    auto s = S(new int);
    // won't compile, postblit is disabled:
    foo(s);
    // but this works, because rvalues are always moved:
    foo(move(s));
    assert(s.x is null);
}