Поскольку настраиваемые типы — это новое средство программирования, языку Java необходимо обеспечить совместимость с уже действующим кодом, разработанным до появления настраиваемых типов. Помните, что существуют миллионы и миллионы строк возникшего до версии 5.0 кода, который должен продолжать выполняться и быть совместимым с настраиваемыми типами. Созданный ранее код должен уметь работать с настраиваемыми типами, а настраиваемый код должен выполняться совместно с уже действующим кодом.
Для обеспечения перехода к настраиваемым типам язык Java разрешает использовать настраиваемый класс без аргументов типа. В этом случае создается несформированнып тип данных (raw type) для класса. Этот тип данных совместим с разработанным ранее кодом, ничего не знающим о настраиваемых типах. Основной недостаток применения несформированного типа — потеря типовой безопасности, обеспечиваемой настраиваемыми типами.
В листинге 3.11 приведен пример использования несформированного (raw) типа.
Листинг 3.11. Демонстрация применения несформированного типа
class Gen {
T ob;
// передает конструктору ссылку на
// объект типа Т.
Gen(T o) {
ob = o;
}
//Возвращает ob.
T getob() {
return ob;
}
}
// Демонстрирует несформированный (raw) тип,
class RawDemo {
public static void main(String args[]) {
// Create a Gen Object for Integers.
Gen iOb = new Gen(88);
// Create a Gen Object for Strings.
Gen strOb = new Gen("Generics Test");
// Create a raw-type Gen Object and give it
// a Double value.
Gen raw = new Gen(new Double(98.6));
// Cast here is necessary because type is unknown.
double d = (Double) raw.getob();
System.out.println("value: " + d);
// The use of a raw type can lead to runtime.
// exceptions. Here are some examples.
// The following cast causes a runtime error!
// int i = (Integer) raw.getob(); // runtime error
// This assigment overrides type safety.
strOb = raw; // OK, but potentially wrong
// String str = strOb.getob(); // runtime error
// This assignment also overrides type safety.
raw = iOb; // OK, but potentially wrong
// d = (Double) raw.getob(); // runtime error
}
}
В листинге 3.11 есть несколько интересных моментов. Во-первых, обратите внимание на создание объекта несформированиого (raw) типа настраиваемого класса Gen, приведенное в следующей строке:
Gen raw = new Gen(new Double(98.6));
При этом не задано никаких аргументов типа. По существу, формируется объект класса Gen, у которого параметр типа T заменен типом Object.
Несформированный тип лишен типовой безопасности. Следовательно, переменной этого типа можно присвоить ссылку на любой объект класса Gen. Обратное также справедливо: переменной конкретного типа класса Gen может быть присвоена ссылка на объект несформированного (raw) типа класса Gen. Однако обе операции небезопасны, так как контроль типов механизма настройки типов обойден.
Отсутствие типовой безопасности иллюстрируется помеченными как комментарий заключительными строками листинга 3.11 Давайте рассмотрим каждую ситуацию. Начнем с приведенной в следующей строке:
int i = (Integer) raw.getob(); // ошибка времени выполнения
В этом операторе извлекается значение объекта ob, содержащегося в объекте raw, и преобразуется в тип Integer. Проблема заключается в том, что объект raw содержит величину типа Double, а не целое число. Но это несоответствие не определяется во время компиляции, поскольку неизвестен тип объекта raw. Таким образом, этот оператор приведет к ошибке во время выполнения.
В следующем фрагменте объекту strOb (ссылка на тип Gen) присваивается ссылка на объект не сформированного типа класса Gen:
strOb = raw; // OK, но потенциально неверно
// String str = strOb.getob{); // ошибка времени выполнения
Приведенное присваивание синтаксически корректно, но сомнительно. Поскольку у объекта strOb тип Gen, предполагается, что он содержит данные типа String. Но после присваивания объект, на который ссылается strOb, содержит данные типа Double. Следовательно, во время выполнения, когда делается попытка присвоить содержимое объекта strOb переменной str, возникает ошибка, так как в этот момент в объекте strOb хранится значение несформированного типа. Таким образом, присваивание ссылки на объект несформированного типа ссылке на объект настраиваемого типа обходит средства типовой безопасности.
В следующем фрагменте представлена обратная ситуация:
raw = iOb; // OK, но потенциально неверно
// d = (Double) raw.getob(); // ошибка времени выполнения
В этом случае ссылка на объект настраиваемого типа присваивается ссылке на переменную несформированного (raw) типа. Несмотря на то, что это присваивание синтаксически корректно, оно приведет к проблеме, которая показана во второй строке фрагмента. В ней объект raw ссылается на объект, содержащий объект класса Integer, а механизм приведения типов предполагает, что в нем хранится объект класса Double. Эта ошибка не может быть обнаружена и исправлена на этапе компиляции, следовательно, она проявится во время выполнения программы.
Поскольку существует потенциальная опасность, кроящаяся в данных не-сформированного (raw) типа, компилятор java выводит на экран предупреждения об отсутствии контроля типов (unchecked warning), когда применение несформированного типа может нарушить типовую безопасность. Приведенные далее строки из листинга 3.11 порождают такие предупреждения:
Gen raw = new Gen(new Double(98.6)) ;
strOb *= raw; // OK, но потенциально неверно
В первой строке вызов конструктора класса Gen без указания аргумента типа приводит к появлению подобного предупреждения. Во второй строке присваивание переменной настраиваемого типа ссылки на объект несфор-мированного типа вызывает генерацию такого предупреждения.
С первого взгляда Вам может показаться, что следующая строка также приведет к генерации предупреждения компилятора, но это не так.
raw = iOb; // OK, но потенциально неверно
Компилятор не выводит никакого предупреждения, потому что приведенное присваивание не ведет к дальнейшему снижению типовой безопасности, которая была потеряна в момент создания объекта raw.
Заключительное замечание: данные несформированного (raw) типа следует использовать только в тех случаях, когда необходимо совместное применение уже действующего и вновь создаваемого кода, содержащего настраиваемые типы. Несформированные типы — это средство, обеспечивающее совместимость, а не функциональная возможность, предназначенная для использования во вновь разрабатываемом коде.
|
Главная
Каталог файлов
