My Reference Safety System (DIP???)

[deadalnix via Digitalmars-d]

On Monday, 2 March 2015 at 20:36:53 UTC, Marc Schütz wrote:
> Interesting approach. I will have to think about that. But I 
> think it does not really work. Your example hides the fact that 
> there are actually two types involved (or can be): an RC 
> wrapper, and the actual class. foo() would need to take at 
> least `c1` as the wrapper type `RC!C`, not `C` itself, 
> otherwise it couldn't copy it. But that defeats the purpose of 
> borrowing, that it neutralizes the actual memory management 
> strategy; foo() should know whether `c1` is reference counted 
> or not.

Please reread. I'm assuming a refcounting system like Andrei's 
proposal for objects.

The result would be the same for a RefCounted wrapper (a solution 
that I would prefer) in the sense you'd have to copy the wrapper 
to get ownership of it before being able to assign to it.