Operator overloading through UFCS doesn't work
Maxim Fomin
maxim at maxim-fomin.ru
Sun Oct 14 00:14:22 PDT 2012
On Sunday, 14 October 2012 at 07:01:30 UTC, Tommi wrote:
> Actually, it seems that alias this has precedence over UFCS.
> So, a free function opUnary wouldn't ever suit better than an
> actual method opUnary of the thing referred to by that alias
> this.
http://dpaste.dzfl.pl/d0a4431d
Free function doesn't suit better than actual method. The issue
is absence of the actual method.
opUnary method has priority over alias this, which does make
sense because alias this is chosen only when it is impossible to
apply operation over A type. If this request is approved and
compiler has opUnary definition outside type (which suits better
then alias this) such function would hijack alias this. If not,
there is a new case when something is going special than at usual
cases and only for the purpose of writing operator overloading
methods outside the body of the type.
More information about the Digitalmars-d-learn
mailing list