<div dir="ltr">On Thu, Aug 4, 2016 at 6:02 PM, Dave Abrahams <span dir="ltr">&lt;<a href="mailto:dabrahams@apple.com" target="_blank">dabrahams@apple.com</a>&gt;</span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><br>
on Thu Aug 04 2016, Dmitri Gribenko &lt;gribozavr-AT-gmail.com&gt; wrote:<br>
<br>
&gt; On Wed, Aug 3, 2016 at 7:28 PM, Xiaodi Wu via swift-evolution<br>
&gt; &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt; wrote:<br>
&gt;&gt; Could I suggest an alternative? It&#39;s conservative in that it mimics the<br>
&gt;&gt; relationships we had before the proposal was implemented and also maintains<br>
&gt;&gt; the simplicity of the caseless enum:<br>
&gt;&gt;<br>
&gt;&gt; ```<br>
&gt;&gt; extension MemoryLayout {<br>
&gt;&gt;   static func size(ofValue _: T) -&gt; Int { return MemoryLayout.size }<br>
&gt;&gt;   // etc.<br>
&gt;&gt; }<br>
&gt;&gt; ```<br>
&gt;<br>
&gt; I like this API.  I think given all the alternatives that we explored,<br>
&gt; it is better than those.  I also think that it nicely avoids the<br>
&gt; following issue with the proposed MemoryLayout.of(type(of:<br>
&gt; someExpression)).size syntax.<br>
&gt;<br>
&gt; Imagine that you have a value whose static type differs from the<br>
&gt; dynamic type.  For example, a protocol existential:<br>
&gt;<br>
&gt; protocol P {}<br>
&gt; extension Int : P {}<br>
&gt; var x: P = 10<br>
&gt;<br>
&gt; The question is, what does MemoryLayout.of(type(of: x)).size compute,<br>
&gt; size of the existential box, or the size of an Int instance?  The<br>
&gt; semantics of &#39;type(of:)&#39; are &quot;return the dynamic type&quot;, so the<br>
&gt; straightforward conclusion is that MemoryLayout.of(type(of: x)).size<br>
&gt; returns the size of the dynamic type instance, of Int.<br>
&gt;<br>
&gt; What actually happens is that &#39;type(of: x)&#39; returns a dynamic value of<br>
&gt; &#39;Int.self&#39;, statically typed as &#39;P.Type&#39;.  So P gets deduced for the<br>
&gt; generic parameter of MemoryLayout, and MemoryLayout.of(type(of:<br>
&gt; x)).size returns the size of the protocol box.<br>
&gt;<br>
&gt; I think due to this complex interaction, using type(of:) might lead to<br>
&gt; confusing code, and thus I like Xiaodi&#39;s approach better.<br>
&gt;<br>
&gt; Dmitri<br>
<br>
</div></div>Okay, I&#39;m convinced; that&#39;s what we should do.<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br></div><div>Proposal and stdlib PRs have both been created.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="HOEnZb"><font color="#888888">
--<br>
-Dave<br>
</font></span></blockquote></div><br></div></div>