Escape analysis

[Jason House]

Andrei Alexandrescu Wrote:

> Walter Bright wrote:
> > Pure functions almost implicitly imply that its parameters are all 
> > scoped. The exception is the return value of the pure function. If the 
> > return value can contain any references that came from the parameters, 
> > then those parameters are not scoped.
> 
> I think even the return value can be considered scoped. Essentially it 
> does not leave the scope of the caller.
> 
> Andrei


As far as I know, there's no way for functions to specially prepare objects to be called scope. Isn't that the called's choice?