@noreturn property
Daniel Gibson
metalcaedes at gmail.com
Thu Oct 21 08:15:10 PDT 2010
Leandro Lucarella schrieb:
> Iain Buclaw, el 21 de octubre a las 11:54 me escribiste:
>> A few standard library functions, such as 'abort' and 'exit', cannot return.
>> However there is no way in DMD to let the compiler know about this.
>> Currently in D2, you must either have a 'return' or 'assert(0)' statement at
>> the end of a function body. It would be nice however if you can give hints to
>> the compiler to let it know that a function is never going to return.
>>
>> Example:
>>
>> @noreturn void fatal()
>> {
>> print("Error");
>> exit(1);
>> }
>>
>> The 'noreturn' keyword would tell the compiler that 'fatal' cannot return, and
>> can then optimise without regard to what would happen if 'fatal' ever did
>> return. This should also allow fatal to be used instead of a return or assert
>> statement.
>>
>> Example:
>>
>> int mycheck(int x)
>> {
>> if (x > 1)
>> return OK;
>> fatal();
>> }
>>
>>
>> Thoughts?
>
> You want to include in the language what you can do (or at least could)
> do in GDC using:
>
> pragma(GNU_attribute, noreturn)) void fatal()
> {
> print("Error");
> exit(1);
> }
>
> ?
>
Obviously he wants a portable way to do this that will work on any up-to-date D2 compiler.. doesn't
make much sense to have a gdc-only solution that makes code incompatible with dmd (and possibly
other compilers). Of course one may use version(GDC) or something like that to ensure compatibility,
but that's just ugly.
Cheers,
- Daniel
More information about the Digitalmars-d
mailing list