<div>It bears mentioning that it does _not_ formally work this way with fileprivate or private types. The default access level for members is always internal. This was a deliberate change I suggested for SE-0025 and is new for Swift 3. It's just also the case that the rules were relaxed to allow you to mock up greater access for members than the containing type (for instance, you can label members public inside a fileprivate type).</div><div><br></div><div>The suggestion of defaulting members to the access of the enclosing scope was considered and rejected for the reasons enumerated already by others: namely, that public members should always be explicitly annotated. This becomes doubly important now that we have open as a full-fledged access level. There is also the little problem that private in the enclosing scope is not an utterable level in the enclosed scope, which is neatly obviated by the fact that the default access level is internal.</div><div><br></div><div><br><div class="gmail_quote"><div>On Mon, Feb 13, 2017 at 03:02 Jonathan Hull via swift-evolution <<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I would like to propose a change to the default access modifier within an enclosing scope. The default for top level definitions would stay internal, but anything within a scope would by default have the same visibility as it’s enclosing scope.<br class="gmail_msg">
<br class="gmail_msg">
The main reason for this is readability/maintainability, and having the intention clearly stand out. It would also reduce a great amount of boilerplate. It also matches the mental model of how scopes normally work regarding inheritance of visibility/properties (which means less to teach newbies).<br class="gmail_msg">
<br class="gmail_msg">
Right now if I want to make a type and all of it’s vars/methods public, I have to mark each individual var/method public, which leads to a lot of boilerplate/noise and makes everything harder to read:<br class="gmail_msg">
<br class="gmail_msg">
public struct MyStruct {<br class="gmail_msg">
public var a:Int<br class="gmail_msg">
public var b:Int<br class="gmail_msg">
private var c:Int<br class="gmail_msg">
public var d:Int<br class="gmail_msg">
}<br class="gmail_msg">
<br class="gmail_msg">
Notice that the private var doesn’t really stand out as such very well. Also, it is exceedingly rare (at least in my own coding style) that I actually want an internal variable unless the type itself is internal, and in those cases, I would like that choice to stand out as deliberate the same way I want ‘private' to stand out. As it stands, I wait until I think I am done modifying a type to mark it public because of the extra noise generated. I also make a point to write ‘internal' for things that I explicitly want to restrict to internal.<br class="gmail_msg">
<br class="gmail_msg">
Consider the alternative:<br class="gmail_msg">
<br class="gmail_msg">
public struct MyStruct {<br class="gmail_msg">
var a:Int<br class="gmail_msg">
var b:Int<br class="gmail_msg">
private var c:Int<br class="gmail_msg">
var d:Int<br class="gmail_msg">
}<br class="gmail_msg">
<br class="gmail_msg">
Now the fact that I have chosen to make ‘c’ private really stands out much better. When revisiting the code in 6 months, the struct is much more “glance-able” (as a friend of mine likes to say).<br class="gmail_msg">
<br class="gmail_msg">
Note also the nuance that I didn’t say that those vars were marked public (or had the same modifier), I said that they had the SAME VISIBILITY as the enclosing scope (which in this case happens to be public). This is a concept which is hard to express currently, and IIRC this is what we had to do to make the edge cases of swift 3’s private modifier work properly.<br class="gmail_msg">
<br class="gmail_msg">
Basically, it already works this way for ‘private’, ‘fileprivate’, & ‘internal’, just not for ‘public’ or ‘open’… which can be surprising, especially since you don’t discover these differences until you are working across modules. We should just extend that mental model up to include public and open. Migration would just take internal variables of public/open types and mark them explicitly with the word ‘internal'.<br class="gmail_msg">
<br class="gmail_msg">
Thanks,<br class="gmail_msg">
Jon<br class="gmail_msg">
<br class="gmail_msg">
_______________________________________________<br class="gmail_msg">
swift-evolution mailing list<br class="gmail_msg">
<a href="mailto:swift-evolution@swift.org" class="gmail_msg" target="_blank">swift-evolution@swift.org</a><br class="gmail_msg">
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" class="gmail_msg" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br class="gmail_msg">
</blockquote></div></div>