JV Java · 25 вопросов · ~70 мин · ⏱ Таймер 10:00 · Средний ·

Обобщения Java

Разбирает тему «Обобщения Java» на практических сценариях: поиск дефектов, сравнение решений и оценка последствий. Вопросы перемешаны: встречаются трассировка, ошибка компиляции, выбор правки, граничный сценарий и оценка инженерного компромисса. Базовая версия — Java 25 LTS; если версия не названа отдельно, используются устойчивые правила, совместимые с Java 21.

Отвечено: 0 из 25

⏱ --:--

💡 Инструкция: Выберите один ответ из пяти. На 25 вопросов отведено 70 минут. В каждом вопросе верен только один вариант; близкие ответы различаются стадией ошибки, порядком действий или границей контракта. После завершения вы увидите общий результат, результаты по 5 тематическим шкалам и объяснения.

Вопрос 1 из 25

Каков точный результат выполнения или компиляции фрагмента из раздела «Обобщения Java» по теме «Подстановочные типы»?

static double sum(java.util.List<? extends Number> xs) {
    double total = 0;
    for (Number x : xs) total += x.doubleValue();
    return total;
}
System.out.println(sum(java.util.List.of(1, 2, 3)));

Из List<? extends Number> можно безопасно читать Number, но нельзя добавить String, кроме null. Из List<? extends Number> можно безопасно читать Number, но нельзя добавить Integer, кроме null. Box<String> принимает строку и возвращает String; попытка положить Integer не компилируется. Необобщённый список принимает Integer, а чтение через List<String> вставляет скрытое приведение и выбрасывает ClassCastException при typed.get(0). Метод max компилируется для Integer, потому что Integer реализует Comparable<Integer>.

Вопрос 2 из 25

Как точнее оценить пользу и цену решения по теме «Подстановочные типы» в разделе «Обобщения Java»?

Составной Comparator делает порядок детерминированным, но каждый дополнительный критерий увеличивает стоимость сравнения. Хеш-таблица обычно даёт O(1) в среднем, однако плохие ключи, коллизии и переразмеривание влияют на задержку. ArrayList обычно лучше для чтения по индексу, но вставка в середину большой структуры может потребовать сдвига элементов. Подстановочный тип делает API гибче для вызова, но чрезмерно вложенные границы ухудшают сообщения компилятора и читаемость. Сортированное множество удобно для диапазонов и ближайших значений, но дороже HashSet при простом поиске членства.

Вопрос 3 из 25

Что произойдёт с кодом по теме «Стирание типов» в разделе «Обобщения Java»?

static void process(java.util.List<String> xs) {}
static void process(java.util.List<Integer> xs) {}

Перегрузки process(List<String>) и process(List<Integer>) имеют одинаковое стирание и конфликтуют. Перегрузки process(List<Object>) и process(List<Integer>) имеют одинаковое стирание и конфликтуют. Box<String> принимает строку и возвращает String; попытка положить Integer не компилируется. Присваивание String[] в Object[] компилируется, но запись Integer вызывает ArrayStoreException. Метод max компилируется для Integer, потому что Integer реализует Comparable<Integer>.

Вопрос 4 из 25

Какое правило Java действует для темы «Стирание типов» в разделе «Обобщения Java»?

Большинство параметров типов стирается в байткоде, поэтому во время выполнения нельзя проверить instanceof List<String>. Большинство параметров типов стирается в байткоде, поэтому во время выполнения нельзя проверить instanceof List<Object>. TreeSet использует Comparator и для порядка, и для эквивалентности: compare(a, b) == 0 означает один элемент для множества. Равные по equals объекты обязаны иметь одинаковый hashCode, но одинаковый hashCode не делает объекты равными. Большинство параметров типов стирается в байткоде, поэтому на этапе компиляции нельзя проверить instanceof List<String>.

Вопрос 5 из 25

Какое ограничение механизма «Ограничения» нельзя упускать при работе с разделом «Обобщения Java»?

