Hi all,
dmd gets on my nerves with constructor-calls.
First I tried the following which dmd complains about.
enum SomeEnum { A, B}
class D : C {
this(int);
this(string);
this(SomeEnum s) {
final switch(s) {
case SomeEnum.A: this("Hello"); break;
case SomeEnum.B: this(3); break;
}
}
}
dmd says it's not valid because constructor-calls are not valid behind
labels. But these labels are the cases of a final switch with no gotos
in it. IMO my code is perfectly valid and dmd should see it.
It shouldn't be too complicated check because final switch already
enforces breaks and that all possible paths a defined. Just check if
it's final switch and there are no 'goto case's in there.
class D : C {
this(int);
this(string);
this(SomeEnum s) {
if(s == SomeEnum.A) {
this("Hello");
} else if(s == SomeEnum.B) {
this(3);
} else assert(0);
}
}
It says now that one path does not have constructor-call. This is
ridicolous. I mean it's an assert(0) which is statically known to fail.
It should check if all paths call constructors or _fail_ IMO.
Mafi
