shared - i need it to be useful

[Steven Schveighoffer]

On 10/17/18 8:02 AM, Timon Gehr wrote:
> Now, if a class has only shared members, that is another story. In this 
> case, all references should implicitly convert to shared. There's a DIP 
> I meant to write about this. (For all qualifiers, not just shared).

When you say "shared members", you mean all the data is shared too or 
just the methods are shared?

If not the data, D has a problem with encapsulation. Not only all the 
methods on the class must be shared, but ALL code in the entire module 
must be marked as using a shared class instance. Otherwise, other 
functions could modify the private data without using the proper synch 
mechanisms.

We are better off requiring the cast, or enforcing that one must use a 
shared object to begin with.

I think any sometimes-shared object is in any case going to benefit from 
parallel implementations for when the thing is unshared.

-Steve