// Минимальный пример
static <T extends Comparable<? super T>> T max(T a, T b) {
    return a.compareTo(b) >= 0 ? a : b;
}
System.out.println(max(4, 9));

Статический член не может использовать параметр типа экземпляра класса без собственного параметра метода. Необобщённый тип может скрыть загрязнение кучи до места чтения, где ClassCastException выглядит далёкой от первопричины. Для типов, сравнимых с предком, часто точнее граница Comparable<? super T>. List<Object> не является надтипом List<String>; обобщённые типы в Java инвариантны. Нельзя создать new T() или new T[] без фабрики, отражения либо компромисса с Object[].

Вопрос 6 из 25

Что нужно отдельно проверить на границе контракта «Параметры типов» в разделе «Обобщения Java»?

ConcurrentModificationException — диагностический механизм без строгой гарантии, а не гарантия обнаружения каждой гонки. Comparator может быть не согласован с equals, но тогда поведение сортированных коллекций требует особой осторожности. Некоторые оптимизации могут не выполнять peek для каждого элемента, если результат можно получить без обхода. Статический член не может использовать параметр типа экземпляра класса без собственного параметра метода. clone создаёт новый массив, но для массива ссылок копия остаётся поверхностной.

Вопрос 7 из 25

Как точнее оценить пользу и цену решения по теме «Стирание типов» в разделе «Обобщения Java»?

Стирание сохраняет совместимость байткода, но ограничивает отражение параметрических типов во время выполнения. Стирание сохраняет совместимость байткода, но ограничивает отражение параметрических типов на этапе компиляции. Стирание не сохраняет совместимость байткода, но ограничивает отражение параметрических типов во время выполнения. Составной Comparator делает порядок детерминированным, но каждый дополнительный критерий увеличивает стоимость сравнения. Микротест помогает сравнить реализации, но реальный профиль данных и аллокаций важнее одной синтетической операции.

Вопрос 8 из 25

Какое замечание о сопровождении или производительности темы «Тестирование и диагностика» в разделе «Обобщения Java» справедливо?

Стирание сохраняет совместимость байткода, но ограничивает отражение параметрических типов во время выполнения. Подстановочный тип делает API гибче для вызова, но чрезмерно вложенные границы ухудшают сообщения компилятора и читаемость. Обобщения убирают часть ошибок времени выполнения, но не создают отдельную реализацию класса для каждого аргумента типа. Совместимость со старым необобщённым API иногда неизбежна, но небезопасный участок лучше изолировать в одном проверяемом адаптере. Чем уже ограничение, тем больше операций доступно внутри метода, но тем меньше типов смогут его вызвать.

Вопрос 9 из 25

Какое правило Java действует для темы «Ограничения» в разделе «Обобщения Java»?

Необобщённые типы отключают часть проверок обобщений и позволяют загрязнить кучу; ошибка проявляется при последующем чтении. Правило PECS: источник удобно принимать как ? extends T, а потребитель — как ? super T. Верхняя граница T extends Comparable<T> разрешает вызывать compareTo у значений T. Верхняя граница T extends Comparable<T> разрешает вызывать equals у значений T. Верхняя граница T extends Comparable<T> запрещает вызывать compareTo у значений T.

Вопрос 10 из 25

Что следует изменить в разделе «Обобщения Java», чтобы сохранить замысел и соблюсти контракт «Параметры типов»?

// Фрагмент на ревью
class Box<T> {
    private T value;
    void set(T value) { this.value = value; }
    T get() { return value; }
}
var box = new Box<String>();
box.set("ok");
System.out.println(box.get().length());

Разделить чтение и запись в сигнатуре: copy(List<? extends T>, List<? super T>). Задать минимальную границу, действительно нужную алгоритму, вместо приведения к Object и проверок вручную. Изменить имена методов, добавить различимый параметр либо передать Class или TypeToken, если тип нужен во время выполнения. Убрать необобщённый тип, включить -Xlint:unchecked и не подавлять предупреждение без локально доказанной безопасности. Передавать тип явно или позволить оператору <> вывести его из контекста, не переходя к необобщённому типу.

