Я не уверен, что понимаю код в строке 1 ниже?
interface Talkable{ }
class Device{}
class Phone extends Device implements Talkable{}
Talkable d = (Talkable) new Device(); //line 1
Talkable p = new Phone(); //line 2
Я понимаю строку2, поскольку Phone реализует Talkable, но Device and Talkable не связаны между собой, как Line1 может быть законным?
Собственно, в Java вполне допустимо применять один родственный тип к другому (даже если кастинг имеет мало смысла). Во время выполнения вы получите сообщение об ошибке, если типы несовместимы.
Например:
public static void main(String[] args) {
String s = (String) new Object();
System.out.println(s.intern());
}
Компилирует отлично, но дает Exception in thread "main" java.lang.ClassCastException: java.lang.Object cannot be cast to java.lang.String
at Sample.main(Sample.java:5) во время выполнения
Причина, по которой компилятор соглашается с этим, объясняется в разделе JLS 5.5.1 (соответствующая часть выделена жирным шрифтом):
Учитывая ссылочный тип времени компиляции S (источник) и тип задания времени компиляции T (target), существует преобразование каста от S до T, если ошибки времени компиляции не происходят из-за следующих правил.
Если S - тип класса:
- Если T - тип класса, то либо | S | <: | T | или | T | <: | S |. В противном случае возникает ошибка времени компиляции.
Кроме того, если существует супертип X из T и супертип Y из S, такой, что оба X и Y являются предсказуемыми различными параметризованными типами (п. 4.5) и что стирания X и Y одинаковы, a ошибка времени компиляции.
Если T - тип интерфейса:
Если S не является окончательным классом (§8.1.1), то, если существует супертип X из T и супертип Y из S, такой, что и X, и Y доказуемо различны параметризированных типов и что стирания X и Y одинаковы, возникает ошибка времени компиляции.
В противном случае листинг всегда является законным во время компиляции (потому что даже если S не реализует T, может быть подкласс S).
В вашем случае a java.lang.ClassCastException будет запущен во время выполнения, так как Device не может быть преобразован в Talkable. Но до тех пор, пока программа не выполнится, компилятор разрешает трансляцию, потому что может существовать подкласс Device, который реализует Talkable.
Строка 1 будет генерировать исключение во время выполнения. Компилятор не проверяет время компиляции, если приведение может быть выполнено успешно. Вот почему иногда рекомендуется сначала проверить это с помощью оператора instanceof.
В общем случае вы всегда можете использовать переменную x типа A для любого интерфейса C, потому что может существовать класс B extends A implements C или класс B implements A, C
То же самое не относится к кастованию переменной x класса A для любого класса D, потому что не может существовать подкласс E extends A, D, потому что класс не может расширять несколько классов.
Практически в первой строке код явно "сообщает" компилятору, что объект с правой стороны является объектом типа с левой стороны (это называется type casting). Это справедливо в отношении любых двух типов Java во время компиляции, но если типы не связаны друг с другом, возникает ошибка времени выполнения (будет отклонено Exception).
В строке 2 выполняется то, что сделано как во время компиляции, так и во время выполнения, потому что Phone имеет любой тип, который он расширяет и/или реализует, поэтому практически, Телефон является Talkable (и a Device),.