Почему этот код не выдает ошибку «Val cannot be reassigned»?

Question

[Илья Колпаков]

Данный пример увидел в статье https://habr.com/ru/company/funcorp/blog/425943/ . Автор статьи написал, что не знает, каким образом константа (val) меняет значение, и что, вероятно, это ошибка. Может это глупый вопрос, но очень хочу разобраться что конкретно происходит с переменной при создании нового объекта, как val testParam принимает различные значения.

Программа выводит:
"in showTestParam testParam = some string"
"in constructor testParam = after"

class MyClassB {

    init {
        testParam = "some string"
        showTestParam()
    }

    init {
        testParam = "new string"
    }

    val testParam: String = "after"

    constructor(){
        println("in constructor testParam = $testParam")
    }

    fun showTestParam(){
        println("in showTestParam testParam = $testParam")
    }
}

fun main() {
    val classB = MyClassB()}

Answer 1

[Денис Загаевский]

Никогда сильно об этом не задумывался. Судя по всему, частично скопировали поведение из джавы, а частично просто ошиблись в дизайне языка на ранней стадии проектирования. И теперь должны это поддерживать. Причин так делать не вижу, control flow analysis позволяет избежать переприсваивания. Кстати, если вызовешь showTestParam() в самом начале первого init-блока, там ещё и null будет:(

Comments

[Илья Колпаков]

То есть эту ошибку разработчики не могут исправить?

[Денис Загаевский]

Илья Колпаков, обратную совместимость никто не отменял. Может быть, в будущем починят, но совсем не факт.

[Илья Колпаков]

Денис Загаевский, ну, раз это было обнаружено минимум 2 года назад, а проблема до сих пор имеется, то могу предложить, что это починить либо нельзя, либо слишком сложно

[Денис Загаевский]

Илья Колпаков, я же тебе говорю - это определенное поведение, они его выкатили в релиз, и теперь должны поддерживать. Никакой проблемы починить это я не вижу. Достаточно провалидировать, что на всех путях выполнения инициализация происходит только один раз. Может я чего-то не знаю, конечно.