Я вижу поведение загрузки классов, которое кажется несовместимым со спецификацией JVM, и мне интересно, если это ошибка.Или, если нет, надеясь, что кто-то может объяснить, почему.
Пример кода, приведенный ниже, просто выводит привет из основного метода.У него есть неиспользуемый метод, который содержит вызов метода для метода, который объявляет, что в качестве аргумента он принимает «C» (который является интерфейсом).
Когда выполняется основное (без A, Bи C в пути к классам) выдается ошибка ClassNotFound для интерфейса C. (Примечание C фактически никогда не требуется во время выполнения, поскольку на него ссылаются только в методе, который никогда не выполняется).
Похоже, что это нарушение спецификации JVM
Раздел 2.17.1 спецификации Java VM, 2-е издание, гласит:
Единственное требование относительно того, когдаРазрешение выполняется следующим образом: любые ошибки, обнаруженные во время разрешения, должны возникать в той точке программы, в которой программа предпринимает какие-либо действия, которые могут прямо или косвенно потребовать связи с классом или интерфейсом, участвующим в ошибке * 1015.*
Раздел 2.17.3 спецификации Java VM, 2-е издание, гласит:
Язык программирования Java обеспечивает гибкость реализации при связывании действий (и, посколькурекурсии, загрузки), при условии, что семантика языка соблюдается, что класс или интерфейс полностью проверены и подготовлены до их инициализации, и что ошибок, обнаруженных во время связывания, генерируются в точке программыгде программа предпринимает определенные действия, которые могут потребоватьlass или интерфейс, связанный с ошибкой .
Примечание. Если я изменю тип параметра в определении на класс вместо интерфейса, то код загружается и выполняется правильно.
/**
* This version fails, the method call in neverCalled() is to a method whose
* parameter definition is for an Interface
*/
public class Main {
public void neverCalled(){
A a = new A();
B b = new B(); // B implements C
//method takeInter is declared to take paramters of type Interface C
//This code is causes a ClassNotFound error do be thrown when Main
//is loaded if A, B, and C is not in the class path
a.takeInter(b);
}
public static void main(String[] args) {
System.out.println("Hello...");
}
}
/**
* This version runs, the method call in neverCalled() is to a method whose
* parameter definition is for a Class
*/
public class Main {
public void neverCalled(){
A a = new A();
B b = new B(); // B implements C
//method takeInter is declared to take paramters of type Interface C
//This code is causes a ClassNotFound error do be thrown when Main
//is loaded if A, B, and C is not in the class path
a.takeClass(b);
}
public static void main(String[] args) {
System.out.println("Hello...");
}
}
public class A {
public void takeClass(B in){};
public void takeInter(C in){}
}
public class B implements C {}
public interface C {}
Ed,
Я не пытался умышленно вырвать цитату из контекста, я вытащил то, что мне показалось релевантным.Спасибо, что помогли мне попытаться понять это.
Во всяком случае, спецификация кажется мне достаточно ясной.Он говорит, что ошибки должны быть выброшены в точку, а не в точку .Конечно, я прочитал спецификацию VM после прочтения следующего в Главе 8 «Внутри виртуальной машины Java», так что, возможно, это изменило мою интерпретацию.
From, http://www.artima.com/insidejvm/ed2/linkmod.html
Как описано в главе 7 «Время жизни класса», различные реализации виртуальной машины Java могут выполнять разрешение в разное время в течениевыполнение программы.Реализация может решить связать все заранее, следуя всем символическим ссылкам из начального класса, затем всем символическим ссылкам из последующих классов, пока каждая символическая ссылка не будет разрешена.В этом случае приложение будет полностью связано до того, как будет вызван его метод main ().Этот подход называется ранним разрешением.Альтернативно, реализация может выбрать ожидание до самой последней минуты, чтобы разрешить каждую символическую ссылку.В этом случае виртуальная машина Java будет разрешать символическую ссылку только тогда, когда она впервые используется запущенной программой.Этот подход называется поздним разрешением.Реализации могут также использовать стратегию разрешения между этими двумя крайностями.
Хотя реализация виртуальной машины Java имеет некоторую свободу выбора, когда разрешать символьные ссылки, каждая виртуальная машина Java должна создавать внешнее впечатление, что она использует позднее разрешение .Независимо от того, когда конкретная виртуальная машина Java выполняет свое разрешение, она всегда будет выдавать любую ошибку, которая возникает в результате попытки разрешить символическую ссылку в точке выполнения программы, где символическая ссылка фактически использовалась впервые.Таким образом, пользователю всегда будет казаться, что разрешение было поздно.Если виртуальная машина Java выполняет раннее разрешение и во время раннего разрешения обнаруживает, что файл класса отсутствует, она не сообщит об отсутствии файла класса, выдав соответствующую ошибку в программу до тех пор, пока что-то в этом файле класса фактически не используется.Если класс никогда не используется программой, ошибка никогда не будет выдана.