Почему общий список может быть передан его параметру типа

Question

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

Что это значит?

//Connection can be substituted by any interface 
List<Connection> list = null; 
Connection c = (Connection) list; 

Answer 1

Это не имеет никакого отношения к параметру типа. Это работает так:

List<String> list = null; 
Connection c = (Connection) list; 

Это возможно потому, что List является тип интерфейса. Ссылка на список может содержать объект, который реализует интерфейс List, и также также a Connection (что бы это ни было, класс или интерфейс), и для чего оно действует.

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

JComponent c = null; 
    ArrayList l = (ArrayList) c; 

Вы можете посмотреть точные правила для того, что виды забросов законны во время компиляции в Java Language Specification - это о 30 линий гуманной языковой адвокации.

Answer 2

Он компилируется, но он не работает во время выполнения.

Статическое литье - это один из способов, чтобы разработчик мог рассказать компилятору. Я знаю, что я здесь делаю - я сам обработаю типизацию этих переменных. Компилятор не остановит вас от выполнения чего-то, что вызовет исключение во время выполнения.

Answer 3

То же самое, как с другим приведением типов. Вам разрешено использовать любой объект для любого другого. Компиляторы не допускают самого идиотского typecasting (например, List to String), но все же - вам решать, как выглядеть. Как правило, используйте

if(a instanceof bClass){ 
    ((bClass)a).doSomething(...); 
}