Вопрос 11 из 25

Как поведёт себя фрагмент по теме «Тестирование и диагностика» при разборе раздела «Обобщения Java»?

java.util.List raw = new java.util.ArrayList<String>();
raw.add(42);
java.util.List<String> typed = raw;
System.out.println(typed.get(0).length());

Box<String> принимает строку и возвращает String; попытка положить Integer не компилируется. Необобщённый список принимает Integer, а чтение через List<String> вставляет скрытое приведение и выбрасывает ClassCastException при typed.get(1). Необобщённый список принимает Integer, а чтение через List<String> вставляет скрытое приведение и выбрасывает ClassCastException при typed.get(0). Необобщённый список принимает Integer, а чтение через List<String> вставляет скрытое приведение и выбрасывает ClassCastException при typed.get(-1). Перегрузки process(List<String>) и process(List<Integer>) имеют одинаковое стирание и конфликтуют.

Вопрос 12 из 25

Какой контракт языка или библиотеки точнее всего описывает тему «Подстановочные типы» в разделе «Обобщения Java»?

HashMap использует hashCode для выбора корзины и equals для различения ключей внутри неё. Правило PECS: источник удобно принимать как ? extends T, а потребитель — как ? super T. Верхняя граница T extends Comparable<T> разрешает вызывать compareTo у значений T. List сохраняет порядок и допускает дубликаты; удаление по индексу и по значению выбирается перегрузкой. TreeSet поддерживает сортировку и уникальность по результату Comparator или compareTo.

Вопрос 13 из 25

Какое ограничение механизма «Тестирование и диагностика» нельзя упускать при работе с разделом «Обобщения Java»?

// Минимальный пример
java.util.List raw = new java.util.ArrayList<String>();
raw.add(42);
java.util.List<String> typed = raw;
System.out.println(typed.get(0).length());

Comparator может быть не согласован с equals, но тогда поведение сортированных коллекций требует особой осторожности. Статический член не может использовать параметр типа экземпляра класса без собственного параметра метода. Необобщённый тип может скрыть загрязнение кучи до места чтения, где ClassCastException выглядит далёкой от первопричины. Необобщённый тип может скрыть загрязнение кучи до места чтения, где ArrayStoreException выглядит далёкой от первопричины. Нельзя создать new T() или new T[] без фабрики, отражения либо компромисса с Object[].

Вопрос 14 из 25

Какой контракт языка или библиотеки точнее всего описывает тему «Параметры типов» в разделе «Обобщения Java»?

Comparator задаёт полный порядок и должен быть согласованным; нулевой результат означает эквивалентность для TreeSet и TreeMap. Параметр типа связывает операции внутри API и не позволяет компилятору проверить согласованность без ручных приведений. Параметр типа связывает операции внутри API и позволяет компилятору проверить согласованность без ручных приведений. equals должен быть рефлексивным, симметричным, транзитивным, согласованным и возвращать false для null. Тест реализации коллекции должен фиксировать требуемый контракт: порядок, уникальность, допустимость null и стоимость наиболее частых операций.

Вопрос 15 из 25

Какое изменение сделает код по теме «Стирание типов» в разделе «Обобщения Java» надёжнее?

// Фрагмент на ревью
static void process(java.util.List<String> xs) {}
static void process(java.util.List<Integer> xs) {}

Изменить имена методов, добавить различимый параметр либо передать Class или TypeToken, если тип нужен во время выполнения. Добавить вторичный критерий thenComparingInt(Item::id), если одинаковый rank не должен объединять разные элементы. Убрать необобщённый тип, включить -Xlint:unchecked и не подавлять предупреждение без локально доказанной безопасности. Изменить имена методов, добавить различимый параметр либо передать Class или TypeToken, если тип нужен на этапе компиляции. Передавать тип явно или позволить оператору <> вывести его из контекста, не переходя к необобщённому типу.

