My thoughts & tries with rvalue references

Namespace rswhite4 at googlemail.com
Mon Apr 1 14:31:22 PDT 2013


> But currently I have a problem with the implemenation of 'A&'. 
> I do not know how to convey the fact that behind the type is a 
> '&'. IMO the correct D way is to create a new type like 
> TypePointer -> TypeRvRef. But my attempts failed so far to 
> create such type.
> Because of that I decided to declare a boolean flag 'isRvRef' 
> inside of the basic Type struct which I set to TRUE if a '&' is 
> behind the type. This works and don't break any code but I 
> think that should be fixed by someone with more knowledge.
> But I think also that this rvalue problem has a very low 
> priority.
> So if we want to resolve this issue, then we need to do it 
> yourself.
> If someone wants to help me, the code and the current solution 
> is on github:
> https://github.com/Dgame/dmd/tree/rvalueRef

I could finally fix the problem.
Now for rvalue references an extra type is created: TypeRvRef.
But this solution does not work with templates. I do not yet know 
how to solve this, but maybe someone knows advice.
Code: https://github.com/Dgame/dmd/tree/rvalueRef2


More information about the Digitalmars-d mailing list