Disable GC entirely

[Dicebot]

On Tuesday, 9 April 2013 at 03:09:09 UTC, Rob T wrote:
> My understanding of this is that while all of your class 
> functions will be virtual by default, the compiler will reduce 
> them to non-virtual unless you actually override them, and to 
> override by mistake is difficult because you have to specify 
> the "override" keyword to avoid a compiler error.
>
> I'd like to see that understanding confirmed as it was only 
> implied in here:
> http://dlang.org/overview.html
>
> For extra safety you have to specify "final" which would be a 
> pain if that's what you want by default, but I'm not so sure 
> it's really necessary if the compiler really does optimize 
> virtual functions away.
>
> BTW, the red code/green code concept sounds like the most 
> promising route towards a generalized solution. I'll try and 
> find the time to watch it as well.
>
> --rt

Slightly other way around. "override" only makes sure that you 
have something to override. You can omit it and virtual dispatch 
will still happen with no error. Error happens only when you mark 
with override method which does not exist in base class / 
interface.

"virtuality" can be optimized away from final methods and for 
symbols that don't get exposed for linkage (so that compiler can 
check all sources and verify that no override happens). It is not 
done in dmd currently, of course.