P
а что эт за магия и почему это плохо?
Size: a a a
2020 June 01
VP
а что эт за магия и почему это плохо?
Ну начнём с того, что это internal аннотация, и чисто теоретически ещё могут выпилить в любом релизе
IK
Очень странный вопрос: есть ли аннотация противоположная Throws в котлине?
Ситуация следующая: у меня есть конечное перечисление исключений определенного супертипа. И есть метод, который может выбросить любое из исключений-наследников, кроме одного, на что мне важно обратить программерское внимание. Что-нибудь типа NeverThrows было бы крайне кстати..
Ситуация следующая: у меня есть конечное перечисление исключений определенного супертипа. И есть метод, который может выбросить любое из исключений-наследников, кроме одного, на что мне важно обратить программерское внимание. Что-нибудь типа NeverThrows было бы крайне кстати..
P
Ну начнём с того, что это internal аннотация, и чисто теоретически ещё могут выпилить в любом релизе
Но замену ведь предоставят
IK
Писать Throws на каждый конкретный тип – убиться веником, это как вариант не рассматривается в принципе
D
Очень странный вопрос: есть ли аннотация противоположная Throws в котлине?
Ситуация следующая: у меня есть конечное перечисление исключений определенного супертипа. И есть метод, который может выбросить любое из исключений-наследников, кроме одного, на что мне важно обратить программерское внимание. Что-нибудь типа NeverThrows было бы крайне кстати..
Ситуация следующая: у меня есть конечное перечисление исключений определенного супертипа. И есть метод, который может выбросить любое из исключений-наследников, кроме одного, на что мне важно обратить программерское внимание. Что-нибудь типа NeverThrows было бы крайне кстати..
Нет, можно в документации указать
AN
Писать Throws на каждый конкретный тип – убиться веником, это как вариант не рассматривается в принципе
А текстом написать? Throws только в смысле документации работает
IK
А текстом написать? Throws только в смысле документации работает
Ну, видимо так и сделаю. Спасибо
BP
Но замену ведь предоставят
Не факт
P
Ну начнём с того, что это internal аннотация, и чисто теоретически ещё могут выпилить в любом релизе
ну пока работает то ок если вырубят то ничего страшного, так как это лишь вспомогательная проверка. Спасибо за помощь)
AA
ну пока работает то ок если вырубят то ничего страшного, так как это лишь вспомогательная проверка. Спасибо за помощь)
Вот есть по теме дискуссия https://discuss.kotlinlang.org/t/is-it-possible-to-fix-generic-type-to-the-type-of-the-first-parameter/1871
Там предлагают вариант
но он не работает как надо из-за баги в компиляторе
Там предлагают вариант
fun main() {
Wrap("foo")::prop.bar("1") // не работает, хотя должно
(Wrap("foo")::prop.bar)("1") // так работает
Wrap("foo")::prop.bar(1) // не работает и не должно
}
class Wrap(val prop: String)
val <T> KProperty0<T>.bar: (T) -> Unit
get() = {
println(this())
println(it)
}но он не работает как надо из-за баги в компиляторе
P
Вот есть по теме дискуссия https://discuss.kotlinlang.org/t/is-it-possible-to-fix-generic-type-to-the-type-of-the-first-parameter/1871
Там предлагают вариант
но он не работает как надо из-за баги в компиляторе
Там предлагают вариант
fun main() {
Wrap("foo")::prop.bar("1") // не работает, хотя должно
(Wrap("foo")::prop.bar)("1") // так работает
Wrap("foo")::prop.bar(1) // не работает и не должно
}
class Wrap(val prop: String)
val <T> KProperty0<T>.bar: (T) -> Unit
get() = {
println(this())
println(it)
}но он не работает как надо из-за баги в компиляторе
впервые сталкиваюсь с багами в компиляторе котлина. Сяб)
AN
впервые сталкиваюсь с багами в компиляторе котлина. Сяб)
А они есть. Правда в основном на JS.
AA
https://youtrack.jetbrains.com/issue/KT-10364?_ga=2.170815459.2124504027.1591010924-1649569618.1568806626
Вот эта бага. Говорят, в new inference поправлено, но он по дефолту в 1.3.x компиляторе отключен
Вот эта бага. Говорят, в new inference поправлено, но он по дефолту в 1.3.x компиляторе отключен
VK
А они есть. Правда в основном на JS.
в корутинах наталкивался
VK
внутренняя suspend tailrec функция в бесконечный цикл в байткоде превращается
AN
В инлайн классах тоже есть кое-что, но это ж разве баги. Вот помню я в Borland C++ компиляторе бага была, когда программа переставала работать из-за лишнего пробела...
VK
В инлайн классах тоже есть кое-что, но это ж разве баги. Вот помню я в Borland C++ компиляторе бага была, когда программа переставала работать из-за лишнего пробела...
🤣
P
Мне кажется я исчерпал свой лимит вопросов на сегодня, но всё же. Есть какие-нибудь костыли для реализации экстеншн функций с двумя получателями, кроме наследования?
D
Мне кажется я исчерпал свой лимит вопросов на сегодня, но всё же. Есть какие-нибудь костыли для реализации экстеншн функций с двумя получателями, кроме наследования?
Чтобы одна функция для FooA и FooB? Пока нету, только два раза писать.