[swift-evolution] SE-0025: Scoped Access Level, next steps

Matthew Judge matthew.judge at gmail.com
Mon Mar 28 06:30:26 CDT 2016


On Mon, Mar 28, 2016 at 6:41 AM, Ilya Belenkiy <ilya.belenkiy at gmail.com>
wrote:

> lexical scope is the other way around: "inner" can see "outer". For
> example:
>
> func f() {
>   let outer = 0
>  // f cannot use inner
>    func g() {
>        let inner = 1
>        // g can use outer
>    }
> }
>
>
Maybe I'm off in my terminology, but I think my code example matches what
you are saying here (outer is visible to g() but inner is not visible to f()


> It would work the same way for the access level. That said, I'd rather not
> include this in the proposal.
>

So as the proposal stands now, what is the scope that innerVar is visible
to in the following code: Inner or Outer?

class Outer {
    class Inner {
        private var innerVar: Int
    }
}


> The only change that the core team requested was the name changes. I
> personally would prefer a completely private version where you cannot
> inject a class into a scope to get access to the scope internals, but it's
> an edge case that could be argued either way, and I don't want to start
> another lengthy discussion. We already had quite a few.
>
> On Sun, Mar 27, 2016 at 11:17 PM Matthew Judge <matthew.judge at gmail.com>
> wrote:
>
>> I know it was suggested that it be the subject of a different thread, but
>> it might be good to clarify how the new private is going to work (or at
>> least what is currently envisioned).
>>
>> My understanding is that the new private would be:
>> - visible only to the immediately enclosing scope
>> - including the scope of a inner nested scope
>> - not including the scope of an outer nested scope
>> - not visible to an extension
>>
>> Said in code (all in the same file):
>> ----------
>> class Outer { // Outer visible to module
>>     private var a: Int // visible to Outer, Inner1, & Inner2
>>
>>     class Inner1 { // Inner1 visible to module
>>         private var b: Int // visible to Inner1 only
>>     }
>>     private class Inner2 { // visible to Outer & Inner(s)
>>         var c: Int // visible to Outer & Inner(s)
>>     }
>> }
>>
>> extension Outer { // visible to module
>>     // 'a', 'b', and 'Inner2' NOT visible
>> }
>> ----------
>> If this is the intended meaning of private, then fileprivate seems to be
>> the same as private (private to the enclosing scope... which happens to be
>> the file).
>>
>> Something declared "private" at the top level of a file is fileprivate.
>> There would still need to be a way to reference scopes other than the
>> immediate one (especially since there is no way to say "private" and mean
>> moduleprivate), though I think it would strengthen the argument for
>> something along the lines of "private(file)", since it would even further
>> reduce the cases where you are spelling something more than just "private"
>>
>>
>> On Mar 27, 2016, at 17:31, Haravikk via swift-evolution <
>> swift-evolution at swift.org> wrote:
>>
>>
>> On 27 Mar 2016, at 19:34, Jose Cheyo Jimenez via swift-evolution <
>> swift-evolution at swift.org> wrote:
>>
>> Public
>> External (default)
>> Internal
>> Private
>>
>>
>> I still feel like these are still too vague; I’m not sure I like the use
>> of external, as public to me is external since it exports outside of the
>> module, whereas what you’re proposing is in fact just limited to the module
>> itself. I dislike the current internal keyword too, but at least it reads
>> as “internal to this module", this is why the more specific terms are
>> better like:
>>
>> public as-is, item is public/exported outside of module
>> private(module) or private current internal, item is private to this
>> module, would be the default
>> private(file) current private, item is private to this file
>> private(scope) new visibility type, item is private to the current scope
>>
>> Assuming I’m understanding the restriction properly this time =)
>>
>> It’s also the easiest method if we do add another visibility later for
>> sub-classes such as private(type), as it doesn’t even require a new keyword.
>>
>> _______________________________________________
>>
>>
>> swift-evolution mailing list
>> swift-evolution at swift.org
>> https://lists.swift.org/mailman/listinfo/swift-evolution
>>
>>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160328/9dbd7e58/attachment.html>


More information about the swift-evolution mailing list