cast to pure function stop work after upgrade
vit
vit at vit.vit
Mon Aug 2 15:22:01 UTC 2021
On Monday, 14 June 2021 at 13:31:51 UTC, baby_tiger wrote:
> this used work for me, after upgrade I get this error. how to
> fix it ?
>
>
> import std.traits;
> enum LogLevel : ubyte {
> INFO = 0,
> WARN,
> ERROR,
> FATAL,
> }
>
>
> extern (C) string VFORMAT(LogLevel level, string file,
> size_t line, char[] tmp, bool line_break, string tag, string
> fmt, ...) @nogc nothrow {
> return null;
> }
>
> template asPure(string P, alias Fn) if
> (isFunctionPointer!(typeof(&Fn))) {
> enum N = __traits(identifier, Fn);
> enum string asPure = "private alias " ~ N ~ "_PURE
> = " ~ typeof(&Fn).stringof ~ " pure;\n" ~ "__gshared immutable
> " ~ N ~ "_PURE " ~ P ~"= cast(" ~ N ~ "_PURE) &" ~ N ~ " ;" ;
> }
> enum xx = asPure!("VFORMATP", VFORMAT);
> mixin(xx);
>
> void main(){
>
> }
>
>
> reinterpreting cast from `nothrow @nogc extern (C)
> string(LogLevel level, string file, ulong line, char[] tmp,
> bool line_break, string tag, string fmt, ...)*` to `pure
> nothrow @nogc extern (C) string(LogLevel, string, ulong,
> char[], bool, string, string, ...)*` is not supported in CTFE
```d
int foo(int x)@safe{
return x;
}
/*
This is valid.
@safe CTFE cast, systemFoo has less restrictive function type.
*/
auto systemFoo = cast(int function(int)@system)&foo;
/*
ERROR
UNSAFE CTFE cast, pureFoo has more restrictive function type.
*/
//auto pureFoo = cast(void function(int)pure)&foo;
int function(int)pure pureFoo;
shared static this(){
/*
This is valid.
UNSAFE RUNTIME cast.
*/
pureFoo = cast(int function(int)pure)&foo;
}
void main(){
assert(pureFoo(42) == 42);
}
```
More information about the Digitalmars-d-learn
mailing list