Thread overview | |||||
---|---|---|---|---|---|
|
May 12, 2017 [Issue 17156] Local function declaration not inferred to be static | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=17156 Walter Bright <bugzilla@digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |bugzilla@digitalmars.com Resolution|--- |INVALID --- Comment #1 from Walter Bright <bugzilla@digitalmars.com> --- The trouble is this: uint g() { return 5; } ... uint delegate() d = &g; Your proposal would cause that to fail. Inference is done for template 'a' because the assignment is part of the expression. But for the 'g' case, there may be intervening code of this sort: uint g() { return 5; } uint function() c = &g; uint delegate() d = &g; 'g' cannot be both a function and a delegate. So the simple rule is 'static' being there or not sets it to be a function pointer or a delegate. This is consistent with other uses of 'static'. This is working as designed. Not a bug. -- |
May 12, 2017 [Issue 17156] Local function declaration not inferred to be static | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=17156 --- Comment #2 from Eyal <eyal@weka.io> --- I see, but this would not be a problem if function was automatically convertible to delegate (std.functional : toDelegate). Is there any reason that you cannot hand over functions when delegates are expected? I'd expect something even simpler than std.functional:toDelegate to work, especially if done inside the compiler: auto toDelegate(R, Args...)(R function(Args args) func) { struct delegate_t { R function(Args args) ctx; R function(R function(Args args), Args args) func; } static R call_func(R function(Args args) arg, Args args) { auto f = arg; return f(args); } auto del = delegate_t(func, &call_func); return *cast(R delegate(Args) *)&del; } -- |
May 13, 2017 [Issue 17156] Local function declaration not inferred to be static | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=17156 --- Comment #3 from Walter Bright <bugzilla@digitalmars.com> --- (In reply to Eyal from comment #2) > I see, but this would not be a problem if function was automatically convertible to delegate (std.functional : toDelegate). > > Is there any reason that you cannot hand over functions when delegates are expected? Yes. The ABI of how functions and delegates are passed ensures one cannot be treated as the other. The compiler could, behind the curtain, generate a wrapper to do this (as you suggest), but that has negative performance implications that users could find very surprising because it would be hidden from them. I prefer the library template solution for that reason. -- |
Copyright © 1999-2021 by the D Language Foundation