АО
Пардон, я на другую тему
Size: a a a
2020 February 13
АО
Там выше вопрос был, почему val поле в классе не выводится как not null после проверки
SB
ну, верно, val неизменяемая пропертя, что там может произойти после ее проверки? что-то что не может произойти в рамках одного модуля
АО
ну, верно, val неизменяемая пропертя, что там может произойти после ее проверки? что-то что не может произойти в рамках одного модуля
Неизменяемая извне
AL
ну, верно, val неизменяемая пропертя, что там может произойти после ее проверки? что-то что не может произойти в рамках одного модуля
Не утверждение, но вопрос - а между модулями прокидывается информация о типе проперти? Ну, что это просто обычный геттер с backing field без сложной логики, а не computable property?
IN
Неизменяемая извне
а внутри что вал может себя изменить ?
SB
Неизменяемая извне
Покажите на примере, я не понимаю что вы имеете в виду. Обычный котлиновый val в обычном котлиновом классе я не могу изменить после его инициализации.
В 2020.1 кстати они пишут чуть более обоснованную историю на счет этой проверки, что геттер может быть переопределен.
В 2020.1 кстати они пишут чуть более обоснованную историю на счет этой проверки, что геттер может быть переопределен.
IN
хотя это же функция
IN
По сути он не может изменить тип . Что еще надо то ?) Как он там внутри устроен и какую дату возвращает есть ли разница ?
VP
val balanceId: Int? get() = 1.takeIf { rnd.nextDouble() > 0.5 }VP
Вот где гарантия, что в другом модуле завтра обычный val (который на деле обычный метод) не превратится вот в такое?
IN
Тип поменяется ?
IN
: Int?
SB
нет, тип не поменяется
IN
Тогда какая разница превратился он в такое или нет со стороны того , кто использует api?
SB
но в данном примере после проверки на нулл и в рамках одного модуля она должна ругаться
АО
Ilya Nikolaev
а внутри что вал может себя изменить ?
Внутри класс может начать возвращать что-то другое
SB
val balanceId: Int? get() = 1.takeIf { rnd.nextDouble() > 0.5 }
AL
Ilya Nikolaev
По сути он не может изменить тип . Что еще надо то ?) Как он там внутри устроен и какую дату возвращает есть ли разница ?
Формально говоря, разница в том, что смарт касты такая вещь, которая смотрит не только просто на тип. Если просто смотреть на тип - тогда всегда будет возвращаться nullable type, никакого вопроса и нету.
АО
Покажите на примере, я не понимаю что вы имеете в виду. Обычный котлиновый val в обычном котлиновом классе я не могу изменить после его инициализации.
В 2020.1 кстати они пишут чуть более обоснованную историю на счет этой проверки, что геттер может быть переопределен.
В 2020.1 кстати они пишут чуть более обоснованную историю на счет этой проверки, что геттер может быть переопределен.
class Example {
val example: String?
get() = if (randInt() > 50) "it's ok" else null
}
val example: String?
get() = if (randInt() > 50) "it's ok" else null
}