@swift-ci create

It's a deliberate choice for ObjC weak references to fatal error when attempting to place a deallocating object into one. Swift's own weak references instead choose to safely store nil. Both are valid, but the inconsistency is annoying. This certainly could be changed, but I'm not sure if it's the right thing to do.

For a case like this, you probably don't want lazy anyway. In the crashing case, when lazy var hasn't been accessed yet, this code runs the initializer and then throws the value away, wasting a bunch of effort. You could instead implement lazy semantics manually, which would allow you to skip the whole thing in deinit if the value was never set. It might be worth somehow supporting that for the built-in lazy feature as well.

Comment by Jason Persampieri (JIRA)

Agreed that in this case you wouldn't want lazy, but in reality this is non-trivial to catch. And I don't want to wholesale prohibit lazy, of course. Internally I've started recommending that we always be on the lookout for lazy var accesses in deinit. But that's a half-measure.

If we did want to formalize something, I wonder if we could add Optional-like access to all lazy vars. That is, in addition to

self.lazyVar.cleanup()

that is guaranteed to create lazyVar if necessary, we also offer

self.lazyVar?.cleanup()

that would call cleanup only if lazyVar is already created?

It's still up the developer to notice, so it's not perfect, but I would like to think it would lead to more attention being paid. And if changing the ObjC behavior isn't an option, it's probably the best we can hope for.

But that's more a proposal than a bug fix, I guess 🙂

I like that idea a lot. I'd take it further and ban the non-Optional version in deinit once the potential source breakage allows for it.

Comment by Jason Persampieri (JIRA)

On further thought, that might not work since the lazy var could actually be Optional. Hmm... How could we make that work?

Comment by Jason Persampieri (JIRA)

My teammates have suggested introducing the interrobang operator for this.

self.lazyVar‽.cleanup()

I obviously need new teammates.

I mean, it's kind of hard to type. How about self.lazyVar¿.cleanup()? On a standard Mac keyboard, you can get that with option-shift-?, nice and easy.

Taking this seriously for a moment, something with $ like we do for property wrappers might be the way to go. lazy probably ought to just be a property wrapper at this point.