How to enforce compile time evaluation (and test if it was done at compile time)
XavierAP via Digitalmars-d-learn
digitalmars-d-learn at puremagic.com
Wed Mar 1 09:24:09 PST 2017
On Wednesday, 1 March 2017 at 09:19:53 UTC, Christian Köstlin
wrote:
> On 01/03/2017 00:09, Joseph Rushton Wakeling wrote:
>> if (!__ctfe) assert(false);
>>
>> ... might be the best option. That shouldn't be compiled out
>> even in -release builds.
> thats a nice idea! is this happening because of assert(false)
> being always part of release builds (as mentioned here:
> https://dlang.org/spec/contracts.html#assert_contracts) or
> because the if would have no instructions anymore if this is
> removed.
Yes assert(false) or assert(0) is a special case according to the
specification. At least in the DMD implementation it is not
removed for -release. If reached it throws an "object.Error@(0):
assert(0) or HLT instruction" instead of
core.exception.AssertError
More information about the Digitalmars-d-learn
mailing list