Re: Safe mode in D?

[Maxim Fomin]

On Friday, 18 October 2013 at 18:59:46 UTC, Andrei Alexandrescu 
wrote:

I think one good compromise is to stick with the exact amount 
of flow control we currently have in constructors (which is 
primitive but quite adequate), and use that creatively. It's 
already implemented and works, so the implementation costs of 
applying it to other cases should be low.

Andrei

Do you mean preventing calling constructor (from another 
constructor) within one control branch? May be this will be case 
#13.

import std.stdio;

extern(C) void _D4main1A6__ctorMFiZC4main1A(A a, int i);

class A
{
   this(int i) { writeln("reached"); }
   this()
   {
      int i = 1;
      //if (i)
      //   this(i); // Error: one path skips constructor
      if (i)
         _D4main1A6__ctorMFiZC4main1A(this, i);
      if (i)
         auto dg = __traits(getOverloads, this, "__ctor")[0](i);
   }
}

void main()
{
   new A;
}