Java Guru 🤓

Какой результат выведет следующая программа?

Anonymous Quiz

41%

A is equal to Infinity

24%

A is equal to NaN

19%

Ошибку при выполнении

17%

Ошибку компиляции

👍21🥴2⚡1🔥1🤔1

1.31K voters3.49K views05:17

Java Guru 🤓

Можно ли добавить одному элементу несколько одинаковых аннотаций?

По умолчанию нельзя. До Java 8 нужно было создавать дополнительную аннотацию-контейнер, в ней в виде проперти объявлять массив интересующих аннотаций. При применении набор аннотаций нужно было оборачивать в этот контейнер (см. на картинке).

Начиная с Java 8 в стандартную библиотеку добавлена мета-аннотация @Repeatable.
Механизм ее действия такой же, как раньше: помечая ей интересующую аннотацию, необходимо указать параметром @Repeatable аннотацию-контейнер. Нововведение заключается в синтаксисе использования: теперь набор аннотаций оборачивается в контейнер неявно.

Со стороны Reflection при чтении мета-информации тоже появилась возможность не оперировать контейнером явно – метод getAnnotationsByType при необходимости найдет и развернет этот контейнер.

👍11🔥1

3.65K views15:02

Java Guru 🤓

Какой результат будет получен после компиляции и выполнения данного кода?

👍15❤1

3.71K views13:00

Java Guru 🤓

Какой результат будет получен после компиляции и выполнения данного кода?

Anonymous Quiz

👍27

1K voters3.44K views13:00

Java Guru 🤓

Какие у аннотации бывают таргеты?

Мета-аннотация @Target определяет, в каком контексте может применяться объявляемая аннотация. Допустимые контексты перечисляются значениями ElementType. По умолчанию, если @Target не указан, разрешены все контексты кроме TYPE_PARAMETER. Возможные таргеты:

• TYPE – Объявление класса, интерфейса, аннотации или enum-а.
• FIELD – Объявление поля (включая константы enum-ов).
• METHOD – Объявление метода.
• PARAMETER – Формальный параметр в объявлении метода.
• CONSTRUCTOR – Объявление конструктора.
• LOCAL_VARIABLE – Объявление локальной переменной.
• ANNOTATION_TYPE – Объявление аннотации. Применяется для создания мета-аннотации.
• PACKAGE – Объявление пакета (в package-info.java).
–– С Java 8 ––
• TYPE_PARAMETER – Обявление generic типа-параметра.
• TYPE_USE – Любое использование типа. Например приведение: (@NonNull String) myObject.
–– С Java 9 ––
• MODULE – Объявление модуля.

🔥10👍2

4.24K views19:03

Java Guru 🤓

Какой результат выполнения данной части кода?

👍7

3.67K views12:30

Java Guru 🤓

Какой результат выполнения данной части кода?

Anonymous Quiz

14%

62%

Ошибка времени выполнения

20%

Ошибка компиляции

👍8

1.24K voters3.76K views12:30

Java Guru 🤓

Как используется @⁠Deprecated?

Этой аннотацией помечают код, который устарел и не должен быть более использован. Классы, которые используют или переопределяют @Deprecated элементы, будут компилироваться с warning-ом.

Имеет retention RUNTIME, что значит, что фреймворки могут динамически проверять наличие аннотации на элементе с помощью Reflection API.

Начиная с Java 9 у этой аннотации появились опциональные параметры – строка since и булево значение forRemoval. В since указывается версия вашего приложения, начиная с которой элемент считается устаревшим. Значение true в forRemoval предупреждает, что со следующей мажорной версии этот элемент будет удален. Такое нововведение связано с изменением политики устаревания – с Java 9 и устаревшие элементы самой JDK тоже могут удаляться в будущих версиях.

Обычно, когда элемент помечают устаревшим, причины устаревания и дальнейшие рекомендации указывают в его Javadoc-документации под тегом @deprecated.

👍17

3.72K views16:53

Java Guru 🤓

Даны следующие классы:

👍8

3.58K views06:08

Java Guru 🤓

Даны следующие классы:

Anonymous Quiz

Исключение RuntimeException.

52%

Исключение ClassCastException.

24%

Успешный запуск и отработка.

19%

Ошибка компиляции.

👍31🍌1

1.18K voters3.66K views06:08

Java Guru 🤓

Перечислите все мета-аннотации

Мета-аннотации – это аннотации для объявления других аннотаций. Вообще мета-аннотациями можно назвать любую аннотацию с таргетом ANNOTATION_TYPE, но основных в Java существует 5. Они определяют для аннотации:

• @⁠Retention – переживет ли компиляцию.

• @⁠Inherited – применяется к наследникам.

• @⁠Repeatable – применяема несколько раз к одному и тому же элементу.

• @⁠Target – контексты, в которых можно применять.

• @⁠Deprecated – не должна использоваться.

👍22🕊2❤1

4.25K views18:58

Java Guru 🤓

Что выведет на экран следующий код?

👍6⚡1

4.02K views09:24

Java Guru 🤓

Что выведет на экран следующий код?

Anonymous Quiz

👍24❤4

1.2K voters4.03K views09:24

Java Guru 🤓

Что такое Type Erasure?

