Явная литья и переназначение

Question

Рассмотрим следующий код:

class A{} 

class B extends A{ 

public static void main(String args[]){ 
    A exampleA = new A(); 
    B exampleB = new B(); 
    exampleB = exampleA; // compile error} 

Я понимаю, почему это приводит к ошибке, потому что вам нужно явное приведение. Тем не менее, я не понимаю, почему я получаю ошибку компиляции с помощью следующего кода:

class A{} 

class B extends A{ 

public static void main(String args[]){ 
    A exampleA = new A(); 
    B exampleB = new B(); 
    exampleA = exampleB; 
    exampleB = exampleA; // compile error 

С моей точки зрения, указатель exampleA теперь указывает на тот же объект, как это делает exampleB, который является объектом класса В Кроме того, из-за переназначения примера указателя A я интерпретирую последнюю строку кода как пример B = exampleB; Компилятор не согласен, и я не могу думать как компилятор. Может кто-нибудь сказать мне, почему я получаю сообщение об ошибке?

Я также использовал метод getClass для обоих классов, и вывод показывает, что оба они действительно указывают на один и тот же объект. Поэтому я смущен.

Я новичок в программировании и хотел бы узнать больше о том, как компилятор думает. Помимо ответа на вопрос, любые советы по книгам или другим источникам для различения между компилятором и логикой выполнения будут очень полезны!

Обратите внимание, что я знаю, как решить второй блок кода, который просто выполняет явное литье.

Answer 1

Компилятор не обнаружит эту ситуацию автоматически. Он должен работать, если вы отбрасываете его явно. Затем вы берете на себя ответственность за то, чтобы правый объект мог быть надежно перемещен.

Down cast by put exampleB = (B) exampleA;.

Если вы это сделаете, и это не может быть запущено, вы получите исключение во время выполнения.

Кроме того, в Java нет указателей. Ссылки похожи, но не совпадают.

Answer 2

Вы имеете право об объектах - они имеют один и тот же тип.

Но! указатели по-прежнему имеют разные типы.

Итак, вот почему эта ошибка.

Answer 3

Вы, кажется, хотите узнать о компиляторе, поэтому я поместил бы столько, что мог, как могу. Компилятор java в java гораздо более доверчив, чем некоторые считают. Это отличный случай, потому что java позволяет вам создавать механизмы искусственного литья, хотя в большинстве случаев с большими трудностями. Таким образом, компилятор делает шаг назад и надеется, что вы знаете, что делаете. Разумеется, Runtime - это то, где все идет не так, как в фантастическом стиле, и видит в действии, что нет, этот прилив невозможен. В этом конкретном случае класс A, очевидно, не может подавить, чтобы стать примером класса B. Однако переключите последние две строки вокруг, и я считаю, что вы обнаружите, что ошибок не происходит. Это связано с тем, что класс B, скорее всего, может стать примером класса A, и когда вы установите eB как пример класса A и установите eA равным B, вы найдете оба примера в качестве примеров класса A.

class A{} 

class B extends A{} 

public static void main(String args[]){ 
    A exampleA = new A(); 
    B exampleB = new B(); 
    exampleB = exampleA; 
    exampleA = exampleB; // compile error should be fixed 
} 

EDIT: Я понял, что был неправ. Подробнее см. Комментарии ниже. Вот моя исправленная версия.

public static void main(String[] args) { 
    A eA = new A(); 
    B eB = new B(); 
    A newAfromB = eB; 
    eA = newAfromB; 
}