<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 28 Jul 2017, at 18:55, Joe Groff <<a href="mailto:jgroff@apple.com" class="">jgroff@apple.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div style="font-family: Helvetica; font-size: 14px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><blockquote type="cite" class=""><div class=""><br class="Apple-interchange-newline">On Jul 28, 2017, at 12:06 AM, David Hart via swift-users <<a href="mailto:swift-users@swift.org" class="">swift-users@swift.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Hello,<div class=""><br class=""></div><div class="">Indeed, I had reduced the code too much. John McCall was kind enough to have a look and here’s the offending code:</div><div class=""><br class=""></div><div class=""><font face="Menlo" class="">func layoutHorizontally(leftRect: inout CGRect, rightRect: inout CGRect) {<br class=""> let totalWidth = imageRect.size.width + titleRect.size.width + contentSpacing<br class=""> rightRect.origin.x = leftRect.maxX + contentSpacing<br class="">}</font></div><div class=""><br class=""></div><div class="">The problem is that<span class="Apple-converted-space"> </span><font face="Menlo" class="">imageRect</font><span class="Apple-converted-space"> </span>and<span class="Apple-converted-space"> </span><font face="Menlo" class="">titleRect</font><span class="Apple-converted-space"> </span>are referenced both directly and in the inout parameters.</div><div class=""><br class=""></div><div class="">But there’s something I’m not understanding. I went back to the ownership manifesto and re-read the law of exclusivity to make sure I understand it:</div><div class=""><br class=""></div><blockquote class="" style="margin: 0px 0px 0px 40px; border: none; padding: 0px;"><div class=""><i class="">If a storage reference expression evaluates to a storage reference that is implemented by a variable, then the formal access duration of that access may not overlap the formal access duration of any other access to the same variable unless both accesses are reads.</i></div></blockquote><div class=""><br class=""></div><div class="">So I tried to write a test to trigger the runtime error, but was unsuccessful:</div><div class=""><br class=""></div><font face="Menlo" class="">class MyClass {<br class=""> var p: CGRect = .zero<br class="">}<br class=""><br class="">func trigger(a: MyClass, b: MyClass) {<br class=""> a.p = b.p<br class="">}<br class=""><br class="">let m = MyClass()<br class=""></font><div class=""><font face="Menlo" class="">trigger(a: m, b: m)</font></div><div class=""><br class=""></div><div class="">Here, a storage reference expression (a.p) evaluates to a storage reference that is implemented by a variable (the p property of an instance m of MyClass) and its formal access duration (the trigger function) overlaps the formal access duration of another access to the same variable (through the b.p storage reference expression) and both accesses are not reads (a.p is on the LHS of an assignment).</div><div class=""><br class=""></div><div class="">Why does this not trigger the Law of Exclusivity?</div></div></div></blockquote><br class=""></div><div style="font-family: Helvetica; font-size: 14px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">`b.p` is loaded before `a.p` is written to, so the accesses do not overlap even when a === b. Something like swap(&a.p, &b.p) (using the Swift 3 global definition of 'swap') would trigger an exclusivity trap when a === b, since the access to storage passed as an inout argument needs to last for the duration of the call.</div></div></blockquote><div><br class=""></div><div>Thanks for the explanation! It’s starting to make sense :) Is it possible to trigger the exclusivity trap without an inout argument?</div><br class=""><blockquote type="cite" class=""><div class=""><div style="font-family: Helvetica; font-size: 14px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">-Joe</div></div></blockquote></div><br class=""></body></html>