<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Apr 13, 2017, at 5:19 AM, David Sweeris via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><blockquote type="cite" class=""><div class=""><br class="Apple-interchange-newline">On Apr 13, 2017, at 3:56 AM, Andrew Hart via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div class=""><div id="bloop_customfont" class="" style="font-family: Helvetica, Arial; font-size: 13px; margin: 0px;">Recently I’ve been considering the lack of safety around array indexes. Swift is designed with safety in mind, so this example would not compile:</div><div id="bloop_customfont" class="" style="font-family: Helvetica, Arial; font-size: 13px; margin: 0px;"><br class=""></div><div id="bloop_customfont" class="" style="font-family: Helvetica, Arial; font-size: 13px; margin: 0px;">var myString: String? = “hello”</div><div id="bloop_customfont" class="" style="font-family: Helvetica, Arial; font-size: 13px; margin: 0px;">myString.append(“ world!”)</div><div id="bloop_customfont" class="" style="font-family: Helvetica, Arial; font-size: 13px; margin: 0px;"><br class=""></div><div id="bloop_customfont" class="" style="font-family: Helvetica, Arial; font-size: 13px; margin: 0px;">The string is optional, not guaranteed to exist, so the last line requires a “!” to force-unwrap it.</div><div id="bloop_customfont" class="" style="font-family: Helvetica, Arial; font-size: 13px; margin: 0px;"><br class=""></div><div id="bloop_customfont" class="" style="font-family: Helvetica, Arial; font-size: 13px; margin: 0px;"><br class=""></div><div id="bloop_customfont" class="" style="font-family: Helvetica, Arial; font-size: 13px; margin: 0px;"><br class=""></div><div id="bloop_customfont" class="" style="margin: 0px;"><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp; public func tableView(_ tableView: UITableView, numberOfRowsInSection section: Int) -&gt; Int {</div><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp; &nbsp; &nbsp; let section = self.sections[section]</div><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp; &nbsp; &nbsp;&nbsp;</div><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp; &nbsp; &nbsp; return section.items.count</div><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp; }</div><div id="bloop_customfont" class="" style="margin: 0px;"><br class=""></div><div id="bloop_customfont" class="" style="margin: 0px;">In this example, we could provide a section number that goes beyond the bounds of the self.sections array, without any warning.</div><div id="bloop_customfont" class="" style="margin: 0px;"><br class=""></div><div id="bloop_customfont" class="" style="margin: 0px;">My suggestion is perhaps arrays should by default return an optional when given an index, and of course they’d support forced-unwrapping too. So you could then do this:</div><div id="bloop_customfont" class="" style="margin: 0px;"><br class=""></div><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp; let section = self.sections[section]</div><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp; if section == nil {</div><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp; &nbsp; &nbsp; return 0</div><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp; } else {</div><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp; &nbsp; &nbsp; return section!.items.count</div><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp; }</div><div id="bloop_customfont" class="" style="margin: 0px;"><br class=""></div><div id="bloop_customfont" class="" style="margin: 0px;">Or you could do this:</div><div id="bloop_customfont" class="" style="margin: 0px;"><br class=""></div><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp; let section = self.sections[section]!</div><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp;&nbsp;</div><div id="bloop_customfont" class="" style="margin: 0px;">&nbsp; &nbsp; return section.items.count</div></div><div id="bloop_sign_1491894931246087936" class="bloop_sign"></div><div id="bloop_sign_1491894931246087936" class="bloop_sign"><br class=""></div><div id="bloop_sign_1491894931246087936" class="bloop_sign">Of course this would be less convenient in a lot of cases, but this is the 1 place where apps seem to encounter a crash, crashing for the same reason that’s especially avoided across most of the rest of Swift.</div></div></div></div></blockquote><br class=""></div><div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">My understanding is that we need the current behavior to meet performance goals. We’ve discussed adding a “safe” subscript before, but the discussion usually fizzles out when no clear winner for the argument label emerges.</div></div></blockquote><br class=""></div><div>Also, this discussion is common enough that it’s on the “commonly rejected” list:</div><div><br class=""></div><div><span class="Apple-tab-span" style="white-space:pre">        </span><a href="https://github.com/apple/swift-evolution/blob/master/commonly_proposed.md" class="">https://github.com/apple/swift-evolution/blob/master/commonly_proposed.md</a></div><div><br class=""></div><div><br class=""></div><div><span class="Apple-tab-span" style="white-space:pre">        </span>- Doug</div><div><br class=""></div><br class=""></body></html>