Re: Why is &array[0] @safer than array.ptr?

[TheFlyingFiddle via Digitalmars-d-learn]

On Tuesday, 24 January 2017 at 11:28:17 UTC, Atila Neves wrote:

void main() {
    foo;
}

void foo() @safe {
    int[] array;
    auto ptr = array.ptr;
}

foo.d(7): Deprecation: array.ptr cannot be used in @safe code, use &array[0] instead

&array[0] is incredibly ugly and feels like an unnecessary hack, and I'm wondering why it's @safe.

Atila

Just a speculative guess.

unittest @safe
{
   int[] array;

   auto ptr  = array.ptr; //could be null
   auto ptr2 = &array[0]; //Does a bounds check?
   auto ptr3 = &array[5]; //Should do a bounds check.
}