https://simplecat.tk/shots/shot-20180424-010336.png

build.gradle и все остальное должны на уровень выше лежать, по идее. не внутри src

а, показалось

Ага)

У меня вообще нет предположений.

а если новый проект создать всё ок?

Я не пробовал. Просто это и есть новый проект)

что-то с ним не так, мб ? но я тоже не вижу причины

А почему груп и версию выделяет в билде?

https://simplecat.tk/shots/shot-20180424-011625.png Вот такая подсказка. Но вообще она горит прям после создания нового проекта.

version тоже самое

А рефреш (обновление проекта, хз как называется) в градл вкладке ничо не дает?

да, студия часто начала в грэдле на такое ругаться, в чем причина не знаю)

Выяснил, что создание нового проекта решает проблему.

https://simplecat.tk/shots/shot-20180424-010336.png

попробуй потереть все директории кроме src и gradle, и файлы в корне, которые студия создает, и заново импортнуть

попробуй потереть все директории кроме src и gradle, и файлы в корне, которые студия создает, и заново импортнуть

Удалил .gradle out build, не помогло)

А рефреш (обновление проекта, хз как называется) в градл вкладке ничо не дает?

Неа, он просто же импортит либы которых не хватает вроде.

Лан парни, спасибо, я ща быстренько перескочу на новый проект. Благо тут три файла.

Тут какое странное поведение заметил с ObjectMapper + reified https://gist.github.com/tethys-json/75129d69c7b0d6cd8a970898ef77bd6d

Подскажите в чем трабл

По идеи же должен получится одинаковый код

Или всё таки есть какие то ограничения на вложенные reified?

fun main(args: Array<String>) { val mapper = ObjectMapper().registerKotlinModule() val json = """{"foo":{"bar":1}}""" val f1 = mapper.readValue<Wrapper<Foo>>(json).foo val f2 = reifiedParse<Foo>(mapper, json) } Exception in thread "main" java.lang.ClassCastException: java.base/java.util.LinkedHashMap cannot be cast to Foo at QuestionsKt.main(questions.kt:77)

Найс

Ну дак да

Видимо с вложенными типами беда

Ну дак да

Жуть какая, надо будет присмотреться, глаз алмаз!

Ну дак да

Лечится кстати квантификацией по Foo: <reified A: Foo>

Видимо с вложенными типами беда

именно для этого gson и прочие сериализаторы придумали себе TypeToken

именно для этого gson и прочие сериализаторы придумали себе TypeToken

Там делается TypeReference, и как это связано с reified не очень понятно

Лечится кстати квантификацией по Foo: <reified A: Foo>

Не шибко универсально

reified полне может использоваться как полноценный type-аргумент для TypeToken/TypeReference.

Там делается TypeReference, и как это связано с reified не очень понятно

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

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

ну так дженерики не reified, очевидено, что это не идеальное решение, а компромисс

ну так дженерики не reified, очевидено, что это не идеальное решение, а компромисс

А где-то эти подводные камни собраны уже? Хочется сразу почитать, чем выискивать в сети

Странная херня в байткоде public final class BugKt$main$$inlined$readValue$1 extends com.fasterxml.jackson.core.type.TypeReference<Wrapper<Foo>> public final class BugKt$reifiedParse$$inlined$readValue$1 extends com.fasterxml.jackson.core.type.TypeReference<Wrapper<A>>

А где-то эти подводные камни собраны уже? Хочется сразу почитать, чем выискивать в сети

ну, почитать про стирание дженериков / type erasure

получается inline - это вовсе не инлайн, там еще нагенерились статик функции

получается inline - это вовсе не инлайн, там еще нагенерились статик функции

Это про какой исходный код?

просто в readValue используется как раз хак с анонимным классом в inline функции. поэтому на каждый вызов readValue генерируется класс

а то что типы не проходят через две инлайн функции похоже на баг компилятора

можете com.fasterxml.jackson.module.kotlin.readValue показать?

просто в readValue используется как раз хак с анонимным классом в inline функции. поэтому на каждый вызов readValue генерируется класс

это то понятно

получается inline - это вовсе не инлайн, там еще нагенерились статик функции

мне кажется, это потому, что readValue — экстеншн

https://gist.github.com/tethys-json/bdf890cb9cd9647d0e1d7d721006b441

можете com.fasterxml.jackson.module.kotlin.readValue показать?

inline fun <reified T: Any> jacksonTypeRef(): TypeReference<T> = object: TypeReference<T>() {} inline fun <reified T: Any> ObjectMapper.readValue(content: String): T = readValue(content, jacksonTypeRef<T>())

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

все содержимое reifiedParse как раз подставилось в main

Собственно вот тут и есть проблема TypeReference localTypeReference = (TypeReference)new BugKt.reifiedParse..inlined.readValue.1(); Тип не указывается, и поэтому там Object подставляется и в ObjectMapper генерит Map

Ну это конечно подстава от компилятора

Ну это конечно подстава от компилятора

от jvm

от jvm

Причем тут jvm то?

Это компилятор не подставил все типы

потому что не было бы type erasure, все было бы ок )

потому что не было бы type erasure, все было бы ок )

гы, были бы другие проблемы

были бы другие проблемы

потому что не было бы type erasure, все было бы ок )

в JVM это by design, а в компиляторе — баг, если всё так, как тут говорят

помоему все работает как задуманно, дженерики в жаве же так и работают, вычисляется максимально подходящий общий тип, у тебя в коде явно прописано шо женерик есть Any, а Any ничто иное как Object, там где-то вверху кастуй как тебе надо, но внутри функции будет все равно Object

