Всем привет https://scastie.scala-lang.org/t4JvomInT6OwGvk6rvPrMw кто может подсказать - что позволяет компилятору обработать holder.genDoc.field

Question

Всем привет https://scastie.scala-lang.org/t4JvomInT6OwGvk6rvPrMw кто может подсказать - что позволяет компилятору обработать holder.genDoc.field

даже без указания type parameter ?
почему не собирается holderDoc.field понятно, но то, что собирается holder.genDoc.field стало сюрпризом

#programming #russian #scala

0

08.08.2023

8 ответов

24 просмотра

Grigory Pomadchin

Nothing подставляет, поч работает и правда интересно.

0

09.08.2023

Truth Serruf Автор вопроса

Evgeny Veretennikov
Получилось в итоге найти/разобраться?) А то интер...

найти/разобраться пока не получилось у нас на реальном проекте активно абьюзится такая бага/фича пока понятно только что не стоит так делать

0

09.08.2023

Ivan Klass

Grigory Pomadchin
Nothing подставляет, поч работает и правда интерес...

Скорее всего где-то внутри тип Nothing & Document, есть же ограничение сверху явное на T

0

09.08.2023

Ivan Klass

Truth Serruf
найти/разобраться пока не получилось у нас на реал...

Ой, наверное сюда нужен был реплай. Ну в общем, не похоже на магию, как мне кажется, есть разумное объяснение. С флагом -explain пробовали?

0

09.08.2023

Grigory Pomadchin

Ivan Klass
Скорее всего где-то внутри тип Nothing & Document,...

да думаю изза подтипа, его убрать и все свалится

0

09.08.2023

Andrey Smirnov / 𝓪𝓵𝓵𝓽𝓮𝓻 /

КМК достаточно разумное поведение, насколько оно вообще может быть с asInstanceOf. Когда просишь сложить результат тебе в переменную - компилятор не имеет понятия, какой тип тебе нужен, а Nothing удовлетворяет ограничениям. А когда сразу в том же выражении вызываешь следующий метод, то тебе подбирают класс, где этот метод есть. Если же явно указать желаемый тип значения, то всё нормально. Но тут другой момент. Если указать посторонний тип, удовлетворяющий ограничениям, то всё тоже вроде будет нормально, но в рантайме будет падение: https://scastie.scala-lang.org/jjfWSe6jSG2tkv8KtXENzA

0

09.08.2023

Ivan Klass

Andrey Smirnov / 𝓪𝓵𝓵𝓽𝓮𝓻 /
КМК достаточно разумное поведение, насколько оно в...

Ну это проблема не компилятора совершенно, а того, что там asInstanceOf написан небезопасно - явно говорит, что в любой тип может кастовать, а не тот, что в имплементации

0

10.08.2023

Evgeny Veretennikov · Accepted Answer

Evgeny Veretennikov

Получилось в итоге найти/разобраться?) А то интересно и непонятно :) Может, вообще кандидат на https://github.com/scala/bug

0

09.08.2023

169 похожих чатов

Всем привет https://scastie.scala-lang.org/t4JvomInT6OwGvk6rvPrMw кто может подсказать - что позволяет компилятору обработать holder.genDoc.field

8 ответов

Похожие вопросы