On Thursday, 4 February 2016 at 02:33:06 UTC, Andrei Alexandrescu
wrote:
Got it, thanks. That's a bug in the implementation, no two ways
about it. No copy should occur there, neither theoretically nor
practically. Please report it to bugzilla at
http://issues.dlang.org. Thanks very much! -- Andrei
I don't see how that point can be argued.
The language reference states:
«
a op= b
are semantically equivalent to:
a = cast(typeof(a))(a op b)
»
Therefore:
«a ~= b» should be semantically equivalent to « a =
cast(typeof(a))(a ~ b)»
So if the language reference is correct you need copy semantics?
I hope you guys will make sure that the language reference is in
sync with the implementation.