Вопрос 16 из 25

Какая правка точнее всего устраняет причину проблемы по теме «Тестирование и диагностика» в разделе «Обобщения Java»?

// Фрагмент на ревью
java.util.List raw = new java.util.ArrayList<String>();
raw.add(42);
java.util.List<String> typed = raw;
System.out.println(typed.get(0).length());

Убрать необобщённый тип, включить -Xlint:unchecked и не подавлять предупреждение без локально доказанной безопасности. Разделить чтение и запись в сигнатуре: copy(List<? extends T>, List<? super T>). Убрать необобщённый тип, включить -Xlint:checked и не подавлять предупреждение без локально доказанной безопасности. Передавать тип явно или позволить оператору <> вывести его из контекста, не переходя к необобщённому типу. Изменить имена методов, добавить различимый параметр либо передать Class или TypeToken, если тип нужен во время выполнения.

Вопрос 17 из 25

Какое замечание о сопровождении или производительности темы «Ограничения» в разделе «Обобщения Java» справедливо?

Подстановочный тип делает API гибче для вызова, но чрезмерно вложенные границы ухудшают сообщения компилятора и читаемость. Чем уже ограничение, тем больше операций доступно внутри метода, но тем меньше типов смогут его вызвать. Обобщения убирают часть ошибок времени выполнения, но не создают отдельную реализацию класса для каждого аргумента типа. Стирание сохраняет совместимость байткода, но ограничивает отражение параметрических типов во время выполнения. Сортированное множество удобно для диапазонов и ближайших значений, но дороже HashSet при простом поиске членства.

Вопрос 18 из 25

Какое замечание о сопровождении или производительности темы «Параметры типов» в разделе «Обобщения Java» справедливо?

Короткая реализация equals удобна, но неверно выбранная идентичность приводит к потере элементов в множестве и неожиданной замене ключей. Микротест помогает сравнить реализации, но реальный профиль данных и аллокаций важнее одной синтетической операции. Обобщения убирают часть ошибок времени выполнения, но не создают отдельную реализацию класса для каждого аргумента типа. Составной Comparator делает порядок детерминированным, но каждый дополнительный критерий увеличивает стоимость сравнения. Цепочка операций хорошо выражает поток данных, но сложную ветвящуюся логику лучше вынести в именованный метод.

Вопрос 19 из 25

Каков точный результат выполнения или компиляции фрагмента из раздела «Обобщения Java» по теме «Ограничения»?

static <T extends Comparable<? super T>> T max(T a, T b) {
    return a.compareTo(b) >= 0 ? a : b;
}
System.out.println(max(4, 9));

computeIfAbsent создаёт список один раз для ключа и добавляет значение в уже существующий список. Метод max компилируется для Integer, потому что Integer реализует Comparable<String>. Box<String> принимает строку и возвращает String; попытка положить Integer не компилируется. Метод max не компилируется для Integer, потому что Integer реализует Comparable<Integer>. Метод max компилируется для Integer, потому что Integer реализует Comparable<Integer>.

Вопрос 20 из 25

Что следует изменить в разделе «Обобщения Java», чтобы сохранить замысел и соблюсти контракт «Подстановочные типы»?

// Фрагмент на ревью
static double sum(java.util.List<? extends Number> xs) {
    double total = 0;
    for (Number x : xs) total += x.doubleValue();
    return total;
}
System.out.println(sum(java.util.List.of(1, 2, 3)));

Убрать необобщённый тип, включить -Xlint:unchecked и не подавлять предупреждение без локально доказанной безопасности. Не использовать ковариантный массив как универсальный контейнер; выбрать List<Object> при смешанных типах. Изменить имена методов, добавить различимый параметр либо передать Class или TypeToken, если тип нужен во время выполнения. Задать минимальную границу, действительно нужную алгоритму, вместо приведения к Object и проверок вручную. Разделить чтение и запись в сигнатуре: copy(List<? extends T>, List<? super T>).

