codes in swift REPL:<br><br>protocol P {<br>  var x:Int {get}<br>}<br>MemoryLayout&lt;P&gt;.size <br>//r0 : Int = 40<br><br>struct S1 {<br>  var v1:Int = 0<br>}<br>MemoryLayout&lt;S1&gt;.size<br>//r1: Int =8<br><br>struct S2: P {<br>  var v2: Int<br>  var x:Int<br>}<br>MemoryLayout &lt;S2&gt;.size<br>//r2: Int = 16<br><br>** Question:<br>  Why we need to known the size of a object that can&#39;t be instanced?<br><br> ** Confuse:<br>MemoryLayout &lt;S2.Type&gt;.size<br>//r3: Int = 0<br><br>MemoryLayout &lt;P.Type&gt;.size<br>//r4: Int = 16<br><br><br><br><div class="gmail_quote"><div dir="ltr">Xiaodi Wu via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt;于2016年8月5日 周五16:34写道:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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><div dir="ltr"><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><div><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" target="_blank">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><font color="#888888"><br></font></span></blockquote><div><br></div></div></div></div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>Proposal and stdlib PRs have both been created.</div></div></div></div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span><font color="#888888">
--<br>
-Dave<br>
</font></span></blockquote></div></div></div>
_______________________________________________<br>
swift-evolution mailing list<br>
<a href="mailto:swift-evolution@swift.org" target="_blank">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>
</blockquote></div>