DIP74: Reference Counted Class Objects

Andrei Alexandrescu via Digitalmars-d digitalmars-d at puremagic.com
Thu Feb 26 15:42:38 PST 2015


On 2/26/15 3:19 PM, bearophile wrote:
> Andrei Alexandrescu:
>
>> The compiler detects automatically and treats specially all classes
>> and interfaces that define the following two methods:<
>
> Defining only one of those methods needs to give a compile-time error.

Well types that define empty() and front() but not popFront() are not in 
error, either.

>> This lowering assumes left-to-right evaluation of function parameters.<
>
> Is this currently enforced in all D compilers?

No, though there have been improvements. Brian submitted an(other) issue.

>> This DIP allows defining reference counted class objects that are
>> usable in @safe code. However, it does not enforce safety.<
>
> And do you plan to later design what's needed to enforce their safety?

Not at this time.


Andrei




More information about the Digitalmars-d mailing list