Запрос на скрытие поля в java

Question

Эта концепция противоречит концепции class и ее экземпляра.

Ниже программа, которая выглядит хорошо для меня и дает NullPointerException, как ожидалось:

class SuperClass{ 
    int x = 2; 
} 

class SubClass extends SuperClass{ 
    int x = 4; 
} 

public class Dummy2 { 

    public static void main(String[] args){ 
     SubClass obj1 = new SubClass(); 
     SuperClass obj2 = null; 
     System.out.println(obj1.x); 
     System.out.println(obj2.x); 
    } 

} 

Но когда я говорю SuperClass obj2 = obj1; странно я вижу значение стоимости члена SuperClass экземпляра 2, несмотря нет ни одного примера class SuperClass, созданный в вышеуказанной программе.

Действительно ли это действующая концепция на Java?

Answer 1

Во-первых, поскольку obj2 - это null в вашем примере, он, конечно, бросит NPE при попытке доступа к нему x.

Во-вторых, при установке obj2 = obj1, вы бросаете obj1, типа SubClass, чтобы ввести SuperClass. Когда вы затем получаете доступ к x в obj2, вы получаете доступ к x, о котором SuperClass знает, что имеет значение 2. Так оно и должно работать.

Причина в том, что x в SubClass не переписывает x в SuperClass. Он просто скрывает это. Поэтому, когда obj1 отлита до типа SuperClass, x в SuperClass теперь видна x.

Если вы хотите получить значение x, которое, как вы ожидаете, просто используйте getter вместо прямого доступа к x, а затем вы можете переопределить его в SubClass.

SuperClass:

public class SuperClass { 
    public int x = 2; 

    public int getX() { 
     return x; 
    } 
} 

Подкласс:

public class SubClass extends SuperClass { 
    public int x = 4; 

    public int getX() { 
     return x; 
    } 
} 

тестовый код:

SubClass obj1 = new SubClass(); 
SuperClass obj2 = obj1; 

System.out.println(obj2.x);  // outputs 2 
System.out.println(obj2.getX()); // outputs 4 

Answer 2

Это справедливо в Java, и многие другие языки сильно типизированных. Когда вы повышаете переменную до суперкласса, вы можете использовать только свойства этого класса. Это делает переменную строго типизированной. Означает, что у вас есть переменная типа, которую вы можете использовать независимо от типа экземпляра. Тип переменной важен, к которому у вас есть доступ.