<div class="gmail_quote">On Thu, Feb 17, 2011 at 9:14 AM, Andrei Alexandrescu <span dir="ltr"><<a href="mailto:andrei@erdani.com">andrei@erdani.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
I'm not sure I see the improvement over a cast. If anything it makes everything more comfy and therefore riskier.<br>
<br>
What's wrong with to!int(arr.length)? It's safe too.<br><font color="#888888">
</font><br></blockquote></div><br>Too verbose and (because of runtime checks) inefficient for something that's safe 99.999% of the time and useful fairly often in practice.  IDK if it's just my programming style but I use arrays of indices into other arrays all the time.  Really, when's the last time you worked with an array over 2 billion elements long (or 4 billion if we go with uint)?  It's just frustrating to put up with all these formalities in the overwhelmingly common cases (where array.length < int.max is a safe assumption) for added safety in the extremely rare case where it's not.<br>