Привет Вопрос по контрактам в примере - someVar 100% инициализируется в init

Question

Привет Вопрос по контрактам в примере - someVar 100% инициализируется в init

блоке. контракт InvocationKind = AT_LEAST_ONCE указывает на это же. однако студия ругается. если инициализацию перенести непосредственно в runFunction в temp метод - все ок. так и должно работать и студия просто не анализарует так глубоко или это баг?

class TestContract {

private var someVar: String

init {
temp {
initVarAndOtherStuff()
}
}

fun restart() {
initVarAndOtherStuff()
}

@OptIn(ExperimentalContracts::class)
private fun temp(runFunction: () -> Unit) {
contract {
callsInPlace(runFunction, kotlin.contracts.InvocationKind.AT_LEAST_ONCE)
}
runFunction()
}

private fun initVarAndOtherStuff() {
someVar = "new val"
}
}

#kotlin #programming #russian

0

07.02.2021

1 ответов

17 просмотров

Mike (деньги не клянчу) · Accepted Answer

Mike (деньги не клянчу)

кмк, анализатор зайдёт в заинлайненную лямбду, но не в тело initVarAndOtherStuff

0

07.02.2021

169 похожих чатов

Привет Вопрос по контрактам в примере - someVar 100% инициализируется в init

1 ответов

Похожие вопросы