Re: Go, D, and the GC

[Shachar Shemesh via Digitalmars-d]

On 05/10/15 10:01, Dmitry Olshansky wrote:

When D structs has a destructor that is guaranteed to run for any
instance that finished construction, no matter what is the use case,
then we can have that discussion.

Supposed to be the case for structs except for any bugs.

Check this one out (no instances on heap):
import std.stdio;

struct destructible {
    int id;

    @disable this();
    this( int id ) {
        writeln("Id ", id, " constructed");
        this.id = id;
    }

    ~this() {
        writeln("Id ", id, " destructed");
    }
}

void main() {
    struct container {
        destructible d;

        @disable this();
        this( int id )
        {
            this.d = destructible(id);
            throw new Exception("some random exception");
        }
    }

    try {
        container(2);
    } catch( Exception ex ) {
        writeln("Caught ", ex.msg);
    }
}

As of dmd 2.068.2, the output is:
Id 2 constructed
Caught Some random exception

Of course, if I do not disable this(), things are even worse.