
Евгений
23.05.2017
17:57:07
а получается... сырой тип

Митко Соловец?
23.05.2017
17:57:09
?

Andrey
23.05.2017
17:57:14
Object a = new A();
a.getClass();
Какой тип должен иметь?

Евгений
23.05.2017
17:57:15
wut

Google

Nick
23.05.2017
17:57:19
ну что, кто ответит https://habrahabr.ru/company/mailru/blog/329258/#comment_10230564 ?

Alex
23.05.2017
17:57:35

Евгений
23.05.2017
17:57:48

Andrey
23.05.2017
17:57:56
Лол

guga
23.05.2017
17:57:58

Quantum Harmonizer
23.05.2017
17:57:59

Andrey
23.05.2017
17:58:02
Мде...

Maks
23.05.2017
17:58:05

Alexander
23.05.2017
17:58:36

guga
23.05.2017
17:59:00
мне стало лень

Alex
23.05.2017
17:59:20

Евгений
23.05.2017
17:59:21
??
на самом деле должен вернутья Class<A>

Google

Andrey
23.05.2017
17:59:21

Евгений
23.05.2017
17:59:39
потому что динамическое связывание, не?
в рантайме вызывается метод у объекта, который имеет строго определенный тип

Andrey
23.05.2017
18:00:07

Alex
23.05.2017
18:00:18
И ссылки на бенчмарки - только графические результаты, а не сам код. Да и то, в комментах пошуршал, чтоб найти

Евгений
23.05.2017
18:00:21
поэтому переменная будет <? extends A>
сцука.

Anton
23.05.2017
18:00:37
object жииии

Евгений
23.05.2017
18:00:37
вот же костыли.

Andrey
23.05.2017
18:00:40
Ну вот, достаточно было немного подумать.

Евгений
23.05.2017
18:01:12
потому что получается либо полиморфизм, либо дженерики
надо на скалу переходить срочна.

Митко Соловец?
23.05.2017
18:01:45

Alexander
23.05.2017
18:01:48

Andrey
23.05.2017
18:01:49

Nikolay
23.05.2017
18:01:58

Alex
23.05.2017
18:02:11

Alexander
23.05.2017
18:02:21

Евгений
23.05.2017
18:02:37
во первых, erasure

Google

Евгений
23.05.2017
18:02:43
во вторых, только в java

Andrey
23.05.2017
18:02:53
Эм...

Alexander
23.05.2017
18:02:57
Дженерики - это полиморфизм? Ещё раз спрашиваю

Andrey
23.05.2017
18:03:08
Люди чатом ошиблись походу.

Alex
23.05.2017
18:03:08

Евгений
23.05.2017
18:03:09

Andrey
23.05.2017
18:03:22

Евгений
23.05.2017
18:03:30
если у тебя массивы не ковариантны, какой это полиморфизм

Alexander
23.05.2017
18:03:35

Евгений
23.05.2017
18:04:09
а вот параметризированные листы - ковариантны
красота же

Митко Соловец?
23.05.2017
18:04:17
Евгений

Митко Соловец?
23.05.2017
18:04:23
ты с какой целью приперся в этот чат?
человек с подпиской на скала чат
разжигать?

Alexander
23.05.2017
18:04:35

Митко Соловец?
23.05.2017
18:04:39
я ж тебя успокою как миленького сейчас

Alexander
23.05.2017
18:04:43
Вики хотя бы почитайте

Alex
23.05.2017
18:04:45

Alexander
23.05.2017
18:04:45
https://en.m.wikipedia.org/wiki/Polymorphism_(computer_science)

Google

Евгений
23.05.2017
18:04:47
я не троллю, клянусь

Nikolay
23.05.2017
18:04:47
так чего бы не пообсуждать скалу в чате по jvm :)

Митко Соловец?
23.05.2017
18:05:01
нет, человек пришел специально разжигать

Евгений
23.05.2017
18:05:04
я про скалу просто так сказал вообще. я пытаюсь с джава разобраться

Alexander
23.05.2017
18:05:32
Дженерики-статический "полиморфизм", а полиморфизм-рантайм
потому что получается либо полиморфизм, либо дженерики

Alexander
23.05.2017
18:05:33
Лучше с полиморфизмом сначала разобраться

Митко Соловец?
23.05.2017
18:05:35
а в скале дженерики не затираются?

Alexander
23.05.2017
18:05:40
Так что в принципе все правильно

Alexander
23.05.2017
18:05:53

Admin
ERROR: S client not available

Alex
23.05.2017
18:06:23

Евгений
23.05.2017
18:06:57
но это не точно

Alex
23.05.2017
18:07:09
Точно не затираются
Как раз от человека, который с дотнета на скалу пересел, подобный поинт слышал

Eugene
23.05.2017
18:07:56
https://youtu.be/_0c9Fd9FacU

Евгений
23.05.2017
18:08:16

Quantum Harmonizer
23.05.2017
18:17:58
Ну там и развели.
— Дженерики это полиморфизм?
— Дженерики это erasure.
Дженерики — это дженерики, ё.

Daniel
23.05.2017
18:20:09
а в скале дженерики не затираются?
это ж особенность рантайма, трутся конечно
но там есть некоторая своя особенность с рефлекшеном в рантайме (за деталями надо в компилятор лезть, не пытался и не хочется пока)
ну и в скалке за счет системы типов более продвинутой, а также с наличием макросов многое решается в компайл тайм.

Google

Daniel
23.05.2017
18:21:04
термин "дженерики" я только в рамках jvm слышал
обычно "параметры типов"

guga
23.05.2017
18:21:48

Daniel
23.05.2017
18:22:12
ага, там спецефичное какое-то поле
javap не разбирает его

Alexander
23.05.2017
18:22:44

Eugene
23.05.2017
18:26:41
Дженерики - это большая т в угловых скобках

Alexander
23.05.2017
18:27:08
Или квадратных

Nikolay
23.05.2017
18:27:10
плюсятинкой повеяло

Anton
23.05.2017
18:31:01
дженериков нет. это фикция.

guga
23.05.2017
18:34:11

Alexander
23.05.2017
18:34:25
А ты не пиши их
И suppress warning ставь
Или перекатывался в го
Он ещё и быстрее джавы
Как мы узнали недавно

guga
23.05.2017
18:35:23

Anton
23.05.2017
18:35:25

Alexander
23.05.2017
18:35:46

guga
23.05.2017
18:36:00

Митко Соловец?
23.05.2017
18:36:11

Alexander
23.05.2017
18:36:18

guga
23.05.2017
18:37:18