<p dir="ltr">On 7 Feb 2015 12:50, "David Nadlinger via Digitalmars-d" <<a href="mailto:digitalmars-d@puremagic.com">digitalmars-d@puremagic.com</a>> wrote:<br>
><br>
> On Saturday, 7 February 2015 at 12:10:45 UTC, Iain Buclaw wrote:<br>
>><br>
>> Some cod scenarios:<br>
>> 1. Comparisons of == fold into 'false'  (unless comparing to self)<br>
>> 2. Comparisons of != fold into 'true'  (unless comparing to self)<br>
>> 3. Conversion to dynamic arrays is { .length=0, .ptr=&arr0 }<br>
><br>
><br>
> What does "arr0" refer to?<br>
></p>
<p dir="ltr">A zero length static array.</p>
<p dir="ltr">> And assuming that a0.ptr and a1.ptr would end up being the same in your proposal, do you really want to have a situation where a0.ptr == a1.ptr && a0.length == a1.length but a0 != a1?<br>
><br>
> David</p>
<p dir="ltr">a0.ptr == a1.ptr  // false, enforced by compiler. Comparison not actually emitted.<br>
a0.length == a1.length // true, both are 0<br>
a0 != a1  // true, same effect as first.</p>
<p dir="ltr">Iain.</p>