May 19, 2011 Enforcing static closure | ||||
---|---|---|---|---|
| ||||
I want to make a delegate of blocking I/O statement and pass it to a function. Then it will be called immediately. This delegate never escapes its creation scope, so I don't want heap closure allocation. Will compiler create dynamic closure (e.g. with allocation) or static closure (with pointer to the stack)? void recv(ubyte[] buf, out size_t len) { // block until data is received } int numWaiters; // will that "scope" enforce static closure? void wait(scope void delegate() dg) { numWaiters++; dg(); numWaiters--; } void test() { ubyte[] buf = new ubyte[1500]; size_t len; wait( { recv(buf, len); } ); } |
May 19, 2011 Re: Enforcing static closure | ||||
---|---|---|---|---|
| ||||
Posted in reply to Piotr Szturmaj | On Thu, 19 May 2011 15:39:12 -0400, Piotr Szturmaj <bncrbme@jadamspam.pl> wrote:
> I want to make a delegate of blocking I/O statement and pass it to a function. Then it will be called immediately. This delegate never escapes its creation scope, so I don't want heap closure allocation.
>
> Will compiler create dynamic closure (e.g. with allocation) or static closure (with pointer to the stack)?
>
> void recv(ubyte[] buf, out size_t len)
> {
> // block until data is received
> }
>
> int numWaiters;
>
> // will that "scope" enforce static closure?
> void wait(scope void delegate() dg)
> {
> numWaiters++;
> dg();
> numWaiters--;
> }
>
> void test()
> {
> ubyte[] buf = new ubyte[1500];
> size_t len;
>
> wait( { recv(buf, len); } );
> }
In this case, a closure should *not* be created. A closure is created when you create a delegate to an inner function UNLESS:
a. The expression which takes the delegate is being used to pass the delegate to a function
AND
b. The function's delegate parameter is marked 'scope' or 'in'
Note that the following still would create a closure:
auto dg = {recv(buf, len);}; // forces a closure.
wait(dg);
because you aren't passing the delegate to the scope function at the time of delegate creation.
dmd is kind of silly about that.
-Steve
|
Copyright © 1999-2021 by the D Language Foundation