BV
Сомневаюсь, что кастовать один функциональный тип к другому - это хорошая затея. Но странно, что это не помогает.
так а какой синтаксис, чтобы указать, какого типа функциональный тип?
Size: a a a
2021 January 05
VP
так а какой синтаксис, чтобы указать, какого типа функциональный тип?
У лямбды тип не указать, остаются только анонимные функции 🤷♂️
VP
Ну или в переменную с известным типом
BV
ну вот да, только чем плох каст?
BV
в качестве указания типа
VP
ну вот да, только чем плох каст?
Тем, что он unchecked например
BV
синтетический пример работает
BV
в реальном проекте нет
VP
в качестве указания типа
Главная проблема в том, что каст не указывает тип, а меняет его у существующего значения другого типа
BV
Главная проблема в том, что каст не указывает тип, а меняет его у существующего значения другого типа
это я понимаю, я о том, почему каст не подсказывает компилятору тип
BV
вроде именно так работает в каком-ньть груви
VP
это я понимаю, я о том, почему каст не подсказывает компилятору тип
Вопрос хороший, но на практике разницы нет, потому что так всё равно писать не надо
BV
ведь
{} может быть интерпретировано очень по-разномуVP
вроде именно так работает в каком-ньть груви
А там динамика, замыкание в рантайме может принять что угодно (да и вернуть тоже)
BV
чот не смог быстро воспроизвести проблему
BV
import JavaB
class A {
fun test(test: JavaB) {
println("original")
}
}
fun A.test(test: JavaB.Builder.() -> Unit) {
println("extension")
}
fun main() {
val a = A()
a.test {
""
}
a.test(fun JavaB.Builder.() {
})
a.test({ _: JavaB.Builder -> } as JavaB.Builder.() -> Unit)
}
BV
ни один из этих методов не резолвится в вызов оригинального метода
VP
import JavaB
class A {
fun test(test: JavaB) {
println("original")
}
}
fun A.test(test: JavaB.Builder.() -> Unit) {
println("extension")
}
fun main() {
val a = A()
a.test {
""
}
a.test(fun JavaB.Builder.() {
})
a.test({ _: JavaB.Builder -> } as JavaB.Builder.() -> Unit)
}
Так он не функцию принимает же
BV
Так он не функцию принимает же
функциональный тип
BV
джава класс с одним методом