A Refcounted Array Type

[weaselcat via Digitalmars-d]

On Saturday, 28 February 2015 at 04:18:38 UTC, ketmar wrote:
> On Fri, 27 Feb 2015 20:51:54 +0000, deadalnix wrote:
>
>> On Friday, 27 February 2015 at 04:13:03 UTC, Steven 
>> Schveighoffer wrote:
>>> In that case, you shouldn't be subject to any kind of race 
>>> conditions.
>>> But we can't make the library/language based on this 
>>> assumption. Your
>>> case is the exceptional case.
>>>
>>>
>> His case is not @safe, so we can ignore that problem.
>
> the compiler tends to disagree:
>
> === test.d ===
> int myglobal;
>
> class A {
>   ~this () @safe { if (myglobal == 42) assert(0); }
> }
>
> void main () {
>   auto a = new A;
> }
> ======
>
> dmd -w -c -o- test.d
>
> wow! no warnings, no errors!

Slighty off-topic,
If DIP74 is approved it would be nice if destructors were 
redesigned(and possibly dropped altogether for non-deterministic 
lifetimes.)