Miembros protegidos de otras instancias en Scala

Question

Me encontré con una dificultad al aprender Scala. Tengo una jerarquía de herencia que es esencialmente equivalente a esto:

class A { 
    protected def myMethod() = println("myMethod() from A") 
} 

class B extends A { 
    def invokeMyMethod(a: A) = a.myMethod() 
} 

Pero tratar de compilar este ejemplo, me sale el error "test.scala: 7: Error: myMethod método no se puede acceder en A".

Viniendo de Java, entiendo que los miembros protegidos deben estar accesibles en cualquier punto de una clase derivada, y en ninguna parte he visto nada que me diga que los miembros protegidos en Scala están limitados por ejemplo. ¿Alguien tiene una explicación para esto?

Answer 1

Citando al Scala Language Specification:

A protected identifier x may be used as a member name in a selection r .x only if one of the following applies:

– The access is within the template defining the member, or, if a qualification C is given, inside the package C, or the class C, or its companion module, or

– r is one of the reserved words this and super, or

– r ’s type conforms to a type-instance of the class which contains the access.

Estas tres reglas definen cuándo exactamente se permite una instancia para acceder a los miembros protegidos de otra instancia. Una cosa que es interesante observar es que, según la última regla, cuando B se extiende a A, una instancia de A puede acceder a miembros protegidos de una instancia diferente de B ... ¡pero una instancia de B no puede acceder a miembros protegidos de otra A! En otras palabras:

class A { 
    protected val aMember = "a" 
    def accessBMember(b: B) = b.bMember // legal! 
} 

class B extends A { 
    protected val bMember = "b" 
    def accessAMember(a: A) = a.aMember // illegal! 
}