я работаю над своей собственной реализацией JVM и наткнулся на инструкцию checkcast
. Полная документация на этой странице . Мне любопытно, потому что при перечислении правил работы приведения проверяется одно условие: если проверяемая ссылка на объект имеет тип интерфейса. Насколько я понимаю, это невозможно; интерфейсы не могут быть созданы напрямую, и любой объект, реализующий интерфейс, имеет какой-либо другой конкретный тип класса. Мне чего-то не хватает?