On 17.10.2018 14:24, Timon Gehr wrote:
and unshared methods are only allowed to access unshared members.
This is actually not necessary, let me reformulate:
You want:
- if you have a C c and a shared(C) s, typeof(s.x) == typeof(c.x).
- shared methods are not allowed to access unshared members.
- shared is not transitive, and therefore unshared class references
implicitly convert to shared class references
Applied to pointers, this would mean that you can implicitly convert
int* -> shared(int*), but not shared(int*)->int*, int* -> shared(int)*
or shared(int)* -> int*. shared(int*) and shared(shared(int)*) would be
different types, such that shared(int*) cannot be dereferenced but
shared(shared(int)*) can.