Компилятор удаляет из байткода класс-файла информацию о типах-дженериках. Этот процесс и называется стирание типов (type erasure). Он появился в Java 5 вместе с самими дженериками. Такое решение позволило сохранить обратную совместимость без перекомпилляции кода Java 4.

Стирание состоит из трех действий:
🔘 Если параметры ограничены (bounded), вместо типа-параметра в местах использования подставляется верхняя граница, иначе Object;
🔘 В местах присвоения значения типа-параметра в переменную обычного типа добавляется каст к этому типу;
🔘 Генерируются bridge-методы.

Информация о типах стирается только из методов и полей, но остается в метаинформации самого класса. Получить эту информацию в рантайме можно с помощью рефлекшна, методом Field#getGenericType.

Тип со стертой информацией о дженериках называется «Non-reifiable».

Стирание типов позволяет не создавать при применении дженериков новые классы, в отличие от, например, шаблонов C++.

👍28❤1❤‍🔥1

3.99K views15:03

Java Guru 🤓

Что напечатает следующий код?

👍8🍾2

3.45K views08:00

Java Guru 🤓

Что напечатает следующий код?

Anonymous Quiz

38%

Код не скомпилируется

Код скомпилируется, но ничего не напечатает

50%

Код скомпилируется и напечатает 3

Код скомпилируется, но во время выполнения возникнет исключение

Ничего из вышеперечисленного

👍25🍾2🌚1

1.12K voters3.37K views08:00

Java Guru 🤓

Как ограничивается тип generic параметра?

В объявлении дженерик-параметра класса или метода может быть указана его верхняя граница (bound)

class Foo<T extends Number>

Ключевое слово extends применяется как для классов, так и для интерфейсов. Фактическим параметром такого класса Foo может быть или сам Number, или его наследники.

Помимо ограничения возможных применяемых типов, bounded-параметр дает право использовать в реализации методы и поля типа-ограничителя – он будет как минимум предком фактического типа. Это достигается стиранием типа-параметра до верхней границы.

Тип-параметр может иметь несколько верхних границ, то есть границу-пересечение типов: <T extends Comparable & Serializable>. Стирание произойдет до первой из границ, остальные послужат только ограничением вариантов фактического типа. Поэтому граница-класс, при наличии, должна быть указана раньше границ-интерфейсов.
При указании значения дженерик-параметра переменной может быть использован вайлдкард – символ ?. Вайлдкард значит, что мы не собираемся использовать информацию о конкретном типе, этот тип может быть любым. Это не то же самое, что не указать дженерик параметр совсем.

Для вайлдкарда также как и для объявления типа-параметра можно обозначить верхнюю границу. Но в отличие от объявления здесь нельзя использовать пересечение типов, по крайней мере пока.

Кроме того в случае вайлдкарда можно задать нижнюю границу

Foo<? super Number> foo;

Означает, что мы не будем использовать информацию о конкретном типе, но будем знать что это предок класса Number. То есть или сам Number, или Object.

В объявлении класса или метода использование super запрещено, так как не имеет смысла.

Разобраться в использования ограниченных вайлдкардов поможет это видео.

Хороший API должен уметь эффективно работать с классами-наследниками, то есть быть ко- или контравариантным где это необходимо. При этом без bounded вайлдкардов не обойтись. Чтобы запомнить, какая граница нужна в каких случаях, Joshua Bloch предложил мнемонику PECS: Producer-extends, Consumer-super

👍16❤1

3.54K views06:49

Java Guru 🤓

Что произойдет при выполнении такого кода?

👍11

3.68K views08:31

Java Guru 🤓

Что произойдет при выполнении такого кода?

Anonymous Quiz

32%

Ошибка компиляции в 4-й строке

19%

Ошибка компиляции в 5-й строке

Ошибка компиляции в 6-й строке

10%

Ошибка компиляции в 7-й строке

23%

Будет выведено на консоль: [1.5][1.5]

Ошибка выполнения

👍19🤔6❤3🥱1

1.28K voters3.78K views08:31

Java Guru 🤓

Что такое ковариантность и контравариантность?

Формально, ковариантность/контравариантность типов – это сохранение/обращение порядка наследования для производных типов. Проще говоря, когда у ковариантных сущностей типами-параметрами являются родитель и наследник, они сами становятся как бы родителем и наследником. Контравариантные наоборот, становятся наследником и родителем.

Легче всего осознать эти понятия на примерах:
🔘 Ковариантность: List<Integer> можно присвоить в переменную типа List<? extends Number> (как будто он наследник List<Number>).
🔘 Контравариантность: в качестве параметра метода List<Number>#sort типа Comparator<? super Number> может быть передан Comparator<Object> (как будто он родитель Comparator<Number>)

Отношение типов «можно присвоить» – не совсем наследование, такие типы называются совместимыми (отношение «is a»).

Существует еще одно связанное понятие – инвариантность. Инвариантность – это отсутствие свойств ковариантности и контрвариантности. Дженерики без вайлдкардов инвариантны: List<Number> нельзя положить ни в переменную типа List<Double>, ни в List<Object>.

Массивы ковариантны: в переменную Object[] можно присвоить значение типа String[].

Переопределение методов начиная с Java 5 ковариантно относительно типа результата и типов исключений.

👍20🔥1

3.78K views07:40

Java Guru 🤓

Какой будет результат?

👍11

3.53K views05:12

About

Blog

Apps

Platform