Am 11.01.2012 20:05, schrieb Timon Gehr:
On 01/11/2012 05:58 PM, Benjamin Thaut wrote:
1. It's currently not possible to overload opAssign for structs with a
template because opAssign(T)(T rh) if(is(T == typeof(this)))
is not allowed (stated in the documentation). And templates can not
overload non template functions (already a known bug).
2. It's not possible to use auto ref with opAssign because
opAssign(T)(auto ref T rh) if(is(T == typeof(this))) is not allowed
(partly the same issue as 1).
Why is this not allowed? (The documentation does not state any reason)
There is no reason, and DMD accepts it. Maybe file a bug against the
documentation?
struct S{
auto opAssign(T)(auto ref T rhs) if(is(T==typeof(this))){return rhs;}
}
void main(){
S a, b;
a=b;
}
3. Calling a method that is overloaded with shared / const / immutable
from within a function has to be done with this.method()
otherwise the compiler complains about ambugiosity. Is method() not the
same as this.method() ??
Yes it is. Has this been filed already?
Bug ticket for issue 3: http://d.puremagic.com/issues/show_bug.cgi?id=7276
--
Kind Regards
Benjamin Thaut
