On 1/9/13 1:09 PM, Mehrdad wrote:
On Wednesday, 9 January 2013 at 20:16:04 UTC, Andrei Alexandrescu wrote:
What you're missing is that you define a store that doesn't model
object references with object addresses. That's what I meant by
"references are part of the language". If store is modeled by actual
memory (i.e. accessing an object handle takes you to the object), you
must have GC for the language to be safe. If store is actually
indirected and gives up on the notion of address, then sure you can
implement safety checks. The thing is everybody wants for references
to model actual object addresses; indirect handles as the core
abstraction are uninteresting.
Andrei
But why can't Reference hold the actual address too?
If it holds the actual address you can't implement memory reclamation
and keep it safe.
Andrei