помоему все работает как задуманно, дженерики в жаве же так и работают, вычисляется максимально подходящий общий тип, у тебя в коде явно прописано шо женерик есть Any, а Any ничто иное как Object, там где-то вверху кастуй как тебе надо, но внутри функции будет все равно Object

так чат не про Java, а про Kotlin вроде

ERROR: S client not available

тут есть ключевое слово reified

помоему все работает как задуманно, дженерики в жаве же так и работают, вычисляется максимально подходящий общий тип, у тебя в коде явно прописано шо женерик есть Any, а Any ничто иное как Object, там где-то вверху кастуй как тебе надо, но внутри функции будет все равно Object

нет, reified inline функции как раз для того и сделали, чтобы типы не стирались

помоему все работает как задуманно, дженерики в жаве же так и работают, вычисляется максимально подходящий общий тип, у тебя в коде явно прописано шо женерик есть Any, а Any ничто иное как Object, там где-то вверху кастуй как тебе надо, но внутри функции будет все равно Object

Там _reified_ A и тайпчекер выводит тип reifiedParse как Foo

вобще на простом примере не воспроизводится: abstract class TypeToken<T> inline fun <reified T> a() = ((object : TypeToken<T>() {}).javaClass.genericSuperclass as ParameterizedType).actualTypeArguments[0] inline fun <reified T> b() = a<T>() class Test fun main(args: Array<String>) { println(a<List<Test>>()) println(b<List<Test>>()) } java.util.List<? extends Test> java.util.List<? extends Test>

вобще на простом примере не воспроизводится: abstract class TypeToken<T> inline fun <reified T> a() = ((object : TypeToken<T>() {}).javaClass.genericSuperclass as ParameterizedType).actualTypeArguments[0] inline fun <reified T> b() = a<T>() class Test fun main(args: Array<String>) { println(a<List<Test>>()) println(b<List<Test>>()) } java.util.List<? extends Test> java.util.List<? extends Test>

Вообще пример не идентичен, где вложенный type параметр?

ну, там list<T>

можно еще вложить, сейчас

нет

Внутри функции a

а, понял

У меня в итоге вот так Wrapper<A>

abstract class TypeToken<T> inline fun <reified T> a() = ((object : TypeToken<T>() {}).javaClass.genericSuperclass as ParameterizedType).actualTypeArguments[0] inline fun <reified T> b() = a<List<T>>() class Test fun main(args: Array<String>) { println(a<List<Test>>()) println(b<Test>()) } java.util.List<? extends Test> java.util.List<? extends T>

да, так не пашет

Quantum можешь завести тикет, если не сильно впадлу?

кажется, уже есть https://youtrack.jetbrains.com/issue/KT-11825

?

07 Apr 2016 17:46 - лол кек чебурек

два годика исполнилось на днях

Видимо бай дизайн промонали

Там три лайка. Значит, есть более приоритетные и критические задачи.

Пацаны, помог чем могу.

Там три лайка. Значит, есть более приоритетные и критические задачи.

Есть еще подозрение, что inline особо не пользуют люди, раз всем пофиг

https://github.com/JetBrains/kotlin/blob/master/spec-docs/reified-type-parameters.md Я не вижу упоминаний того, как reified должен влиять на вложенные типы. Есть какая-то мутная строчка в определении, что для дженерика каждый параметр тоже должен быть reified, но я пока ума не приложу, можно ли это как-то к вашей проблеме применить.

abstract class TypeToken<T> inline fun <reified T> a() = ((object : TypeToken<T>() {}).javaClass.genericSuperclass as ParameterizedType).actualTypeArguments[0] inline fun <reified T> b() = a<List<T>>() class Test fun main(args: Array<String>) { println(a<List<Test>>()) println(b<Test>()) } java.util.List<? extends Test> java.util.List<? extends T>

При этом +inline fun <reified T> c() = a<Array<T>>() + println(a<Array<Test>>()) +println(c<Array<Test>>()) class [LTest; class [LTest;

При этом +inline fun <reified T> c() = a<Array<T>>() + println(a<Array<Test>>()) +println(c<Array<Test>>()) class [LTest; class [LTest;

На самом деле ошибку можно воспроизвести проще: import java.lang.reflect.ParameterizedType import java.lang.reflect.Type abstract class TypeToken<T> inline fun <reified T> a() = ((object: TypeToken<List<T>>() {}).javaClass.genericSuperclass as ParameterizedType).actualTypeArguments[0] class Test fun main(args: Array<String>) { println(a<List<Test>>()) } Выведет: java.util.List<? extends T>

И, это видимо просто из за того что делали прагматично: org/jetbrains/kotlin/codegen/inline/AnonymousObjectTransformer.kt

нужно немного там поправить вроде )

На самом деле ошибку можно воспроизвести проще: import java.lang.reflect.ParameterizedType import java.lang.reflect.Type abstract class TypeToken<T> inline fun <reified T> a() = ((object: TypeToken<List<T>>() {}).javaClass.genericSuperclass as ParameterizedType).actualTypeArguments[0] class Test fun main(args: Array<String>) { println(a<List<Test>>()) } Выведет: java.util.List<? extends T>

Немного там, немного здесь и вот хотфикс готовый есть )

Слушайте, а при навигации по котлин-зависимостям к Intellij idea не показываются некоторые элементы навигации, например пин "Has subclasses". Это норма или настраивается?