Использование полиморфизма может нарушить правило защищенного модификатора доступа в Java?

Question

Вот мой код

Пакет

package a; 

import static net.mindview.util.Print.print; 

import b.B; 

public class A 
{ 
    protected void f() 
    { 
     print("This is A's protected f()"); 
    } 

    public static void main(String[] args) 
    { 
     // new B().f() does not work! 
     // compiler will complain B.f() is not visible 
     A a = new B(); 
     a.f(); // but using polymorphism here! I can invoke B.f()! 
    } 
} 

Пакет б

package b; 

import static net.mindview.util.Print.print; 

import a.A; 

public class B extends A 
{ 
    protected void f() 
    { 
     print("This is B's protected f()"); 
    } 
} 

Проблема заключается в аф() в основной() на самом деле вызывает класс Б защищен переопределены е(), к какому классу A не имеет доступа.

Обратите внимание, что A является суперклассом B, и они находятся в разных пакетах. A не имеет доступа к B f().

Технически говоря, защищенный f() B может быть доступен только из его подклассов или классов в одном пакете.

Но ни одно условие удовлетворяются класс А.

Итак, мой вопрос здесь действительно полиморфизм фактически нарушают правила защищенного модификатора доступа, или есть неявный и скрытие механизм происходит во время разговора?

Может ли кто-нибудь помочь?

Большое спасибо.

Результат печати: «Это защищенный B f()».

Это совершенно другой вопрос: «Понимание защищенного Java-модификатора». Пожалуйста, внимательно ознакомьтесь с кодом !!!!

В этом вопросе C -> A отношения. в C (подкласс) создайте A a = новый A() (суперкласс) и попытайтесь получить доступ к защищенному члену, но этого не сделать.

В моем вопросе B -> A отношения. в «A» (суперкласс) создайте «B» b = новый B() (подкласс) и попытайтесь получить доступ к защищенному члену b (который не должен преуспеть), но ему это удастся!

Я думаю, что я так четко выражаю разницу, чтобы любые нетерпеливые программисты быстро различали два вопроса.

Answer 1

Проблема: a.f() в main() фактически вызывает защищенный переопределенный класс f(), который класс A не имеет доступа.

Неверно. Класс A имеет доступ ко всем своим членам и их переопределениям.

Обратите внимание, что A является суперклассом B, и они находятся в разных упаковках. A не имеет доступа к B f().

Вы все это говорите, но это все еще неправильно.

Технически говоря, защищенный f() B может быть доступен только из его подклассов или классов в одном пакете.

Неверно.

Но ни одно условие удовлетворяется класса А.

Они не должны быть удовлетворены, как вы только что сделали их.

Итак, мой вопрос здесь действительно полиморфизм фактически нарушает правила модификатора защищенного доступа

No. Вы правило неправильно.

или существует ли какой-либо скрытый и скрытый механизм во время разговора?

Существует приверженность к JLS #6.6.2.1, что вы, очевидно, не читали, и который говорит:

доступ разрешается тогда и только тогда, когда тип Х S или подкласс S.

Вы продолжали:

это совершенно другой вопрос от Understanding java's protected modifier.

Это немного другой вопрос с тем же ответом. Это же правило применяется. JLS # 6.6.2.1.

В частности, в вашем случае S является A, E подразумеваемая this и this имеет тип B, который является подклассом A. QED