
27 May
2010
27 May
'10
6:23 p.m.
Ingo Loehken wrote:
if I understand "hard to reason about" in the right why
Aliasing already makes programs hard to reason about, and albeit this is mostly known as an optimizer problem rather than a human one, it does make changes to state hard to track. Sharing ownership means it also becomes difficult to tell what the lifetime of an object is.
there is no need for shared ownership at all
I didn't say it wasn't needed; just that you shouldn't apply it to everything as a silver bullet fixing your memory management problems. There are other ways to do memory management well with exclusive ownership.