Java Guru 🤓

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

Anonymous Quiz

13%

howl woof sniff

howl howl затем ошибка

17%

howl howl sniff

12%

howl woof затем ошибка

14%

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

37%

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

👍20🍾4

1.01K voters3.7K views05:12

Java Guru 🤓

Что такое bridge method?

В Java отсутствует ковариантность переопределенных методов по параметрам – их типы должны совпадать с типами параметров метода в родительском классе. Когда дженерик параметр конкретизируется в наследнике, методы с аргументами этого дженерик типа больше не совпадают в байткоде – в наследнике тип конкретный, а в родителе стертый до верхней границы.

Проблема решается простым и безопасным кастом. Компилятор генерирует новый метод, который совпадает по сигнатуре с родительским. В его теле параметр кастуется и вызов делегируется в пользовательский метод. Это и называется bridge методом.

Bridge method можно увидеть с помощью рефлекшна. Его имя совпадает с оригинальным методом, но параметр имеет тип, в который сотрется дженерик родителя. Этот метод будет помечен флагом synthetic, что значит, что он написан не программистом а компилятором.

Попытка написать такой же метод вручную приведет к ошибке компиляции.

👍16🔥4❤1

3.81K views14:20

Java Guru 🤓

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

👍17

3.79K views17:21

Java Guru 🤓

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

Anonymous Quiz

36%

44%

-1

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

15%

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

👍37

1.23K voters4.07K views17:21

Java Guru 🤓

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

👍11🌚2❤1⚡1

3.98K views05:46

Java Guru 🤓

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

Anonymous Quiz

👍19🏆3

914 voters4.14K views05:46

Java Guru 🤓

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

👍7⚡2❤1

3.92K views12:47

Java Guru 🤓

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

Anonymous Quiz

15%

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

39%

Выброс исключения IllegallAccessException во время исполнения

46%

Вывод в консоль "Hello World"

👍17🤨4🍾3

916 voters3.97K views12:47

Java Guru 🤓

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

👍10

4.01K views13:36

Java Guru 🤓

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

Anonymous Quiz

47%

Вывод в консоль - 1

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

10%

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

36%

Вывод в консоль - 2

👍16❤1🌚1

809 voters4.11K views13:37

Java Guru 🤓

Что такое heap pollution?

Как было сказано ранее, массивы в Java ковариантны. А значит, можно обратиться к объекту типа String[] через переменную типа Object[], и положить туда например Integer. Такой код скомпилируется, но в момент записи произойдет ArrayStoreException.

Дженерики защищены инвариантностью. Если попытаться положить List<Object> в List<String>, эта же по сути ошибка произойдет уже на этапе компиляции.

Heap pollution – ситуация, когда эта защита не срабатывает, и переменная параметризованного типа хранит в себе объект, параметризованный другим типом. Простейший пример:

List<String> strings = (List) new ArrayList<Integer>();

Документация гарантирует, что при компиляции всего кода целиком, heap pollution не может возникнуть без варнинга этапа компиляции.
Heap pollution может произойти в двух случаях: при использовании массивов дженериков и при смешивании параметризованных и raw-типов.

Raw types – это параметризованные типы без указания параметра. Пример с raw types, приводящий к heap pollution, уже был описан выше:

List<String> strings = (List) new ArrayList<Integer>();

Использовать raw types не надо вообще, причины подробно изложены в главе 26 Effective Java. Если информация о дженериках не нужна, используется символ wildcard (<?>).

Компилятор не даст создать массив параметризованного типа, это приведет к ошибке generic array creation. Картинка выше иллюстрирует, к чему это могло бы привести.

Параметризованный тип varargs-аргумента метода вызывает ту же проблему, т.к. varargs – не что иное как параметр-массив. Вот почему он так же приводит к предупреждению компилятора «possible heap pollution». Если вы уверены что риска нет, с Java 7 это предупреждение заглушается аннотацией @SafeVarargs.

👍24❤5🔥3

4.2K views16:48

Java Guru 🤓

Еще один классный канал для изучения Java
@Java_per_month

👍4

3.65K views07:40

Java Guru 🤓

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

👍15

3.77K views10:05

Java Guru 🤓

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

Anonymous Quiz

👍18🤔17🔥2🤯1

934 voters3.81K views10:05

Java Guru 🤓

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

👍9

3.44K views05:25

Java Guru 🤓

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

Anonymous Quiz

Ошибка при исполнении.

👍15🤔2

912 voters3.52K views05:25

Java Guru 🤓

Как работает вывод типов?

Для начала разберемся, что такое вывод типов. Type inference – это способность компилятора догадаться, какой тип нужно подставить, и сделать это за вас. На обычном интервью никто не спросит детали алгоритма вывода типов, достаточно будет сказать, что вывод происходит статически, только на основании типов аргументов и ожидаемого типа результата. По сути, вопрос заключается не в «как работает?», а «что это и когда возникает?».

Первое, что многим приходит в голову при фразе «вывод типов» – diamond operator <>. Он появился в Java с версии 7. Его применяют к конструкторам дженерик классов, чтобы отличать требование автоматического вывода типа от raw type.

С Java 9 diamond operator заработал и для анонимных классов.

Для дженерик методов можно указывать параметр явно, но diamond синтаксически недопустим – вывод и так сработает по умолчанию.

В Java 10 для вывода типа локальной переменной добавлено ключевое слово var. Работает это так же, как в большинстве современных языков – ключевое слово ставится вместо типа при объявлении.

Типы выводимых параметров лямбда-выражения также можно не указывать. С Java 11 вместо типа указывается ключевое слово var. Такой синтаксис дает возможность добавлять параметру модификаторы и аннотации.

👍15🔥3

3.9K views14:04

Java Guru 🤓

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

👍13☃1

3.59K views10:57

Java Guru 🤓

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

Anonymous Quiz

Ошибка - StackOferflowError

👍14⚡3

838 voters3.65K views10:57

Java Guru 🤓

Как инстанцировать экземпляр generic типа?

Внутри класса class Foo<T> на generic параметре T невозможно выполнить никакой оператор: нельзя взять его .class, нельзя применить его в instanceof. Также и вызов на нем оператора new приведет к ошибке.

Причина этих ограничений кроется в стирании типов. Дженерик параметры правильно воспринимать скорее как ограничения типов, чем как конкретные типы. Эти ограничения действуют для более строгих проверок на этапе компиляции. В рантайме же информация о конкретных переданных типах-параметрах стирается. А все эти операторы выполняются именно в рантайме.

Стандартный простой способ действия здесь – кроме значения типа T передавать еще и объект-дескриптор для этого типа, экземпляр класса Class<T>. Объект может быть создан из дескриптора рефлекшеном.

Но существует один хак, способный справиться со стиранием типов. Тип-параметр все-таки остается в одном месте в рантайме. Метод метакласса наследника определившего конкретный тип getGenericSuperclass() возвращает класс, которым параметризован родитель.

👍27🔥5❤‍🔥1

3.85K views08:32

Java Guru 🤓

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

👍9🌚5🔥1

3.75K views05:23

About

Blog

Apps

Platform