Аннотация:
Наконец, свершилось то, чего так долго ждали java разработчики, вышла очередная версия java с поддержкой многих вещей, о которых давно мечтают разработчики. Одним из нововведений стали шаблоны. Как раз о них и пойдет речь в этой статье.
В статье в одном месте речь идет о lvalue (rvalue) и instanceof операторе. На мой взгляд, не совсем корректно использовать такие термины как rvalue и lvalue в данном контексте. Насколько я знаю, термин lvalue был позаимствован из C++ и означает выражение, которое имеет адрес и, как следствие, может находится слева от знака присваивания, и может передаваться в функции по ссылке. Но lvalue не означает левый операнд любого бинарного операнда.
В JLS операнды instanceof называются RelationalExpression (слева) и ReferenceType (справа). Думаю, что лучше было бы использовать их; либо просто: левый операнд, правый операнд.
Незначительные опечатки.
1.
List<String> strList = new ArrayList<String>();
strList.add("some text");
strList.add(new Integer()); // сообщение об ошибке компилятора
String str = strList.get(0);
Integer i = strList.get(0); // сообщение об ошибке компилятора
скорее всего должно быть
List<String> strList = new ArrayList<String>();
strList.add("some text");
strList.add(new Integer(0)); // сообщение об ошибке компилятора
String str = strList.get(0);
Integer i = strList.get(0); // сообщение об ошибке компилятора
2.
public class TreeMap<K,V> extends AbstractMap<K,V>
implements SortedMap<K,V>, Cloneable, Java.io.Serializable
должно быть
public class TreeMap<K,V> extends AbstractMap<K,V>
implements SortedMap<K,V>, Cloneable, java.io.Serializable
Здравствуйте, dshe, Вы писали:
D>В статье в одном месте речь идет о lvalue (rvalue) и instanceof операторе. На мой взгляд, не совсем корректно использовать такие термины как rvalue и lvalue в данном контексте. Насколько я знаю, термин lvalue был позаимствован из C++ и означает выражение, которое имеет адрес и, как следствие, может находится слева от знака присваивания, и может передаваться в функции по ссылке. Но lvalue не означает левый операнд любого бинарного операнда. D>В JLS операнды instanceof называются RelationalExpression (слева) и ReferenceType (справа). Думаю, что лучше было бы использовать их; либо просто: левый операнд, правый операнд.
Согласен. Подправлю как только, так сразу.
D>Незначительные опечатки.
Опечатки тоже надо искоренить.
нашел одну ошибку:
Маски без ограничений: "...Вызывать методы, принимающие ссылки на тип, определенный такой маской, нельзя."
в eBook записано и проверено в коде:
When using a wildcard, List<?>, any generic type can be assigned to the
reference, but for access only, no modifications.
если к описанию еше можно применить оговорки, то в примере определенно нет! добавленниы код
Здравствуйте, svd71, Вы писали: S>нашел одну ошибку: S>Маски без ограничений: "...Вызывать методы, принимающие ссылки на тип, определенный такой маской, нельзя."
А если фразу выделить жирным до конца, то окажется что и ошибки никакой нет.
Здравствуйте, Blazkowicz, Вы писали:
B>Здравствуйте, svd71, Вы писали: S>>нашел одну ошибку: S>>Маски без ограничений: "...Вызывать методы, принимающие ссылки на тип, определенный такой маской, нельзя." B>А если фразу выделить жирным до конца, то окажется что и ошибки никакой нет.
" E get(int index);" тоже относится к Generic, но работает с декларацией
Здравствуйте, svd71, Вы писали:
S>Здравствуйте, Blazkowicz, Вы писали:
B>>Здравствуйте, svd71, Вы писали: S>>>нашел одну ошибку: S>>>Маски без ограничений: "...Вызывать методы, принимающие ссылки на тип, определенный такой маской, нельзя." B>>А если фразу выделить жирным до конца, то окажется что и ошибки никакой нет.
S>" E get(int index);" тоже относится к Generic, но работает с декларацией S>
хотя ваша правда — она не принимает тип, но отдает.
почему я обратил на это внимание — подготовка к сертификации. Но статья вводит в некоторое "неправильное"
понимание этого вопроса и потому может стоить потерянных ответов
Здравствуйте, svd71, Вы писали:
S>Но статья вводит в некоторое "неправильное" понимание этого вопроса и потому может стоить потерянных ответов
В чем состоит "введение в неправильное понимание"? В невнимательном прочтении? Или чем-то ещё?
Здравствуйте, Blazkowicz, Вы писали:
B>Здравствуйте, svd71, Вы писали:
S>>Но статья вводит в некоторое "неправильное" понимание этого вопроса и потому может стоить потерянных ответов B>В чем состоит "введение в неправильное понимание"? В невнимательном прочтении? Или чем-то ещё?
В основном именно в этом. После прочтения я был уверен, что это применимо ко всем методам с генериком. Но после попадания вопроса с с этой темой и не правильного ответа на него, начал перечитывать документацию к сертификации, где автор не поленился обратить на это внимание.
В этом случае, при получении ссылки на объект, тип которого задан как ”?”, его можно интерпретировать только как Object. Это безопасно, т.к. все ссылочные типы являются предками Object. Вызывать методы, принимающие ссылки на тип, определенный такой маской, нельзя.
Почитал часть про маски. Очень мутная. Ни слова о том — ни зачем они, ни смысла их не раскрыто.
Суть масок очень простая — "? extends Type" выделяет (capture) только те члены (поля и методы)
которые можно "читать" (то есть брать значение поля и получать возвращаемое значение метода),
а "? super Type" наоборот, делает видимыми только те члены класса, которые можно "писать"
(то есть присваивать значения полям и использовать в качестве параметра при вызове методов).
class Type<T> {
T field;
T foo() { ... }
void bar(T t) { ... }
}
