DIP74: Reference Counted Class Objects

[Andrei Alexandrescu via Digitalmars-d]

On 2/27/15 12:53 AM, Kagamin wrote:
> On Thursday, 26 February 2015 at 22:02:51 UTC, Andrei Alexandrescu wrote:
>>> So is the end game of dip25 and dip74 to not have to wrap types you
>>> intend to manage with RC like C++ but just design the classes/structs
>>> themselves around being RCed from the start?
>>
>> That is correct. Well as shown there are ways to design classes that
>> work both with RC and GC. -- Andrei
>
> If a class is meant to be refcounted at compile time, what's a
> difference from
> alias MyClass = RefCounted!MyClassImpl;
> // use MyClass instead
> except for it introduces an additional check for null and a branch?

The typechecking on RCOs is stricter, which makes them safe. -- Andrei