The next iteration of scope

via Digitalmars-d digitalmars-d at puremagic.com
Mon Mar 16 13:50:45 PDT 2015


On Monday, 16 March 2015 at 19:43:01 UTC, Zach the Mystic wrote:
> On Monday, 16 March 2015 at 17:00:12 UTC, Marc Sch├╝tz wrote:
>> BUt there is indeed still some confusion on my side. It's 
>> about the question whether `this` should implicitly be passed 
>> as `scope` or not. Because if it is, scope members are 
>> probably useless, because they are already implied. I think I 
>> should remove this suggestion, because it would break too much 
>> code (in @system).
>
> I always tend to think of member functions as if they weren't:
>
> struct S {
>   T t;
>   ref T fun() return {
>     return t;
>   }
> }
>
> In my head, I just translate fun() above to:
>
> ref T fun(return S* __this) {
>   return __this.t;
> }
>
> Therefore whatever the scope of `__this`, that's the scope of 
> the return, just like it would be for any other parameter. Then:
>
> S s;
> s.fun();
>
> ... is really just `fun(s);` in disguise. That's why it's hard 
> for me to grasp `scope` members, because they seem to me to be 
> just as scope as their parent, whether global or local.

It works just the same:

struct S {
     private int* payload_;
     ref int* payload() return {
         return payload_;
     }
}

ref int* payload(scope ref S __this) return {
     return __this.payload_;    // well, imagine it's not private
}

Both the S.payload() and the free-standing payload() do the same 
thing.

 From inside the functions, `return` tells us that we're allowed 
to a reference to our payload. From the caller's point of view, 
it signifies that the return value is scoped to the first 
argument, or `this` respectively.

To reiterate, `scope` members are just syntactical sugar for the 
kinds of accessor methods/functions in the example code. There's 
nothing special about them.

> How a member could be scope when the parent is global is hard 
> for me to imagine.

The following is clear, right?

int* p;
scope int* borrowed = p;

That's clearly allowed, we're storing a reference to a global or 
GC object into a scope variable. Now let's use `S`, which 
contains an `int*` member:

S s;
scope S borrowed_s = s;

That's also ok. Doesn't matter whether it's the pointer itself, 
or something containing the pointer. And now the final step:

scope int* p2;
p2 = s.payload;          // OK
p2 = borrowed_s.payload; // also OK
static int* p3;
p3 = s.payload;          // NOT OK!

However, if `payload` were not the accessor method/function, but 
instead a simple (non-scope) member of `S`, that last line would 
be allowed, because there is nothing restricting its use. For 
members that the struct owns and want's to manage itself, this is 
not good. Therefore, we make it private and allow access to it 
only through accessor methods/functions that are annotated with 
`return`. But we could accidentally forget an annotation, and the 
pointer could escape. That's what the `scope` annotation on the 
member is fore.

Does that clear it up?


More information about the Digitalmars-d mailing list