Вопрос 21 из 25

Что следует изменить в разделе «Обобщения Java», чтобы сохранить замысел и соблюсти контракт «Ограничения»?

// Фрагмент на ревью
static <T extends Comparable<? super T>> T max(T a, T b) {
    return a.compareTo(b) >= 0 ? a : b;
}
System.out.println(max(4, 9));

Передавать тип явно или позволить оператору <> вывести его из контекста, не переходя к необобщённому типу. Разделить чтение и запись в сигнатуре: copy(List<? extends T>, List<? super T>). Задать минимальную границу, действительно нужную алгоритму, вместо приведения к Object и проверок вручную. Не использовать ковариантный массив как универсальный контейнер; выбрать List<Object> при смешанных типах. Убрать необобщённый тип, включить -Xlint:unchecked и не подавлять предупреждение без локально доказанной безопасности.

Вопрос 22 из 25

Какое ограничение механизма «Подстановочные типы» нельзя упускать при работе с разделом «Обобщения Java»?

// ...
    return total;
}
System.out.println(sum(java.util.List.of(1, 2, 3)));

List<?> не является надтипом List<String>; обобщённые типы в Java инвариантны. List<Object> не является надтипом List<Integer>; обобщённые типы в Java инвариантны. List<Object> не является надтипом List<String>; обобщённые типы в Java инвариантны. List.of создаёт неизменяемый список и не принимает null. HashMap допускает один null-ключ, но не является потокобезопасным для совместных изменений.

Вопрос 23 из 25

Какой контракт языка или библиотеки точнее всего описывает тему «Тестирование и диагностика» в разделе «Обобщения Java»?

Верхняя граница T extends Comparable<T> разрешает вызывать compareTo у значений T. ArrayList даёт быстрый доступ по индексу и хорошую локальность, LinkedList — дешёвую вставку только при уже известном узле. Необобщённые типы отключают часть проверок обобщений и позволяют загрязнить кучу; ошибка проявляется при последующем чтении. Правило PECS: источник удобно принимать как ? extends T, а потребитель — как ? super T. TreeSet использует Comparator и для порядка, и для эквивалентности: compare(a, b) == 0 означает один элемент для множества.

Вопрос 24 из 25

Каков точный результат выполнения или компиляции фрагмента из раздела «Обобщения Java» по теме «Параметры типов»?

class Box<T> {
    private T value;
    void set(T value) { this.value = value; }
    T get() { return value; }
}
var box = new Box<String>();
box.set("ok");
System.out.println(box.get().length());

Перегрузки process(List<String>) и process(List<Integer>) имеют одинаковое стирание и конфликтуют. Box<Integer> принимает строку и возвращает String; попытка положить Integer не компилируется. Box<String> принимает строку и возвращает String; попытка положить Integer не компилируется. Метод max компилируется для Integer, потому что Integer реализует Comparable<Integer>. Box<String> принимает строку и не возвращает String; попытка положить Integer не компилируется.

Вопрос 25 из 25

Что нужно отдельно проверить на границе контракта «Стирание типов» в разделе «Обобщения Java»?

// Минимальный пример
class Holder<T> {
    T create() {
        return new T();
    }
}

Нельзя создать new T() или new T[] без фабрики, отражения либо компромисса с String[]. Нельзя создать new T() или new T[] без фабрики, отражения либо компромисса с Object[]. HashMap допускает один null-ключ, но не является потокобезопасным для совместных изменений. Операции TreeSet обычно логарифмические и требуют стабильного порядка элементов. Изменение поля, участвующего в Comparator, после вставки нарушает внутренний порядок и поиск.

Ответьте на все 25 вопросов, чтобы получить результат

🔗 Встроить тест на свой сайт (iframe) ▼

Скопируйте код и вставьте в любое место на вашем сайте:

Также доступна прямая ссылка на embed-страницу