Re: RFC: reference counted Throwable

[Andrei Alexandrescu via Digitalmars-d]

On 9/21/14, 11:20 AM, Adam D. Ruppe wrote:
BTW hmmm what about this:
interface Foo { }

class Bar : Foo, RCObject {}

class Pwned : Foo {}

void main() {
    Foo bar = new Bar();
    /* where is bar.Release() called? */
    Foo pwned = new Pwned();
    /* better hope pwned.Release() isn't called cuz that's impossible */
}


I *believe* IUnknown interfaces are special and a separate category from
regular D interfaces, so this would be statically disallowed.

But with the RCObject, we need to be careful about implicit casting to
interfaces transparently killing memory safety.

Good point.

of course then we might be weakening their usefulness. gah we just need
scope references, then we can pass the interface with confidence that it
won't be escaped. yeah yeah i know i sound like a broken record.

I don't think scope references are workable. I'll explain why in a 
latter post.


Andrei