On Saturday, 23 July 2016 at 15:25:02 UTC, Steven Schveighoffer
wrote:
On 7/23/16 10:53 AM, Rufus Smith wrote:
On Saturday, 23 July 2016 at 14:15:03 UTC, Lodovico Giaretta
wrote:
On Saturday, 23 July 2016 at 13:18:03 UTC, Rufus Smith wrote:
Trying to compare a *ptr value with a value in nogc code
results in
the error:
Error: @nogc function '...' cannot call non-@nogc function
'object.opEquals'
Shouldn't object opEquals be marked?
If object.opEquals is marked @nogc, than all D classes must
implement
it as @nogc, because (of course) you cannot override a @nogc
method
with a not-@nogc one (while the opposite is possible, of
course).
So marking it @nogc is not only a big breaking change, but
also very
limiting.
Um, this isn't right. GC code can always call non-gc code.
The issue is that for *classes*, the proper way to add an
opEquals is to override the base version. The base version
existed LONG before @nogc did, and so it's not appropriately
marked.
Not only that, but @nogc is too limiting (if I want to use GC
in opEquals, I should be able to).
The real problem here is that there is a base method at all. We
have been striving to remove it at some point, but it is very
difficult due to all the legacy code which is written.
Almost all the Object base methods need to be removed IMO. You
can add them at a higher level if you need them, and then
specify your requirements for derived classes.
Including opHash, opCmp, toString, etc.
If you mark opEquals nogc, it breaks nothing except
implementations of
opEquals that use the GC. GC code can still call it nogc
opequals, it
only enforces opEquals code to avoid the GC itself, which
isn't a
terrible thing.
It breaks all classes which use GC in opEquals. Note that you
can't really compare two immutable or const objects either!
(well, actually you can, but that's because the runtime just
casts away const and lets you have undefined behavior).
What is terrible is that nogc code can never have any equality
comparisons! It is impossible unless one manually tests them,
but how?
Every method would be brittle. Do a memory test? compare
element by
element? One can't predict what to do.
It is unfortunate. I hope we can fix it. I'd rather not add
another exception like we have for comparing const objects.
So, you are trying off laziness to break nogc. As it stands,
if nogc
code can't compare equality, it is broken and useless. Why put
it in the
language then?
@nogc is not useless, it just cannot handle Objects at the
moment.
Broke! Even if opEquals of T does not use any GC we can't
write test to
be nogc, which means we can't have S be nogc or anything that
depends on
S that is nogc. This must be a dirty trick played by the
implementors of
nogc to keep everyone on the gc nipple?
I assure you, it's not a trick. It's legacy. It needs fixing,
but the fix isn't painless or easy.
-Steve
I've seen this type of problem many times before when using the
@nogc attribute. With alot of work, and breaking changes, you
could fix it in the case of opEquals, and in the end you still
end up with the restriction that you can't use the GC in
opEquals, which may be a good thing, but some would disagree.
But this is a common problem and I think a more exhaustive
solution would be to allow @nogc code to call that that is either
marked as nogc, or inferred to be @nogc. Instead of treating
@nogc as a special compiler directive to check for GC code, the
compiler could check for GC code in all cases, and infer the
attribute for all functions. Then @nogc would simply be a way
for the developer to tell the compiler to make sure they aren't
using @nogc where they don't intend to. This allows code that is
written without @nogc to be called from code that does use it.
It takes an effort away from the developer and moves it to the
compiler. It allows @nogc to work with existing code.
Maybe this would result in a big performance hit on the compiler
because now it would always have to check for GC code, instead of
just when it's specified with @nogc...not sure.
Anyway, this is just a general overview. There's obviously alot
of details and specifics that were glossed over but I think the
general idea could be a good solution.