<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div></div><div>Inline:</div><div><br>Am 06.02.2016 um 01:20 schrieb Andrew Bennett &lt;<a href="mailto:cacoyi@gmail.com">cacoyi@gmail.com</a>&gt;:<br><br></div><blockquote type="cite"><div><div dir="ltr">Has it been considered to just do this:<div><br><div>extension CollectionType {<br><div><font face="monospace, monospace">&nbsp; &nbsp; func at(index: Index) -&gt; Generator.Element? {</font></div><div><span style="font-family:monospace,monospace">&nbsp; &nbsp;</span><span style="font-family:monospace,monospace">&nbsp;</span><font face="monospace, monospace">&nbsp; &nbsp; return self.indices ~= index ?&nbsp;</font><span style="font-family:monospace,monospace">self[index] : nil</span></div><div><span style="font-family:monospace,monospace">&nbsp; &nbsp;</span><span style="font-family:monospace,monospace">&nbsp;</span><font face="monospace, monospace">}</font></div></div><div><font face="monospace, monospace">&nbsp; &nbsp; func update(value: Generator.Element, atIndex: Index) -&gt;&nbsp;</font><span style="font-family:monospace,monospace">Generator.Element? {</span></div><div><span style="font-family:monospace,monospace">&nbsp; &nbsp; &nbsp; &nbsp; guard&nbsp;</span><span style="font-family:monospace,monospace">self.indices ~= index else { return nil }</span></div><div><span style="font-family:monospace,monospace">&nbsp; &nbsp; &nbsp; &nbsp; let oldValue =&nbsp;</span><span style="font-family:monospace,monospace">self[index]</span></div><div><span style="font-family:monospace,monospace">&nbsp; &nbsp; &nbsp; &nbsp; self[index] = value</span></div><div><span style="font-family:monospace,monospace">&nbsp; &nbsp; &nbsp; &nbsp; return oldValue</span></div><div><span style="font-family:monospace,monospace">&nbsp; &nbsp; }</span></div><div><font face="monospace, monospace">}</font></div><div><font face="monospace, monospace"><br></font></div>Compare:<div><span style="font-family:monospace,monospace">&nbsp; &nbsp; &nbsp;</span><font face="monospace, monospace">let x = array[safe: index]</font></div><div><span style="font-family:monospace,monospace">&nbsp; &nbsp; &nbsp;let y =</span><span style="font-family:monospace,monospace">&nbsp;</span><font face="monospace, monospace"><a href="http://array.at">array.at</a>(</font><span style="font-family:monospace,monospace">index</span><font face="monospace, monospace">)</font></div><div><font face="monospace, monospace"><br></font></div></div>It's more concise (for the getter), doesn't have to introduce new syntax, works in current swift, and it doesn't have ambiguity about nil in a subscript setter.<div><br></div></div></div></blockquote><div><br></div><div>Although it is shorter I think an additional safe index access is a small tweak of the normal index access. Therefore it should be a subscript.</div><div>Furthermore both method names don't indicate that they could fail.</div><div>Also consider this example:</div><div><br></div><div><div class="gmail_extra"><div class="gmail_quote"><div dir="auto"><font color="#000000"><span style="background-color: rgba(255, 255, 255, 0);">&nbsp; &nbsp; &nbsp; &nbsp; array[ifExists: 0] =&nbsp;array[ifExists: 1]</span></font></div><div dir="auto"><font color="#000000"><span style="background-color: rgba(255, 255, 255, 0);"><br></span></font></div><div dir="auto"><font color="#000000"><span style="background-color: rgba(255, 255, 255, 0);">&nbsp; &nbsp; &nbsp; &nbsp; // vs</span></font></div><div dir="auto"><font color="#000000"><span style="background-color: rgba(255, 255, 255, 0);"><br></span></font></div><div dir="auto"><font color="#000000"><span style="background-color: rgba(255, 255, 255, 0);">&nbsp; &nbsp; &nbsp; &nbsp; <a href="http://array.at">array.at</a>(1).map{ array.update($0, atIndex: 0) }</span></font></div><div dir="auto"><font color="#000000"><span style="background-color: rgba(255, 255, 255, 0);"><br></span></font></div><div dir="auto"><font color="#000000"><span style="background-color: rgba(255, 255, 255, 0);">&nbsp; &nbsp; &nbsp; &nbsp; if let newElement = <a href="http://array.at">array.at</a>(1) {</span></font></div><div dir="auto"><font color="#000000"><span style="background-color: rgba(255, 255, 255, 0);">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;</span></font><span style="background-color: rgba(255, 255, 255, 0);">array.update(newValue, atIndex: 0)</span></div><div dir="auto"><span style="background-color: rgba(255, 255, 255, 0);">&nbsp; &nbsp; &nbsp; &nbsp; }</span></div></div></div></div><br><blockquote type="cite"><div><div dir="ltr"><div>There's precedent for the update function in Dictionary:</div><font face="monospace, monospace">&nbsp; &nbsp; public mutating func updateValue(value: Value, forKey key: Key) -&gt; Value?</font><div><div><br></div><div>It would be a shame (and surprising/unsafe) to have to do this:<br><div><font face="monospace, monospace"><br></font></div></div><div><font face="monospace, monospace">&nbsp; &nbsp; array[safe: index] = .Some(nil) // stores nil</font></div></div></div></div></blockquote><div><br></div><div>You only have to use this if "array" is of type "[Int?]" but how often do you use such a type?</div><br><blockquote type="cite"><div><div dir="ltr"><div><div><font face="monospace, monospace">&nbsp; &nbsp;&nbsp;</font><span style="font-family:monospace,monospace">array[safe: index] = nil &nbsp; &nbsp; &nbsp; &nbsp;// deletes a value</span><font face="monospace, monospace"><br></font></div><div><font face="monospace, monospace"><br></font></div></div></div></div></blockquote><div><br></div><div>This doesn't delete a value. It does nothing.</div><div><br></div><div>- Maximilian</div><br><blockquote type="cite"><div><div class="gmail_extra"><br></div></div></blockquote><blockquote type="cite"><div><div class="gmail_extra"><div class="gmail_quote">On Sat, Feb 6, 2016 at 10:58 AM, Maximilian Hünenberger <span dir="ltr">&lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div></div><div>You are totally right. The return type is "Int??".</div><div><br></div><div>My point was that if we allowed something like this (as suggested by Dave Sweeris I think):</div><span class=""><div><br></div><div>&nbsp; &nbsp; &nbsp; &nbsp; var array: [Int?] = [1]</div><div>&nbsp; &nbsp; &nbsp; &nbsp; array[ifExists: 0] = nil</div><div><br></div></span><div>To set the element at index 0 to nil instead of doing nothing.</div><div>The next example would also set index 0 to nil even though the getter failed:</div><div><br></div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;<span style="background-color:rgba(255,255,255,0)">array[ifExists: 0] =&nbsp;array[ifExists: 1]</span></div><div><br></div><div><br></div><div>- Maximilian</div><div><div class="h5"><div><br>Am 05.02.2016 um 10:20 schrieb Haravikk &lt;<a href="mailto:swift-evolution@haravikk.me" target="_blank">swift-evolution@haravikk.me</a>&gt;:<br><br></div><blockquote type="cite"><div><br><div><blockquote type="cite"><div>On 4 Feb 2016, at 20:24, Maximilian Hünenberger via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt; wrote:</div><br><div><div style="word-wrap:break-word"><div>I just realized that the normal setter for failable lookups is very nice in case of assigning/swapping:</div><div><br></div><div><blockquote type="cite"><div style="word-wrap:break-word"><div><div style="margin:0px;line-height:normal;font-family:'Fira Mono';color:rgb(147,161,161)"><div style="margin:0px;line-height:normal;color:rgb(211,54,130)">extension<span style="color:rgb(147,161,161)">&nbsp;</span><span style="color:rgb(39,139,210)">Array</span><span style="color:rgb(147,161,161)">&nbsp;{</span></div><div style="margin:0px;line-height:normal">&nbsp; &nbsp;&nbsp;<span style="color:rgb(211,54,130)">subscript</span>(ifExists idx:&nbsp;<span style="color:rgb(39,139,210)">Index</span>) -&gt;&nbsp;<span style="color:rgb(39,139,210)">Element</span>? {</div><div style="margin:0px;line-height:normal">&nbsp; &nbsp; &nbsp; &nbsp;&nbsp;<span style="color:rgb(211,54,130)">get</span>&nbsp;{&nbsp;<span style="color:rgb(211,54,130)">return</span>&nbsp;(<span style="color:rgb(39,139,210)">startIndex</span>&nbsp;..&lt;&nbsp;<span style="color:rgb(39,139,210)">endIndex</span>) ~= idx ?&nbsp;<span style="color:rgb(211,54,130)">self</span>[idx] :&nbsp;<span style="color:rgb(211,54,130)">nil</span>&nbsp;}</div><div style="margin:0px;line-height:normal">&nbsp; &nbsp; &nbsp; &nbsp;&nbsp;<span style="color:rgb(211,54,130)">set</span>&nbsp;{&nbsp;<span style="color:rgb(211,54,130)">if</span>&nbsp;(<span style="color:rgb(39,139,210)">startIndex</span>&nbsp;..&lt;&nbsp;<span style="color:rgb(39,139,210)">endIndex</span>) ~= idx &amp;&amp; newValue !=&nbsp;<span style="color:rgb(211,54,130)">nil</span>&nbsp;{&nbsp;<span style="color:rgb(211,54,130)">self</span>[idx] = newValue! } }</div><div style="margin:0px;line-height:normal">&nbsp; &nbsp; }</div><div style="margin:0px;line-height:normal">}</div></div></div></div></blockquote></div><div><br></div><div>&nbsp; &nbsp; &nbsp; &nbsp; // array[index1] is only set if both indexes are valid</div><div>&nbsp; &nbsp; &nbsp; &nbsp; array[ifExists: index1] = array[ifExists: index2]&nbsp;</div><div><br></div><div><br></div><div>if array is of type [Int?] and the special setter for optional Elements would have been added:</div><div><br></div><div>array[index1] would be set to "nil" if array[index2] is nil <b style="text-decoration:underline">or</b>&nbsp;index2 is not valid which is unfortunate.</div></div></div></blockquote></div><br><div>Wouldn’t the return type be Int?? in this case? It’s not as pretty to test for as a plain Int? but iirc you can still distinguish a return type of nil from an optional that happens to contain nil, which should allow you to tell the difference between a nil value and an invalid index, I just can’t recall how at the moment (as I design around cases like these like my life depends on it ;)</div></div></blockquote></div></div></div><br>_______________________________________________<br>
swift-evolution mailing list<br>
<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a><br>
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br>
<br></blockquote></div><br></div>
</div></blockquote></body></html>