BP
Надяться не надо, надо мерить.
Если такая переменная покидает локальный скоуп - ничего не будет
Size: a a a
2020 September 08
AN
Если такая переменная покидает локальный скоуп - ничего не будет
Будет. в современных JVM, а особенно в граале эскейп анализ на несколько уровней работает
BP
Будет. в современных JVM, а особенно в граале эскейп анализ на несколько уровней работает
Без Грааля. Но и в "современных" jvm все зависит от жизненного цикла переменной, если ее нельзя предсказать, то не будет оптимизации
A
Есть функция:
которая прекрасно работала до kotlin 1.4.0 и coroutine 1.3.9, теперь если начальный Flow содержит null, то он падает по list?.filter(predicate) must not be null. Причём если в transform явно дописать transform<List<T>?, List<T>?>, то всё будет ок. Я так понимаю это бага. Только чья?
inline fun <T> Flow<List<T>?>.filterListElements(crossinline predicate: (T) -> Boolean): Flow<List<T>?> =
transform { list -> return@transform emit(list?.filter(predicate)) }
которая прекрасно работала до kotlin 1.4.0 и coroutine 1.3.9, теперь если начальный Flow содержит null, то он падает по list?.filter(predicate) must not be null. Причём если в transform явно дописать transform<List<T>?, List<T>?>, то всё будет ок. Я так понимаю это бага. Только чья?
AN
Есть функция:
которая прекрасно работала до kotlin 1.4.0 и coroutine 1.3.9, теперь если начальный Flow содержит null, то он падает по list?.filter(predicate) must not be null. Причём если в transform явно дописать transform<List<T>?, List<T>?>, то всё будет ок. Я так понимаю это бага. Только чья?
inline fun <T> Flow<List<T>?>.filterListElements(crossinline predicate: (T) -> Boolean): Flow<List<T>?> =
transform { list -> return@transform emit(list?.filter(predicate)) }
которая прекрасно работала до kotlin 1.4.0 и coroutine 1.3.9, теперь если начальный Flow содержит null, то он падает по list?.filter(predicate) must not be null. Причём если в transform явно дописать transform<List<T>?, List<T>?>, то всё будет ок. Я так понимаю это бага. Только чья?
Это не совсем бага, это поменялся вывод типов. Плохо, что оно упало при переходе, но вообще в таких случаях лучше тип явно указывать. А уронилось при компилляции?
A
Это не совсем бага, это поменялся вывод типов. Плохо, что оно упало при переходе, но вообще в таких случаях лучше тип явно указывать. А уронилось при компилляции?
Нет, в рантайме
AN
Нет, в рантайме
Вот это уже очень странно. У вас там как бы или есть null или нет. От вывода типов это не должно зависеть
AN
Ну и к слову, зачем там вообще Inline?
AN
И зачем там return? Что оно вообще делает?
A
Ну и к слову, зачем там вообще Inline?
Делал по аналогии с filter, но видимо стоит побольше почитать про inline.
AN
Делал по аналогии с filter, но видимо стоит побольше почитать про inline.
Просто crossinline практически или совсем невелирует плюс от инлайна. Ну и не понятно, зачем там еще возврат в лямбде
A
И зачем там return? Что оно вообще делает?
Согласен, он там избыточен. Опять же написал глядя на реализацию filter
A
Просто crossinline практически или совсем невелирует плюс от инлайна. Ну и не понятно, зачем там еще возврат в лямбде
Тогда что вы скажете про реализации библиотечной filter. В чём разница?
AN
Согласен, он там избыточен. Опять же написал глядя на реализацию filter
Вообще, у меня такое ощущение, что вам вообще нужен был
Вместо всей конструкции
map{it?.filter(predicate)}Вместо всей конструкции
A
Вообще, у меня такое ощущение, что вам вообще нужен был
Вместо всей конструкции
map{it?.filter(predicate)}Вместо всей конструкции
map по-факту тот же transform. Мне не хотелось везде писать
map{it?.filter(predicate)}, поэтому выделил в отдельную функцию. При реализации смотрел на библиотечные аналоги, в которых в основном используется transform.AN
map по-факту тот же transform. Мне не хотелось везде писать
map{it?.filter(predicate)}, поэтому выделил в отдельную функцию. При реализации смотрел на библиотечные аналоги, в которых в основном используется transform.Так почему в функции не сделать этот самый мап, а строить что-то свое?
A
Так почему в функции не сделать этот самый мап, а строить что-то свое?
Согласен. Так и сделаю.
A
Так почему в функции не сделать этот самый мап, а строить что-то свое?
Переделал, ошибка исчезла.
AN
Переделал, ошибка исчезла.
Ну там просто менее монструозный вывод типов получается. Вообще общая рекомендация - не изобретать велосипед без острой необходимости.
A
Переделал, ошибка исчезла.
Map использует unsafeTransform вместо transform, если я правильно понимаю.