On Thursday, 9 April 2015 at 18:31:24 UTC, deadalnix wrote:
On Thursday, 9 April 2015 at 09:05:10 UTC, Ola Fosheim Grøstad
wrote:
2. How will this work with "yield"?
You yield both caller and callee, so you'll get caller's boxing
in the yield.
But the coroutine stack and everything on it will be intact when
it yields, including references to array elements...?
Why not just implement the more generic solution (shared
pointers with move/borrow or WPO) ?
I don't think this is possible.
It should be possible with pointer analysis, but the easier
approach is just to ban non-const ref parameters (c++ style) for
rc-pointer-objects, so maybe D should provide "head const" after
all...