proposal for general dup function

[Jacob Carlborg]

On 2012-12-10 20:46, Andrei Alexandrescu wrote:

> Just like Dan I thought it can be done but actually ownership is
> impossible to establish in general. Consider:
>
> class List(T) {
>      List next;
>      T payload;
>      ...
> }
>
> versus
>
> class Window {
>      Window parent;
>      ...
> }
>
> It's pretty obvious from the name that duplicating a List would entail
> duplicating its tail, whereas duplicating a Window would entail just
> copying the reference to the same parent. However, at the type level
> there's no distinction between the two members.

I'm not sure, why wouldn't you want to copy the parent window as well?

-- 
/Jacob Carlborg